Go 中浮点数开方为何返回 NaN？

当对负数调用 math.Sqrt 时，Go 会返回 NaN（Not a Number），因为实数范围内平方根无定义；本文详解其原理、调试方法及安全求根的完整实现。

当对负数调用 `math.Sqrt` 时，Go 会返回 `NaN`（Not a Number），因为实数范围内平方根无定义；本文详解其原理、调试方法及安全求根的完整实现。

在 Go 中，math.Sqrt(x) 仅对非负实数 x ≥ 0 有定义。若传入负数（如 -23），函数将返回 NaN —— 这并非 Go 特有行为，而是 IEEE 754 浮点标准的通用约定，表示“该操作在实数域内无意义”。

以你的二次方程求根代码为例：

b := 3
a := 4
c := 2
b2 := float64(b * b)                    // 9.0
ac := float64(4) * float64(a) * float64(c) // 32.0
q := math.Sqrt(b2 - ac)                  // math.Sqrt(-23.0) → NaN

判别式 Δ = b² − 4ac = 9 − 32 = −23 < 0，说明该方程在实数域内无解，因此 math.Sqrt 合理返回 NaN。

✅ 正确做法是：先判断判别式符号，再分支处理：

func solveQuadratic(a, b, c float64) (realRoots []float64, complexRoots []complex128, err error) {
    discriminant := b*b - 4*a*c

    if discriminant > 0 {
        // 两个不同实根
        sqrtD := math.Sqrt(discriminant)
        r1 := (-b + sqrtD) / (2 * a)
        r2 := (-b - sqrtD) / (2 * a)
        realRoots = []float64{r1, r2}
    } else if discriminant == 0 {
        // 一个重根
        r := -b / (2 * a)
        realRoots = []float64{r}
    } else {
        // 无实根，返回复数解（使用内置 complex128）
        sqrtD := cmplx.Sqrt(complex(discriminant, 0))
        z1 := complex(-b, 0)/complex(2*a, 0) + sqrtD/complex(2*a, 0)
        z2 := complex(-b, 0)/complex(2*a, 0) - sqrtD/complex(2*a, 0)
        complexRoots = []complex128{z1, z2}
    }
    return
}

⚠️ 注意事项：

• 不要盲目对判别式取 math.Abs() 再开方（如 math.Sqrt(math.Abs(discriminant))），这会掩盖数学逻辑错误，导致错误的“实根”输出；
• 使用 float64 进行中间计算时，注意整数溢出风险（如大整数 b*b 超出 int 范围）；
• 若仅需实数解，务必显式检查 discriminant >= 0，避免 NaN 污染后续计算；
• 导入 "math/cmplx" 包可支持复数运算，使程序具备完整数学鲁棒性。

总结：NaN 是 Go 对无效数学运算的明确信号，而非 bug。善用判别式分支、区分实/复数解场景，才是构建可靠数值计算程序的关键。