Go语言中传递接口类型作为函数参数时会复制什么？

这个问题问得非常关键——很多Go开发者在接触接口传递的时候都会混淆它和指针/值传递的关系，结合你提到的Go所有参数都是按值传递这个前提，咱们一步步拆解清楚：

首先得明确Go里接口值的本质：每个接口值其实是一个两字长的结构（64位系统下占16字节），包含两个核心部分：

• 一个指向底层类型元数据的指针（类型描述符）
• 一个指向实际数据的指针，或者直接存储值（如果值的大小不超过指针长度）

当你传递接口类型参数（比如你说的messages）时，和传递普通值类型完全一致：Go会完整复制这个接口值的副本给函数的形参。具体messages的行为，要看它底层绑定的是什么类型：

情况1：接口底层绑定值类型（如int、普通struct） #

如果messages绑定的是值类型，传递时复制的接口值里，存储的是这个值的完整副本。函数内部对这个值的任何修改，都只会作用于副本，不会影响外部的原变量。

举个代码例子：

type MessageHolder interface {
    GetContent() string
    SetContent(string)
}

type TextMessage struct {
    Content string
}

func (t TextMessage) GetContent() string {
    return t.Content
}

func (t TextMessage) SetContent(newContent string) {
    t.Content = newContent
}

func sayHelloThree(m MessageHolder) {
    m.SetContent("Modified in function")
    fmt.Println(m.GetContent()) // 输出 "Modified in function"
}

func main() {
    msg := TextMessage{Content: "Original message"}
    sayHelloThree(msg)
    fmt.Println(msg.GetContent()) // 仍输出 "Original message"
}

情况2：接口底层绑定引用类型（如slice、map） #

如果messages绑定的是slice、map这类引用类型，接口值里存储的是它们的底层结构指针副本。虽然接口值本身是复制的，但因为指针指向的是同一个底层数据结构，函数内部对底层数据的修改会影响外部原变量。

注意：如果是修改引用类型的头部（比如slice的长度、容量），因为头部是值传递的副本，修改不会同步到外部，只有修改底层数组的内容才会生效。

情况3：接口底层绑定指针类型 #

如果messages绑定的是指针类型，接口值里存储的是这个指针的副本。和传递普通指针参数一样，函数内部可以通过这个指针修改原变量的内容——因为指针指向的是同一个内存地址。

调整上面的例子为指针接收者：

func (t *TextMessage) SetContent(newContent string) {
    t.Content = newContent
}

func main() {
    msg := &TextMessage{Content: "Original message"}
    sayHelloThree(msg)
    fmt.Println(msg.GetContent()) // 输出 "Modified in function"，外部变量被修改
}

核心总结 #

• 无论传递什么类型，Go始终是按值传递，接口也不例外，传递的是接口值的副本。
• 接口传递的本质是复制(类型描述符, 数据指针/值)这个结构，而非直接复制底层数据。
• 最终能否影响外部变量，取决于接口底层绑定的类型是值类型还是引用/指针类型——完全遵循Go值传递的基础规则。

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