Go语言接口赋值：方法集的秘密

本文深入探讨Go语言接口赋值机制，尤其关注LessAdder接口赋值时方法集对方法调用的影响。文章通过实例代码分析了`integer`类型及其指针类型`*integer`分别实现`LessAdder`接口的情况。重点阐述了Go语言方法集的概念：类型的方法集包含所有以该类型为接收者的方法，指针类型的方法集则包含其自身和底层类型的所有方法。因此，即使接口方法接收者类型与变量类型不完全一致，只要变量类型的方法集包含接口所需的方法，赋值依然有效，接口方法调用会根据变量的动态类型进行动态分发，而非自动生成新的方法。 文章最终解释了为什么修改`add`方法的接收者类型后，接口调用结果仍然不变，这正是Go语言方法集和动态分发机制的体现。

Go语言接口赋值与方法集详解

本文深入探讨Go语言接口赋值机制，尤其关注LessAdder接口赋值时方法集和方法生成问题。

Go语言接口赋值的核心是方法集的概念。假设有如下代码：

type integer int

func (a integer) less(b integer) bool {
    return a < b
}

type LessAdder interface {
    Less(b integer) bool
    Add(b integer)
}

func (a *integer) add(b integer) {
    *a += b
}

代码中，integer类型实现了LessAdder接口。注意，less方法的接收者是integer，而add方法的接收者是*integer。将&a赋值给LessAdder接口变量b时，不会自动生成新的less和add方法。

Go语言方法集机制是关键。类型的“方法集”是指所有以该类型为接收者的方法。指针类型*t的方法集包含所有以t和*t为接收者的方法。因此，*integer类型的方法集包含integer类型的less方法和*integer类型的add方法。当&a（一个*integer）赋值给LessAdder接口时，b可以调用less和add方法，正是因为*integer类型的方法集包含这两个方法。

文中提到的修改add方法的接收者为integer：

func (a integer) add(b integer) {
    a += b
}

然后再次赋值：

var a integer = 1
var b LessAdder = &a   // (2)
b.Add(100)
fmt.Println(a) // 1

结果仍然是1，并非因为生成了新的方法func (a *integer) add(b integer) { (*a) += b }。这是因为，虽然b的静态类型是LessAdder，但其动态类型是*integer。调用b.add(100)时，实际上执行的是integer类型的add方法。由于integer类型的add方法接收者是值类型，函数内对a的修改不会影响a的原始值，所以fmt.Println(a)输出仍然是1。因此，Go语言不会自动生成新方法来匹配接口，而是通过方法集机制实现接口的动态分发。Go语言的接口是隐式实现的，不需要显式声明实现。

到这里，我们也就讲完了《Go语言接口赋值：方法集的秘密》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！