嘿，这个问题问到点子上了！咱们先把基础概念理清楚，再聊聊为啥直接求交这条路走不通。

首先，先明确什么是有符号距离场（SDF）：

• 有符号距离场（Signed Distance Fields，简称SDF）是计算机图形学里的一类函数，它能隐式定义几何基元（比如球体、立方体、金字塔这类基础形状）的表面——给任意一个查询点，它会返回这个点到形状表面最近点的距离。
• 更精准地说，一个形状的表面就是所有满足 SDF(p) = 0 的点 p 的集合。

再看光线的定义：

• 一条光线由原点 r_o 和方向向量 r_d 确定，光线上的任意一点 p 都满足公式：p = r_o + t*r_d，这里的t代表沿光线方向从原点出发的距离。

那回到核心问题：为啥大家都用**光线步进（Ray Marching）**这种迭代的方式找交点，而不是直接计算呢？

原因主要有这几点：

1. 非线性方程无解析解：对于大多数复杂的SDF（比如多个基础形状通过布尔运算组合出来的模型，或者自定义的复杂SDF函数），把光线方程代入SDF的表面条件 SDF(r_o + t*r_d) = 0 后，得到的是一个非线性方程，根本没有通用的解析解法——你没法用简单的代数公式直接算出t的精确值。
2. 通用性不足：就算是单个简单基元（比如球体）能推导出解析解，但一旦涉及到组合后的复杂SDF，手动推导每个情况的求交公式几乎是不可能完成的任务。而光线步进的优势就在于它的通用性：不管你的SDF有多复杂，只要能计算任意点的距离值，就能用这种迭代逼近的方式找到表面点，不需要针对每个形状写专门的求交逻辑。
3. 实现成本低：光线步进的逻辑非常直观，代码实现起来也很简洁，哪怕是新手也能快速上手；而解析求交需要针对不同形状做大量的数学推导和代码适配，维护成本高得多。

备注：内容来源于stack exchange，提问作者Chribit