如何提升大半径圆环重叠检测函数的稳定性？

你的函数核心逻辑是正确的，但在处理大半径圆环时，可能因浮点数精度损耗（尤其是大数值减法导致的有效位丢失）、不必要的开平方操作出现误判。另外你的测试场景中函数返回false是符合逻辑的——circle2完全处于circle1的内圆空洞中，两个环形区域并无重叠；若你认为该场景应判定为重叠，说明你对“重叠”的定义与当前逻辑不符，需针对性调整条件。

以下是提升函数稳定性的具体方案：

优化方向 #

1. 避免开平方操作：用距离平方代替实际距离进行比较，既减少精度损失，又提升计算效率。
2. 重构条件避免大数值减法：将d > inner1 - outer2这类减法主导的条件转换为加法形式，避免大半径减去小环宽时的有效位丢失。
3. 处理边界情况：当环宽大于两倍半径时，圆环退化为圆盘（内半径设为0），避免逻辑错误。

优化后的代码 #

public static bool Overlaps(in Circle circle1, in float annulus1, in Circle circle2, in float annulus2)
{
    double h1 = annulus1 * 0.5;
    double h2 = annulus2 * 0.5;

    // 计算外半径
    double outer1 = circle1.Radius + h1;
    double outer2 = circle2.Radius + h2;

    // 计算内半径，确保不小于0（处理环宽过大的边界情况）
    double inner1 = Math.Max(circle1.Radius - h1, 0.0);
    double inner2 = Math.Max(circle2.Radius - h2, 0.0);

    // 计算坐标差的平方和（避免开平方操作）
    double dx = circle1.Origin.X - circle2.Origin.X;
    double dy = circle1.Origin.Y - circle2.Origin.Y;
    double dSquared = dx * dx + dy * dy;

    // 条件1：两个外圆不分离
    double sumOuter = outer1 + outer2;
    if (dSquared >= sumOuter * sumOuter)
        return false;

    // 条件2：circle2 不完全在 circle1 的内圆空洞中
    double diff1 = inner1 - outer2;
    if (diff1 > 0 && dSquared <= diff1 * diff1)
        return false;

    // 条件3：circle1 不完全在 circle2 的内圆空洞中
    double diff2 = inner2 - outer1;
    if (diff2 > 0 && dSquared <= diff2 * diff2)
        return false;

    return true;
}

针对测试场景的特殊说明 #

你的测试场景中，circle2的所有点均处于circle1的内圆（半径2499.5）内部，未进入circle1的环形区域（2499.5~2500.5），因此函数返回false是正确的。若你需要将“一个圆环完全处于另一个的外圆内部”也判定为重叠，可修改最终返回逻辑为：

// 只要两个外圆不分离，且不同时处于对方的内圆空洞中
return !(dSquared >= sumOuter * sumOuter || 
         (diff1 > 0 && dSquared <= diff1 * diff1) && 
         (diff2 > 0 && dSquared <= diff2 * diff2));

此逻辑会将完全处于内圆空洞的情况也判定为重叠，需根据你的实际业务需求选择。

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