Go中向接口参数传递对象或指针时如何避免类型错误

问题根因 #

这个现象不是Go的设计疏漏，是由Go的两个基础语法特性共同决定的：

1. 方法集规则：对于类型ConcreteEvent，如果它的接口方法都是值接收者实现的，那么ConcreteEvent和*ConcreteEvent都会自动满足该接口。你代码里的Value()方法是值接收者实现，所以传值和传指针给EventHandler的Event参数都能编译通过。
2. 类型断言是严格匹配类型的：e.(ConcreteEvent)只会匹配接口底层存储ConcreteEvent值类型的情况，e.(*ConcreteEvent)只会匹配底层存储指针的情况，两者不互通，所以才会出现分支判断不符合预期的问题。

可行的规避方案 #

编码规范层面 #

• 统一接口实现的接收者类型：如果你的类型存在修改内部字段的需求、或者结构体大小超过16字节（拷贝成本较高），统一用指针接收者实现接口的所有方法，从定义层面避免值和指针同时满足接口的情况。
• 新增未导出的接口方法做约束：如果要求所有实现Event接口的类型都必须是指针类型，可以给Event新增一个未导出的标记方法，仅由指针接收者实现：

type Event interface {
    Value() int
    eventMarker() // 未导出方法，限制实现方的类型
}

func (e *ConcreteEvent) eventMarker() {}

此时如果传ConcreteEvent值类型到EventHandler，编译器会直接报错，从源头上阻断问题。

• 类型断言覆盖所有合法情况：如果业务上确实允许值和指针两种传参方式，用类型switch同时处理两种情况，避免遗漏分支：

func EventHandler(e Event) {
    switch v := e.(type) {
    case ConcreteEvent:
        fmt.Println("ConcreteEvent值类型", v.Value())
    case *ConcreteEvent:
        fmt.Println("*ConcreteEvent指针类型", v.Value())
    default:
        fmt.Println("general Event")
    }
}

检测工具层面 #

• 启用golangci-lint的revive、typecheck等linter，配置规则检测接口实现的接收者类型一致性问题，一旦出现同一类型混写值接收者和指针接收者实现接口的情况直接告警。
• 单元测试覆盖所有传参场景：针对EventHandler这类包含类型断言的函数，必须同时覆盖值传参、指针传参的测试用例，确保分支逻辑符合预期。
• 代码评审阶段重点检查接口实现、类型断言相关的代码，只要出现类型断言就确认是否覆盖了所有可能满足接口的类型。

内容的提问来源于stack exchange，提问作者Ulrich Eckhardt