Go语言接口断言中关于接收者类型的疑问

问题代码 #

type Tt struct {
    fmt.Stringer

    I int
    J string
}

func (t *Tt) String() string {
    return fmt.Sprintf("Tt{I:%d, J:%s}", t.I, t.J)
}

func main() {
    t := Tt{I: 100, J: "abc"}

    fmt.Printf("%t", true)
    var i any = t
    v, ok := i.(fmt.Stringer)
    if ok {
        fmt.Printf("t --> %s", v)
    } else {
        fmt.Printf("t --> null")
    }
}

问题解析 #

Go的接口断言确实会区分方法的接收者类型，这和“接口定义不关注接收者”的认知看似矛盾，本质是Go接口实现的机制决定的：

• 接口的实现基于方法集合匹配：一个类型要实现某接口，必须拥有该接口所有方法的完全匹配实现——这里的匹配包括方法的接收者类型。
• 你的代码中，String()方法的接收者是*Tt（指针类型），因此只有*Tt类型的方法集合包含String()，而Tt（值类型）的方法集合里没有这个方法。
• 当把t（值类型）赋值给any接口时，接口存储的是Tt值，其方法集合不满足fmt.Stringer的要求，断言失败；而把&t（指针类型）赋值给any时，接口存储的是*Tt指针，其方法集合包含String()，断言成功。

补充澄清 #

接口定义本身确实不关心接收者是值还是指针，但类型是否实现接口，完全取决于该类型的方法集合是否包含接口要求的所有方法：

• 值类型的方法集合：仅包含接收者为值类型的方法
• 指针类型的方法集合：包含接收者为指针类型的方法，同时自动包含接收者为值类型的方法（因为指针可自动解引用调用值方法）

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