线段、三角形与视锥体（frustum）相交检测方法及实现问题排查

现有代码的错误 #

1. ClassifyLine逻辑错误 #

你设计的直接相加两个点分类结果的规则存在明显漏洞：

• 当线段一个端点在平面前方（返回-1），另一个端点刚好在平面上（返回0）时，相加结果为-1，会被误判为线段完全在平面前方，直接触发ContainsLine的return false逻辑，出现假阴性。
• 仅通过相加结果无法区分「两点都在平面内侧」「一点在内一点在平面上」「一点在内一点在外」等不同场景的边界情况，分类精度不足。

2. ContainsLine逻辑错误 #

仅判断线段没有完全落在任意一个平面的外侧，会出现经典的视锥体检测假阳性问题：线段可能位于视锥体的边/角外侧的空白区域，对每个单独平面来说都没有完全落在外侧，但实际上完全没有进入视锥体内部。 #

线段与视锥体相交检测 #

采用参数化线段 + 区间裁剪的方案，精度更高且逻辑严谨：

1. 将线段参数化为 P(t) = P0 + t * (P1 - P0)，初始有效区间为 t ∈ [0, 1]
2. 逐个处理6个视锥体平面：
   • 计算两个端点到平面的带符号距离d0、d1（建议直接用原始浮点距离值，不要转成-1/0/1的离散值，避免精度损失）
   • 如果d0 < -0.0005f且d1 < -0.0005f：两个端点都在平面前方（视锥外），直接返回false
   • 如果d0 >= -0.0005f且d1 >= -0.0005f：线段完全在平面内侧，无需裁剪，处理下一个平面
   • 如果两点符号相反：计算线段与平面交点对应的t值，收缩有效区间：若d0 < -0.0005f则将区间左端点设为交点t，若d1 < -0.0005f则将区间右端点设为交点t
3. 所有平面处理完成后，判断最终有效区间是否满足 t_min <= t_max + 0.0005f，满足则线段与视锥体相交，否则不相交。

三角形与视锥体相交检测 #

有两种常用方案可选：

• 裁剪法：用Sutherland-Hodgman多边形裁剪算法，依次用6个视锥体平面对三角形进行裁剪，任意一步裁剪后多边形顶点数为0则返回不相交，全部裁剪完成后仍有顶点则返回相交。
• 分离轴定理法：仅需检测13个分离轴（视锥体6个平面的法线、三角形面法线、视锥体边与三角形边的叉乘共6个），若存在任意一个轴上两个物体的投影不重叠，则不相交，否则相交，性能更高。

内容的提问来源于stack exchange，提问作者KiraHoneybee