Go: Interface 接口

📅 2026-02-05 ✏️ 2026-03-18 CS GO

1 · Go: Interface 接口#

An interface type defines a type set.

接口类型定义了一个类型集。接口类型值，可以存储类型集中任一类型的值，是一种和类型。

在没有泛型时，这个类型集，可以看作一组方法的签名，所有满足这些方法的类型，都属于这个类型集。这是Go接口的优点之一：隐式接口，实现了接口的所有方法的类型就隐式地实现了接口。

有泛型后，接口承担起对类型的约束，这个类型集(多个类型的并集)，就是约束了类型的范围。类型集中可以是具体类型TypeTerm，也可以是底层类型~Type。详细见泛型。

总结：Go 的接口是静态的（编译时检查）和动态的（运行时动态分发）的结合体。

静态：

动态：

程序里用到的类型，编译期会生成对应的类型元数据；运行时当一个值被装进接口时，接口值会带上一个指向该具体类型元数据的指针，以及该值的数据表示；

反射就是在程序里使用这些类型元数据。

接口值由两个字组成：

┌─────────────────┬─────────────────┐
│   itable 指针   │    数据指针     │
└─────────────────┴─────────────────┘

itable 包含：

重要特性: itable 对应的是接口类型 + 动态具体类型这一对组合，而不是只对应接口类型。

// runtime.iface
type iface struct {
	tab  *itab          // 重要：包含接口类型、具体类型，还有具体类型对该接口各方法的实现入口
	data unsafe.Pointer // 原始数据
}

对于 interface{} 或 any （无方法），运行时表示里没有 itab，第一字直接保存具体类型指针：

┌──────────────┬──────────────┐
│  类型指针    │  数据指针    │
└──────────────┴──────────────┘

// runtime.eface 在 Go 语言中很常见，实现时使用了特殊的类型
type eface struct {
	_type *_type         // 底层数据类型
	data  unsafe.Pointer // 底层数据
}

接口与具体实现分离, 依赖一个约定好的接口

调用接口的方法，在编译期间不能确定接口的具体类型（编译器优化：去虚化），那么在运行期间决定调用该方法的哪个实现；

接口类型调用，运行时动态派发；具体类型调用，编译期确定；使用 -N 关闭编译器优化

获取 itab->fun[0] 到寄存器，iface 的 data 作为接收者参数放到寄存器，通过 CALL 间接调用

https://go.dev/ref/spec#Interface_types

https://research.swtch.com/interfaces