两圆完全相离当且仅当圆心距大于两半径之和，即(x2−x1)²+(y2−y1)²>(r1+r2)²；需用平方比较避免开方误差，建议统一用double类型，并防御性处理非正半径及坐标退化情况。
判断两圆完全相离的数学条件是什么
两个圆完全相离，意味着它们没有任何公共点，包括边界——即圆心距严格大于两半径之和。这是唯一且充分的判定条件，不依赖坐标系方向或象限。
设圆 A 圆心为 (x1, y1)、半径 r1，圆 B 圆心为 (x2, y2)、半径 r2，则完全相离当且仅当：
sqrt((x2 - x1) * (x2 - x1) + (y2 - y1) * (y2 - y1)) > r1 + r2
实际编码中应避免直接调用 sqrt，改用平方比较以规避浮点误差和开方开销：
(x2 - x1) * (x2 - x1) + (y2 - y1) * (y2 - y1) > (r1 + r2) * (r1 + r2)
C++ 实现时最容易踩的浮点陷阱
即使使用平方比较，若输入半径或坐标是 float 类型，(r1 + r2) * (r1 + r2) 仍可能因舍入误差导致临界情况误判（例如本该相切却被判为相离）。
立即学习“C++免费学习笔记（深入）”；
- 统一用
double存储坐标与半径，尤其当原始数据来自传感器或文件读取时 - 若必须用
float，对右边加一个极小偏移量：比如(r1 + r2) * (r1 + r2) + 1e-9 - 注意：不要对左边加偏移——距离平方本身是精确整数运算（当坐标为整数时），加偏移反而破坏精度
如何处理退化情况：半径为零或负数
标准几何定义中半径应为正数，但实际代码常要防御性处理非法输入。
r1 时，按语义可视为“非圆”；此时若要求“完全相离”，建议直接返回 <code>false（因为点与圆/点与点无法满足“两圆相离”的前提）- 若业务允许半径为零（即退化为点），则“两圆完全相离”等价于两点距离 > 0 —— 但此时已不属于典型圆关系，需在文档中明确约定
- 不做自动修正（如把负半径取绝对值），容易掩盖上游数据错误
性能敏感场景下的优化建议
在碰撞检测循环中每帧判断成百上千对圆时，计算开销集中在距离平方计算。可提前剪枝：
- 先比较 x 方向距离绝对值：
abs(x2 - x1) > r1 + r2，成立则直接返回true（无需算 y 和平方和） - 同理检查 y 方向：
abs(y2 - y1) > r1 + r2 - 只有两个方向都未超出，才进入完整距离平方计算
- 这个优化在稀疏分布或大间距场景下收益明显，最坏情况只多 2 次减法和绝对值运算
边界情况和数值鲁棒性比省几个周期更重要——别为了微优化绕过平方比较直接用 abs(x2-x1) > r1+r2 || abs(y2-y1) > r1+r2 作为充分条件，它会漏判斜向远距情形。
