接口与类型系统

What — 是什么

Go 的接口是隐式实现的方法集合，类型只需实现接口的所有方法即自动满足该接口，无需声明。

核心概念：

• 接口值：由 (type, value) 两个部分组成，运行时动态派发
• 空接口 interface{}（Go 1.18+ 可用 any）：可接受任意类型值
• 类型断言：v, ok := i.(T) 安全提取接口底层具体类型
• 类型选择：switch v := i.(type) 根据类型分支处理

关键特性：

• 隐式实现（duck typing），降低耦合
• 接口组合：小接口组合成大接口（如 io.ReadWriter = io.Reader + io.Writer）
• 零值接口为 nil，但包含 nil 值的接口不是 nil

运行机制：

• 内存模型：接口值内部是一个两字结构（itab 指针 + data 指针）
• 执行模型：方法调用通过 itab 动态派发，有轻微性能开销
• 并发模型：接口本身是值类型，可安全复制传递

类型系统：

• 类型分类：基础类型、复合类型（slice/map/struct）、接口类型、指针类型
• 类型转换规则：显式转换 T(v)，接口用类型断言
• 泛型/多态支持：Go 1.18+ 支持类型参数，接口可作为约束

Why — 为什么

适用场景：

• 定义模块间的契约（解耦）
• 依赖注入和 mock 测试
• 通用数据结构（如 sort.Interface）

对比其他语言：

优缺点：

• ✅ 优点：
  • 隐式实现，不需要修改已有代码
  • 小接口组合，符合单一职责
  • 天然支持 mock 测试
• ❌ 缺点：
  • nil 接口 vs 含 nil 值的接口容易混淆
  • 运行时才能发现未实现接口（编译器仅在有赋值时检查）
  • 没有泛型前，大量使用 interface{} 丢失类型安全

How — 怎么用

快速上手

// 定义接口
type Speaker interface {
    Speak() string
}

// 隐式实现
type Dog struct{ Name string }
func (d Dog) Speak() string { return d.Name + ": woof!" }

// 使用
func MakeItSpeak(s Speaker) {
    fmt.Println(s.Speak())
}

MakeItSpeak(Dog{Name: "Rex"}) // Rex: woof!

代码示例

接口组合：

type Reader interface {
    Read(p []byte) (n int, err error)
}

type Writer interface {
    Write(p []byte) (n int, err error)
}

// 组合接口
type ReadWriter interface {
    Reader
    Writer
}

nil 接口陷阱：

var p *MyType = nil
var i interface{} = p

fmt.Println(i == nil) // false! 接口值包含 (type=*MyType, value=nil)
// 正确判断：
if p == nil {
    i = nil // 这样 i 才是真正的 nil
}

泛型约束（Go 1.18+）：

type Number interface {
    int | int64 | float64
}

func Sum[T Number](nums []T) T {
    var total T
    for _, n := range nums {
        total += n
    }
    return total
}

常见问题与踩坑

最佳实践

• 接口定义在消费方（使用者），不是提供方
• 保持接口小（1-3 个方法），通过组合扩展
• 用 var _ Interface = (*Type)(nil) 做编译时断言
• 返回具体类型，参数接受接口

面试题

Q1: Go 接口的底层实现是怎样的？

非空接口内部是 iface 结构（itab 指针 + data 指针），itab 存储接口类型、具体类型及方法表；空接口内部是 eface 结构（_type 指针 + data 指针）。方法调用通过 itab 中的方法表动态派发，有轻微性能开销。

Q2: 空接口 interface{} 有什么用途？为什么 Go 1.18 引入 any？

空接口可接受任意类型值，常用于通用容器（如 fmt.Println 参数）、JSON 反序列化、泛型前的通用函数。any 是 interface{} 的类型别名，语义更清晰，但建议在需要类型约束时优先使用泛型而非 any。

Q3: 类型断言和类型选择有什么区别？

类型断言 v, ok := i.(T) 提取接口底层的具体类型值，ok 为 false 表示类型不匹配（不 panic）；类型选择 switch v := i.(type) 根据具体类型分支处理，适合多种类型的分发逻辑。类型断言适合已知目标类型的场景，类型选择适合处理多种可能类型的场景。

Q4: 什么时候用接口，什么时候用泛型？

接口适用于运行时多态（如依赖注入、策略模式）、需要动态派发的场景；泛型适用于编译时类型安全（如通用数据结构、类型约束计算），避免类型断言和 any 的运行时开销。简单原则：需要多种实现用接口，需要多种类型但相同逻辑用泛型。

相关链接：

• Go 官方 FAQ：https://go.dev/doc/faq#nil_error