在 Go 语言中，接口（Interface）不仅仅是一个简单的指针，它在底层的运行时（Runtime）表现为两个字（machine words）宽度的结构体。

根据接口是否包含方法，底层实现分为两种结构：

1. eface (Empty Interface)：用于空接口 interface{} (即 any)。
2. iface (Interface)：用于包含方法的非空接口（例如 io.Reader）。

这两个结构体定义在 Go 源码的 runtime/runtime2.go 中。

1. eface：空接口 (Empty Interface)

当我们在 Go 中使用 interface{} 或 any 时，底层使用的是 eface 结构体。因为它不需要调用方法，所以它只需要记录具体的类型和具体的数据。

结构定义

type eface struct {
    _type *_type         // 指向接口中存储的具体类型信息的指针
    data  unsafe.Pointer // 指向具体数据的指针
}

字段解析

• _type: 指向一个 _type 结构体。这个结构体包含了具体类型的所有元信息（如类型名称、大小、对齐方式、哈希值等）。Go 语言的反射（Reflection）就是基于这个字段实现的。
• data: 一个指针，指向实际存储的值（Concrete Value）。

示例：

var i interface{} = 10

此时 eface 的 _type 指向 int 的类型元数据，data 指向存储 10 的内存地址。

2. iface：非空接口 (Non-empty Interface)

当接口中定义了方法时（例如 type Runner interface { Run() }），底层使用的是 iface 结构体。除了数据和类型，它还需要知道如何调用接口中定义的方法。

结构定义

type iface struct {
    tab  *itab           // 指向 itab (Interface Table) 的指针
    data unsafe.Pointer  // 指向具体数据的指针 (同 eface)
}

关键组件：itab (Interface Table)

iface 的核心在于 tab 字段，它指向 itab 结构体。itab 存储了接口类型、具体类型以及方法实现的映射表。

type itab struct {
    inter *interfacetype // 接口自身的静态类型信息 (e.g., io.Reader)
    _type *_type         // 具体类型的静态类型信息 (e.g., *os.File)
    hash  uint32         // copy of _type.hash (用于快速类型断言)
    _     [4]byte        // padding
    fun   [1]uintptr     // 变长数组，存储具体类型实现的方法指针
}

itab 字段解析

• inter: 描述了接口本身定义了哪些方法。
• _type: 描述了实际存放的具体类型是什么。
• fun: 这是最关键的部分。它是一个函数指针数组（虽然定义为 [1]uintptr，但在运行时是变长的）。
  • 它存储了具体类型实现的、且接口要求的方法的地址。
  • 如果接口定义了方法 A 和 B，具体类型实现了 A, B, C。那么 fun 中只会包含 A 和 B 的地址。
  • 动态派发（Dynamic Dispatch）：当我们调用 interface.Method() 时，Go 运行时会直接通过 iface.tab.fun[index] 找到对应的函数地址并执行。这通常只需要几次内存访问，性能非常高。

3. eface vs iface 对比总结

4. 常见陷阱：接口的 nil 判断

理解了底层结构，就能理解 Go 中经典的 "Nil Interface" 陷阱。

问题：为什么有时候 val == nil 是 false，即使 val 里面装的是一个 nil 指针？

原因：
接口变量只有在 _type (或 tab) 和 data 都为 nil 时，才等于 nil。

var p *int = nil      // p 是一个 nil 指针
var i interface{} = p // 将 p 赋值给接口 i

// 此时 i 的底层结构：
// i._type = type of *int (非空！)
// i.data  = nil          (空)

fmt.Println(i == nil) // 输出: false

虽然 data 是空的，但是 _type 已经记录了它是一个 *int 类型。因此，这个接口变量在运行时不再是一个“纯粹的 nil 接口”。

总结

• Go 的接口是两个机器字（Type Info + Data Pointer）。
• eface 用于 interface{}，只记录类型和数据。
• iface 用于带方法的接口，通过 itab 缓存方法指针，实现高效的动态方法调用。