Go 返回的 error 明明为 nil 为什么接口仍不为空

在 Go 里，函数内部看到一个指针变量是 nil，并不代表把它返回给调用方后，error 接口也一定是 nil。最常见的触发方式是：成功路径让一个 *MyError 指针保持空值，最后直接把这个指针返回给 error。

只有接口的动态类型和动态值同时为空时，接口才等于 nil。(*MyError)(nil) 转成 error 后动态类型仍是 *MyError，所以接口不为空；成功路径应直接返回无类型的 nil。

先看清 error 接口里到底保存了什么

可以把接口值理解为一对信息：动态类型 T 和动态值 V。没有赋值时二者都为空；把整数、结构体或指针放入接口后，接口会记住具体类型。比较接口与 nil 时，比较的是整对信息，而不是只看里面的指针值。

用最小示例复现 typed nil

下面的代码没有依赖第三方库。check 返回的是一个具体指针类型，但函数签名要求它满足 error；当 ok 为真时，指针仍为空，转换发生后接口却已经带上了 *MyError 类型。

package main

import "fmt"

type MyError struct{ Reason string }

// Error 让 *MyError 实现 error；nil 接收者本身不参与这里的比较。
func (e *MyError) Error() string {
	if e == nil { // 仅防止格式化时解引用空指针，不能把接口变成 nil。
		return ""
	}
	return e.Reason
}

// check 展示错误指针转入 error 接口后的动态类型边界。
func check(ok bool) error {
	var p *MyError // 成功分支中 p 的动态类型仍是 *MyError。
	if !ok {
		p = &MyError{Reason: "输入无效"}
	}
	return p // 这里会把 (*MyError)(nil) 装进 error，而不是返回 nil 接口。
}

func main() {
	err := check(true)
	fmt.Printf("err == nil: %v, type: %T\n", err == nil, err)
}

示例的关键不是 fmt.Printf，而是返回点：p 的静态类型是 *MyError，返回到 error 时接口获得动态类型。即使动态值是空指针，接口整体仍然非空。

把成功路径改成显式返回 nil

最稳妥的修复是不要让“可能为空的具体错误指针”承担成功结果。失败时返回具体错误，成功时直接返回无类型的 nil：

// checkFixed 让接口的成功结果保持真正的 nil。
func checkFixed(ok bool) error {
	if !ok {
		return &MyError{Reason: "输入无效"} // 失败时返回具体错误。
	}
	return nil // 成功时没有动态类型，调用方可正常比较 err == nil。
}

如果业务确实需要让调用方拿到具体错误对象，也可以让函数返回 (*MyError, error)，但要明确两个返回值的职责；不要把一个本来可能为空的具体指针直接当作 error 返回。

排查接口不为空时的检查清单

• 先看返回签名：是否返回了 *T，又在外层转换成 error。
• 在返回前打印 %T，确认接口是否带有具体动态类型；不要只打印 %v，因为自定义 Error 可能把空指针格式化成看似正常的文字。
• 不要用反射把所有错误都“修成 nil”。reflect.Value.IsNil 只适用于指针、切片、映射、通道、函数和接口等可为空种类，且它解决的是检查，不是修正 API 设计。
• 使用 fmt.Errorf("...: %w", err) 包装错误时，先保证原始 err 本来就是真 nil 或非 nil；包装一个 typed nil 只会把问题藏得更深。

实际项目里，代码评审最值得盯住的是“具体错误指针 → error 返回值”这条边界。接口语义本身没有异常，异常的是成功路径把带类型的空指针装进了接口。

相关问题

为什么打印出来像 nil，比较却不等于 nil？

打印通常调用了错误类型的 Error 方法，只能反映字符串结果；err == nil 反映的是接口的类型和值是否同时为空。

可以用 reflect 判断里面的指针是否为空吗？

可以在已知类型可为空且确实需要兼容旧接口时使用，但它不能替代返回值设计；新代码优先让成功路径直接返回 nil。

errors.Is 能解决 typed nil 吗？

不能。errors.Is 适合判断错误链中的原因，typed nil 首先是接口装箱问题，应在产生错误的函数返回点修复。