Go 语言中 / 和 * 具有相同优先级且左结合，因此 a / b * c 等价于 (a / b) * c，而非 a / (b * c)；忽略这一点会导致牛顿迭代法等数值计算严重偏离预期结果。

go 语言中除法与乘法的运算顺序解析：为何必须加括号避免逻辑错误

在 Go 中，算术运算符 / 和 * 具有相同的优先级，并且遵循从左到右的结合性（left-associativity）。这意味着表达式 a / b * c 实际被解析为 (a / b) * c，而不是数学直觉中可能默认的 a / (b * c)。这一细节看似微小，却在数值算法（如牛顿迭代法求平方根）中引发根本性错误。

以问题中的代码为例：

z = z - ((z * z - x) / 2 * z) // ❌ 错误：等价于 z - (((z*z - x) / 2) * z)

该表达式实际执行的是：

1. 先计算 z*z - x；
2. 再除以 2；
3. 最后乘以 z —— 这导致整个修正项被放大，完全偏离牛顿法的正确迭代公式：

正确的牛顿迭代更新式为：
z ← z − (z² − x) / (2z)

而 ((z * z - x) / 2 * z) 相当于 (z² − x) × z / 2，不仅符号错误（应为减去一个正向修正量），量级也失控，致使迭代发散。

✅ 正确写法必须显式添加括号，强制分母为 2 * z：

z = z - ((z*z - x) / (2*z)) // ✅ 正确：先算分母 2*z，再整体相除

? 小贴士：Go 不支持隐式数学优先级“常识”。即使 2*z 在数学语境中天然属于分母，Go 编译器只认语法结构。永远为除法的分母加括号，是安全编码的黄金习惯。

此外，还可进一步提升可读性与健壮性：

func Sqrt(x float64) float64 {
    if x < 0 {
        return 0 // 或 panic/fallback
    }
    z := x // 更合理的初始值（避免 x=0 时循环次数为 0）
    for i := 0; i < 10; i++ { // 固定迭代次数比 int(x) 更可靠（x=0.25 时原逻辑不执行）
        denominator := 2 * z
        if denominator == 0 {
            break // 防止除零
        }
        z = z - (z*z - x) / denominator
        fmt.Printf("iter %d: %.6f\n", i, z)
    }
    return z
}

总结：Go 的运算符结合性严格遵循语法规范，不妥协于数学惯例。在涉及除法的表达式中，*只要分母包含多个因子（如 `2 z`），就必须用括号明确包裹**——这不是冗余，而是正确性的必要保障。