go - Go 中的接口(interface)变量究竟是如何实现的？

Question

在下面的代码片段中，我想了解当 iPerson 的内容仍未初始化时究竟存储了什么:只是一个 0 字节的值？或者它实际上是一个指针(当然也初始化为 0 字节)？无论如何，iPerson = person 到底发生了什么？

如果 iPerson = person 复制了 person，那么当对象实现 IPerson 但具有不同的大小/内存占用时会发生什么被分配给 iPerson？我理解 iPerson 是一个存储在堆栈上的变量，所以它的大小必须是固定的。这是否意味着堆实际上是在幕后使用的，所以 iPerson 实际上是作为指针实现的，但赋值仍然复制对象，如上面的代码所示？这是代码:

type Person struct{ name string }

type IPerson interface{}

func main() {
    var person Person = Person{"John"}
    var iPerson IPerson
    fmt.Println(person)  // => John
    fmt.Println(iPerson) // => <nil>  ...so looks like a pointer

    iPerson = person     //           ...this seems to be making a copy
    fmt.Println(iPerson) // => John

    person.name = "Mike"
    fmt.Println(person)  // => Mike
    fmt.Println(iPerson) // => John   ...so looks like it wasn't a pointer,
                         //           or at least something was definitely copied
}

(这个问题是我重新考虑我对 why runtime error on io.WriterString? 的回答的精确事实正确性的结果。所以我决定尝试做一些调查以了解接口(interface)变量和对它们的赋值究竟是如何工作的在 Go 中。)

编辑:在收到一些有用的答案后，我仍然对此感到困惑:

iPerson = person
iPerson = &person

——两者都是合法的。但是，对我来说，这提出了一个问题，即为什么编译器允许出现这种弱类型？上述的一个含义是:

iPerson = &person
var person2 = iPerson.(Person)  # panic: interface conversion: interface is *main.Person, not main.Person

虽然更改第一行修复了它:

iPerson = person
var person2 = iPerson.(Person)  # OK

...所以不可能静态地确定iPerson 持有的是一个指针还是一个值；似乎任何东西都可以在运行时将其中一个分配给它而不会引发错误。为什么做出这样的设计决定？它有什么作用？它绝对不符合“类型安全”的心态。

Answer 1

你问为什么两者都是

iPerson = person
iPerson = &person

是允许的。它们都是允许的，因为 person 和 &person 都实现了 IPerson 接口(interface)。这是显而易见的，因为 IPerson 是空接口(interface)——每个值都实现它。

的确，您无法静态地确定 IPerson 的值是指针还是值。所以呢？关于 IPerson，您所知道的只是存储在该类型值中的任何对象都实现接口(interface)中的方法列表。假设这些方法得到正确实现。 IPerson 持有的是值还是指针与此无关。

例如，如果方法要更改存储在对象中的某些内容，那么该方法几乎必须是指针方法，在这种情况下，只能将指针值存储在接口(interface)类型的变量中。但是如果这些方法都没有改变存储在对象中的东西，那么它们都可以是值方法，并且一个非指针值可以存储在变量中。