17370845950

当自定义 error 类型的 error() 方法内部调用 fmt.sprint(e) 时，会因 fmt 包优先调用 error() 接口导致递归调用，最终栈溢出；根本原因是 fmt 在格式化 interface{} 值时按固定优先级（error → stringer）选择字符串化方法。

在 Go 的 fmt 包中，fmt.Sprint、fmt.Sprintf 等函数对任意 interface{} 类型参数进行字符串化时，并非随意选择 String() 或 Error() 方法，而是遵循明确且固定的接口检测顺序：优先检查 error 接口，仅当类型不满足 error 时才回落到 fmt.Stringer。

这一点在 Go 源码 src/fmt/print.go 中清晰体现：handleMethods 函数首先尝试调用 v.(error).Error()；若失败（panic 或类型断言失败），再尝试 v.(fmt.Stringer).String()。因此，只要一个类型同时实现了 error 和 fmt.Stringer，fmt.Sprint(e) 必定触发 Error() 方法——这正是你示例中无限递归的根源：

func (e NegativeSqrt) Error() string {
    fmt.Printf(".") // 调试输出：你会看到一连串 "." 直至 panic
    return fmt.Sprint(e) // ⚠️ 再次调用 fmt.Sprint(e) → 再次进入 Error() → 无限循环
}

运行该代码将迅速耗尽栈空间，抛出 runtime: goroutine stack exceeds 1000000000-byte limit 错误。

✅ 正确规避方式：打破递归链

核心原则是：在 Error() 方法内部，必须避免任何可能再次触发 Error() 或 String() 的字符串化操作。推荐以下安全做法：

✔ 方案 1：显式类型转换（最常用）

将 e 转换为底层基础类型（如 float64），绕过接口方法调用：

func (e NegativeSqrt) Error() string {
    return fmt.Sprintf("cannot Sqrt negative number: %f", float64(e))
}

✔ 方案 2：使用 fmt.Sprintf + %v 并禁用方法调用（谨慎）

通过 fmt.Sprintf("%v", ...) 配合 fmt.NoVerb 或反射控制虽可行，但更推荐方案 1 —— 简洁、高效、无歧义。

❌ 错误示范（仍会递归）：

func (e NegativeSqrt) Error() string {
    return fmt.Sprintln(e)     // 同样触发 Error()
    return fmt.Sprint(&e)      // 若 *NegativeSqrt 也实现 Error()，仍可能递归
    return fmt.Sprint(float64(e)) // ✅ 安全：float64 不实现 error/Stringer
}

? 补充验证：接口优先级实证

你提供的 check / check2 示例完美揭示了 Go 类型断言的顺序敏感性：

func check(val interface{}) {
    switch val.(type) {
    case fmt.Stringer: // 先匹配 Stringer → 成功
        fmt.Println("It's stringer")
    case error:          // 永远不会执行
        fmt.Println("It's error")
    }
}

func check2(val interface{}) {
    switch val.(type) {
    case error:          // 先匹配 error → 成功
        fmt.Println("It's error")
    case fmt.Stringer:   // 永远不会执行
        fmt.Println("It's stringer")
    }
}

输出 It's stringer / It's error 证明：同一值在不同顺序的 type switch 中匹配结果不同；而 fmt 包源码中 error 永远排在 Stringer 之前，因此 Error() 具有绝对优先权。

✅ 总结

• fmt.Sprint(e) 触发 e.Error() 是由 fmt 包硬编码的接口优先级决定的，与 String() 是否存在无关；
• 在 Error() 方法中调用任何 fmt 字符串化函数（如 Sprint, Sprintf, Println）且参数含自身，必然导致无限递归；
• 解决方案本质是剥离接口行为：通过强制类型转换（如 float64(e)）、字段直取或 fmt.Sprintf 显式格式化基础值来生成字符串；
• 设计自定义 error 时，应将 Error() 视为“纯数据转字符串”的原子操作，严禁引入依赖自身接口的方法调用。

遵循此原则，即可彻底避免此类静默崩溃，写出健壮、可预测的错误处理逻辑。