C++无内置SDF平滑布尔运算函数，需手动实现smoothMin等并严格控制k值——它是有单位的距离尺度，非无量纲系数；min/max导致法线突变、梯度超1、NaN等问题，破坏SDF合法性。
直接说结论：C++ 本身不提供 SDF 平滑布尔运算的内置函数，必须手动实现 smoothUnion、smoothSubtract、smoothIntersection 这类函数，并严格控制 k 参数范围——它不是“越小越平滑”，而是决定过渡区域宽度的物理尺度，填错会导致几何塌陷或边界消失。
为什么不能直接用 min/max 做布尔混合
因为 min(a, b) 产生的是硬边（C0 连续），在 Ray Marching 渲染中会引发法线突变、阴影撕裂、AO 失真；而 SDF 要求结果仍是合法距离场（即满足 Lipschitz 连续性，梯度模长 ≤1）。min 输出在交界处不可导，且梯度可能远超 1，导致步进发散或表面抖动。
-
min(a,b)在 a==b 处无定义导数，Ray Marching 的法线计算normalize(grad(f))会返回 NaN - 实际渲染中表现为：边缘锯齿加剧、软阴影出现亮斑、AO 贴图在交界处断裂
- 该问题在高曲率区域（如球体与细柱相交）尤其明显，
k若未随局部尺度缩放，平滑会失效
标准 smoothMin 实现与 k 参数的物理意义
smoothMin 是最通用的平滑布尔基元，所有平滑并/差/交都可由它派生。关键不是套公式，而是理解 k 是一个**有单位的距离值**，代表你希望过渡带覆盖的空间厚度（例如 0.02 单位长度），而非无量纲调节系数。
- 推荐使用 IQ 提出的稳定版：
float smoothMin(float a, float b, float k) { float h = clamp(0.5f + 0.5f*(b-a)/k, 0.0f, 1.0f); return mix(b, a, h) - k*h*(1.0f-h); } -
k必须与输入 SDF 的单位一致：若你的球体半径是 1.0，立方体边长是 2.0，则k取值应在 0.01~0.1 范围内；若模型按米建模，k=0.001才对应 1mm 过渡带 - 传入负值（如差集）时，
smoothMin(a, -b, k)等价于smoothSubtract(a, b, k)，但注意-b会翻转符号，影响clamp分支逻辑
C++ 中组合多个 SDF 时的常见陷阱
连续调用 smoothMin 并不等于多对象同时平滑融合——顺序和括号会影响结果，尤其当 k 值不统一或几何尺度差异大时。
立即学习“C++免费学习笔记（深入）”；
- 错误写法：
smoothMin(smoothMin(sphere, box, k1), torus, k2)→ 第二层平滑只作用于前两者合并体与环面，过渡带被二次拉伸 - 正确做法：对所有输入 SDF 统一做 N 元 smoothMin，或先归一化各 SDF 尺度（如除以各自 bounding box 对角线长），再用相同
k - 性能隐患：每多一个物体就多一次
clamp+mix计算，嵌套 5 层以上可能拖慢 Ray Marching 主循环；建议预计算常用组合并缓存为函数指针 - 不要忽略数值精度：
float在深度大于 10 的场景易出现h计算溢出，必要时改用double或手工限定h = fmaxf(0.0f, fminf(1.0f, h))
真正难的不是写出 smoothMin 函数，而是让 k 随场景局部曲率自适应——固定值在球体-平面交界处尚可，在尖锐折角处必然过平滑或欠平滑。这需要额外估算输入 SDF 的梯度模长，多数工程实现选择妥协为分段 k 表或屏幕空间误差反馈校正。
