两圆相交(含外切)当且仅当圆心距的平方小于等于半径和的平方且大于等于半径差的平方,即(r1−r2)²≤(x1−x2)²+(y1−y2)²≤(r1+r2)²。

判断两圆相交:用圆心距和半径关系
核心就是比较圆心之间的距离与两圆半径之和、之差的大小关系。不需开方、不需浮点除法,用平方距离避免精度和性能问题。
distance_squared = (x1 - x2) * (x1 - x2) + (y1 - y2) * (y1 - y2)- 相交(含外切):
distance_squared - 内含(含内切):
distance_squared (注意取绝对值等价写法,但直接平方更安全) - 严格相交(非相切、非包含):需同时满足
distance_squared 且 <code>distance_squared > (r1 - r2) * (r1 - r2)
处理半径为零或负数的边界情况
实际输入中 r1 或 r2 可能非法。C++ 不会自动拒绝负半径,但几何上无意义;半径为零是合法退化圆(点),需明确是否纳入逻辑。
- 建议在判断前做校验:
if (r1 - 若允许点圆(
r == 0),则(r1 - r2) * (r1 - r2)仍有效,例如r1=0, r2=5时,内含条件变为distance_squared ,即“点在大圆内” - 若业务不允许退化,可加
if (r1 == 0 && r2 == 0)单独处理为点-点重合判断
用 std::hypot 还是手算平方?
std::hypot(x, y) 安全但慢,且返回的是浮点距离,再平方又引入误差;相交判断本质是代数不等式,全程整数/浮点平方比较更稳更快。
- ❌ 避免:
std::hypot(x1-x2, y1-y2) (触发浮点误差+额外开方开销) - ✅ 推荐:
(x1-x2)*(x1-x2) + (y1-y2)*(y1-y2) - 若坐标和半径是
double,乘法仍保持精度;若为int且数值大,需防溢出(可转long long中间计算)
封装成内联函数时注意 const 和参数传递
频繁调用的几何判断函数,适合定义为 constexpr + inline,但参数类型和 const 正确性影响编译期优化和调用开销。
- 推荐签名:
constexpr bool circles_intersect(double x1, double y1, double r1, double x2, double y2, double r2) - 不要传
const std::pair<double>&</double>之类——间接访问反而妨碍内联和寄存器分配 - 若所有参数都是编译期常量(如配置中的圆),加上
constexpr后整个判断可能被编译器完全折叠 - 注意:
r1和r2顺序无关,但内含判断中(r1 - r2) * (r1 - r2)对称,无需std::abs
实际写的时候最容易漏掉的是半径符号校验和整数溢出场景——尤其当坐标用 int、半径很大时,(x1-x2)*(x1-x2) 一步就溢出,结果变成负数,后续比较彻底失效。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











