本文详解 go 语言中使用无限 for 循环实现牛顿迭代法求平方根时，变量更新时机对循环终止的关键影响，指出仅在 break 前赋值而不更新迭代变量将导致无限循环。
本文详解 go 语言中使用无限 for 循环实现牛顿迭代法求平方根时，变量更新时机对循环终止的关键影响，指出仅在 break 前赋值而不更新迭代变量将导致无限循环。
在 Go 中，for {} 构成无限循环，其退出完全依赖 break 语句和循环体内状态的正确演进。上述 Sqrt 函数采用牛顿迭代法逼近 √x，核心逻辑是不断用新近似值 n 更新当前估计值 z，直到 |n − z| < δ（收敛阈值）。关键在于：z 必须在每次迭代中被显式更新，否则迭代无法推进，条件永远不满足，陷入死循环。
来看原始正确版本：
for {
n := z - (z*z - x) / (2*z) // 计算下一个近似值
if math.Abs(n - z) < delta { // 检查是否收敛
break // 满足则退出
}
z = n // ✅ 关键：更新 z，为下一轮迭代准备
}此处 z = n 在 break 之前执行（但位于条件判断之后），确保每次循环开始时 z 都是最新近似值。
而修改后的错误版本：
for {
n := z - (z*z - x) / (2*z)
if math.Abs(n - z) < delta {
z = n // ❌ 此处赋值无实际意义
break
}
// ❌ 缺少 z = n —— z 始终保持初始值 x（或上一轮未更新的旧值）
}问题在于：z = n 被放在 if 分支内，且仅在收敛条件成立时才执行——但该条件本身依赖于 n 与当前 z 的差值。由于 z 在循环体中从未被更新（z = n 不在 if 外），z 始终等于函数入口时的 x（例如 Sqrt(2) 中 z 恒为 2.0），导致 n 每次计算结果恒定（n = 2 - (4-2)/(4) = 1.5），math.Abs(1.5 - 2.0) = 0.5 远大于 1e-10，条件永不成立，break 永不触发。
✅ 正确做法是：无论是否收敛，都需更新 z 以驱动迭代前进；收敛判断应基于更新前后的差值，而非更新后的状态。标准写法如下：
func Sqrt(x float64) (float64, error) {
if x < 0 {
return x, ErrNegativeSqrt(x)
}
z := x
const delta = 1e-10
for {
n := z - (z*z - x) / (2*z)
if math.Abs(n-z) < delta {
return n, nil // 直接返回最终近似值
}
z = n // ⚠️ 必须在此更新，保证下一轮计算使用新 z
}
}⚠️ 注意事项：
- 牛顿法对初值敏感，z := x 在 x ≥ 1 时收敛良好，但 0 < x < 1 时建议设 z := 1.0 提升鲁棒性；
- 避免 z == 0 导致除零，应在 x == 0 时直接返回 0；
- 实际项目中应添加最大迭代次数保护，防止数值异常导致的假收敛或发散。
总结：Go 的 for {} 循环中，break 仅控制退出，迭代变量的更新必须独立于退出条件，置于循环体的确定执行路径上。混淆“更新”与“终止”逻辑，是引发无限循环的常见陷阱。
