C++如何判断两个球体是否发生碰撞或包含

在游戏开发或物理仿真中，判断两个球体是否碰撞或包含，几乎是最基础的几何检测之一。用平方距离来比较，是高效又安全的做法：如果dx²+dy²+dz² ≤ (r₁+r₂)²，说明两球相交；如果该值 ≤ |r₁−r₂|²，则一个球完全包含另一个。建议全程使用平方比较，既能避免开方引入的误差，也能省去不必要的性能开销。当然，统一浮点类型和确保半径非负这些细节，也得一并处理好。

怎么用欧几里得距离判断球体碰撞

两个球体是否相交或包含，本质上就是看球心距离与半径之和或差的关系。在C++里实现，不需要依赖任何第三方库，直接用std::sqrt或更稳妥的平方比较都可以。

假设我们有两个球体，球A的球心在(x1, y1, z1)，半径为r1；球B的球心在(x2, y2, z2)，半径为r2。先计算平方距离：dx*dx + dy*dy + dz*dz。

• 如果这个值 ≤ (r1 + r2) * (r1 + r2)，那么两球至少是接触状态，或者已经相交。
• 如果这个值 ≤ std::abs(r1 - r2) * std::abs(r1 - r2)，那说明一个球完全包含另一个球（内切也算在内）。
• 更推荐全程用平方比较——开方运算既慢又可能引入误差，何必自找麻烦。

为什么不能直接用 std::sqrt 比半径和

你可能会想，直接用std::sqrt(dx*dx + dy*dy + dz*dz) < (r1 + r2)不是更直观吗？表面上看确实如此，但背后藏着三个隐患：

• 在某些平台或优化级别下，std::sqrt可能带来微小的舍入误差，导致本该相交的球被误判为不相交。这种边界问题在实际项目中很要命。
• 对大量球体做碰撞检测时——比如物理引擎场景——sqrt的开销是相对昂贵的，能省则省。
• 如果半径r1或r2为负（虽然不合理，但代码里可能没做校验），r1 + r2可能变成负数，而距离永远≥0，逻辑会彻底错乱。

所以工业级代码普遍优先用平方距离比较，连std::abs(r1 - r2)都要先平方再比，这已经是行业共识。

包含关系容易被忽略的边界情况

“包含”不仅仅是小球在大球肚子里——内切（小球刚好贴着大球内壁）也算包含。但很多人只写distance < std::abs(r1 - r2)，漏掉了等于的情况。

• 正确的条件是：sq_distance <= ((r1 > r2 ? (r1 - r2) : (r2 - r1)) * (r1 > r2 ? (r1 - r2) : (r2 - r1)))，当然也可以直接调std::pow(std::abs(r1 - r2), 2)，更简洁。
• 如果两球半径相等，包含只发生在球心重合时（sq_distance == 0），此时既是包含也是完全重叠。

C++ 实现时要注意的类型与精度

用float还是double，直接影响结果稳定性，尤其是在高缩放或大坐标场景下：

• 如果球心坐标和半径都是float，请统一用float计算平方距离，避免隐式转换带来额外误差。
• 写(r1 + r2) * (r1 + r2)时，别让其中一个参数是int。比如r1 = 5（int）、r2 = 2.5f（float），结果可能溢出或精度丢失。
• 调试阶段可以加个断言：assert(r1 >= 0 && r2 >= 0)。负半径没有几何意义，早点暴露比后期追bug强得多。

真正让人头疼的，往往不是公式本身，而是坐标系单位不一致、半径没归一化，或者把左手系当成右手系传进来这类问题。把这些前置条件理清楚，比纠结哪一版代码更“优雅”要重要得多。