Go 语言从入门到进阶 | 第 6 章：接口与多态

系列：Go 语言从入门到进阶
作者：耿雨飞
适用版本：go v1.26.2

前置条件

在开始本章学习之前，请确保：

• 已完成第 1 ~ 5 章的学习，掌握函数、方法、接收器和错误处理
• 理解值接收器与指针接收器的区别以及方法集规则
• 已获取 Go 1.26.2 源码树（go-go1.26.2目录）

导读

接口是 Go 类型系统的灵魂。它既不是 Java 那样的"先声明后实现"的契约，也不是 C++ 那样的虚函数表继承——Go 的接口是隐式实现的：一个类型只要拥有接口要求的所有方法，就自动满足该接口，无需任何显式声明。

这种设计带来了极大的灵活性：你可以为任何已有类型定义新接口，无需修改原始类型的代码。标准库中大量使用这一特性，io.Reader、io.Writer、fmt.Stringer、sort.Interface等接口定义了 Go 生态的核心协议。

本章的另一个亮点是深入接口的运行时表示。我们将走进src/runtime/runtime2.go和src/runtime/iface.go，看到非空接口的iface结构（包含itab方法表和数据指针）与空接口的eface结构（只有类型指针和数据指针），理解类型断言和接口转换在运行时是如何工作的。

本章将对照 Go 1.26.2 源码中的以下关键路径：

学习目标

完成本章后，你将能够：

1. 理解 Go 接口的隐式实现机制，与其他语言的显式实现进行对比
2. 掌握空接口any（interface{}）的用途和局限
3. 从源码层面理解iface（非空接口）和eface（空接口）的内部结构
4. 理解itab（接口方法表）的查找和缓存机制
5. 熟练使用io.Reader/io.Writer、fmt.Stringer、sort.Interface等标准库接口
6. 理解接口组合的设计模式
7. 掌握类型断言和类型 switch 的语法与安全用法

6.1 接口的定义与实现

6.1.1 接口基础

接口定义了一组方法签名。任何类型只要实现了这些方法，就隐式地满足了该接口：

packagemainimport"fmt"// 定义接口typeShapeinterface{Area()float64Perimeter()float64}// Circle 类型——没有任何 "implements" 声明typeCirclestruct{Radiusfloat64}func(c Circle)Area()float64{return3.14159*c.Radius*c.Radius}func(c Circle)Perimeter()float64{return2*3.14159*c.Radius}// Rectangle 类型——同样隐式实现了 ShapetypeRectanglestruct{Width,Heightfloat64}func(r Rectangle)Area()float64{returnr.Width*r.Height}func(r Rectangle)Perimeter()float64{return2*(r.Width+r.Height)}// 函数接受接口类型参数——多态funcprintShapeInfo(s Shape){fmt.Printf("Area: %.2f, Perimeter: %.2f\n",s.Area(),s.Perimeter())}funcmain(){c:=Circle{Radius:5}r:=Rectangle{Width:3,Height:4}printShapeInfo(c)// Area: 78.54, Perimeter: 31.42printShapeInfo(r)// Area: 12.00, Perimeter: 14.00}

6.1.2 隐式接口实现

Go 的接口实现是隐式的（也叫"结构化类型"或"鸭子类型"）。这与 Java/C# 的显式实现形成鲜明对比：

隐式实现的威力——为第三方类型定义新接口：

packagemainimport("fmt""strings")// 我们定义的接口typeLengthGetterinterface{Len()int}// strings.Builder 已经有 Len() 方法// 无需修改 strings 包，它自动满足我们的接口funcprintLength(l LengthGetter){fmt.Println("Length:",l.Len())}funcmain(){varb strings.Builder b.WriteString("Hello, Go!")printLength(&b)// Length: 10 —— strings.Builder 自动满足 LengthGetter}

编译期验证接口实现：

虽然接口是隐式实现的，但有时我们希望在编译期确保某个类型确实实现了特定接口。Go 的惯用技巧是使用一个空赋值语句：

// 编译期断言：确保 Circle 实现了 Shape 接口var_Shape=Circle{}// 值类型实现var_Shape=(*Circle)(nil)// 指针类型实现// 如果 Circle 缺少任何 Shape 要求的方法，编译器会在此处报错

6.1.3 空接口 any（interface{}）

空接口没有任何方法要求，因此所有类型都满足空接口：

// src/builtin/builtin.go 中的定义// any is an alias for interface{} and is equivalent to interface{} in all ways.typeany=interface{}

any（interface{}的别名，Go 1.18 引入）可以接收任意类型的值：

packagemainimport"fmt"funcdescribe(i any){fmt.Printf("Type: %T, Value: %v\n",i,i)}funcmain(){describe(42)// Type: int, Value: 42describe("hello")// Type: string, Value: hellodescribe(3.14)// Type: float64, Value: 3.14describe(true)// Type: bool, Value: truedescribe([]int{1,2})// Type: []int, Value: [1 2]describe(nil)// Type: <nil>, Value: <nil>}

空接口的常见用途：

空接口的局限：

packagemainfuncmain(){varx any=42// 不能直接做算术运算——编译器不知道底层类型// y := x + 1 // 编译错误：invalid operation: x + 1 (mismatched types any and int)// 必须先类型断言y:=x.(int)+1_=y}

最佳实践：尽量避免过度使用any。Go 1.18+ 引入的泛型可以在很多场景下替代any，提供编译期类型安全。当你发现自己在频繁使用any+ 类型断言时，考虑是否可以用泛型或具体接口代替。

6.1.4 接口的零值与 nil 注意事项

接口的零值是nil——此时接口既没有类型信息，也没有数据：

packagemainimport"fmt"typeMyErrorstruct{CodeintMessagestring}func(e*MyError)Error()string{returnfmt.Sprintf("error %d: %s",e.Code,e.Message)}funcdoSomething(failbool)error{varerr*MyError// nil 指针iffail{err=&MyError{Code:404,Message:"not found"}}returnerr// 注意：这里返回的是非 nil 接口！}funcmain(){err:=doSomething(false)iferr!=nil{fmt.Println("Error:",err)// 会执行！}else{fmt.Println("No error")}fmt.