Go type assertion 失败时如何区分 nil 和类型不匹配

Go 的 type assertion 失败，通常只有两类原因：接口本身是 nil，或者接口里存着一个与目标类型不同的动态值。还要特别留意第三种容易混淆的情况：接口不为 nil，但它里面装的是 nil 指针。生产代码里优先使用 value, ok := x.(T)，再根据 ok 和原接口的 nil 状态处理；直接写 x.(T) 只适合你已经确定类型的边界。

先看清接口里到底有没有动态类型

接口值可以理解为“动态类型 + 动态值”的组合。未赋值的接口两个部分都没有，因此等于 nil；把一个 nil 指针赋给接口后，动态类型仍然是 *Config，所以接口本身不再等于 nil。

package main

import "fmt"

type Config struct {
    Name string
}

func main() {
    var empty any
    var cfg *Config

    var boxed any = cfg // 中文注释：接口保存了 *Config 类型，但动态值仍是 nil。
    fmt.Println(empty == nil) // 中文注释：没有动态类型，所以结果为 true。
    fmt.Println(boxed == nil) // 中文注释：已有动态类型，所以结果为 false。
}

因此，看到 x == nil 为 false 时，只能说明接口已经携带某种动态类型，不能说明底层指针一定指向对象。这个判断是后续断言排查的起点。

用 comma-ok 安全判断目标类型

断言的安全写法是 cfg, ok := input.(*Config)。当 input 是 nil 接口，或其动态类型不是 *Config 时，ok 都是 false；这条语句本身不会因为断言失败而 panic。成功时 cfg 才是可用的 *Config。

func readConfig(input any) (*Config, bool) {
    cfg, ok := input.(*Config) // 中文注释：只接受 *Config，失败时返回 nil 和 false。
    if !ok {
        return nil, false // 中文注释：把 nil 接口和错误类型统一交给调用方处理。
    }
    if cfg == nil {
        return nil, false // 中文注释：断言成功但指针为空，避免继续解引用。
    }
    return cfg, true // 中文注释：动态类型和值都满足要求。
}

这里有两个层次的结果：ok=true 只代表动态类型是 *Config，并不保证指针值非 nil。因此对指针、map、slice、func、channel 等可为 nil 的具体类型，断言成功后还要按业务决定是否检查具体值。

把 nil、nil 指针和错误类型分开定位

如果日志或接口契约要求给出不同提示，可以先判断 input == nil，再执行断言，最后检查断言得到的指针。顺序不能反过来：只看 ok=false 无法区分 nil 接口和 string 等错误类型。

func classify(input any) string {
    if input == nil {
        return "nil 接口" // 中文注释：动态类型和值都不存在。
    }

    cfg, ok := input.(*Config) // 中文注释：检查调用方是否传入约定的指针类型。
    if !ok {
        return "类型不匹配" // 中文注释：接口有其他动态类型，例如 string。
    }
    if cfg == nil {
        return "携带 nil 指针" // 中文注释：类型正确，但还没有可解引用的对象。
    }
    return "可用配置" // 中文注释：类型和值都通过检查。
}

当目标类型较多时，可以使用 type switch。它把动态类型分支写在一起，并且可以单独列出 case nil；不过对于某一个确定类型的参数，comma-ok 更容易表达返回值和错误边界。

调用边界如何避免断言 panic

如果断言失败后要返回错误，建议把类型检查放在函数入口，并让调用方得到稳定的错误信息。不要用 recover 包裹普通类型判断，也不要用反射替代一个简单的类型断言。只有在类型确实由协议保证、且失败代表程序缺陷时，才考虑直接使用 x.(T)，否则应保留 ok。

最后记住一个实用判断：ok=false 说明“目标类型断言不成立”，并不等于“输入一定是 nil”；input == nil 只负责识别真正的 nil 接口；断言成功后，仍要按具体类型的 nil 语义检查值本身。

常见问题

为什么 nil 指针放进 interface 后不等于 nil？

因为接口已经保存了动态类型 *Config，只是动态值为空。比较接口时，类型部分仍然存在。

comma-ok 失败时返回的具体值是什么？

返回目标类型的零值和 false。若目标是 *Config，具体值通常是 nil 指针；不要在检查 ok 前解引用它。

类型断言和类型转换是一回事吗？

不是。类型断言从接口中检查并取出动态值；类型转换是在两个可转换类型之间改变表达方式，适用条件和编译检查规则不同。