Go 通过接口和鸭子类型实现隐式、基于行为的多态:只要类型实现接口所有方法即自动满足,无需显式声明;Rectangle 和 Circle 各自实现 Shape 接口,可统一赋值给 Shape 变量并动态调用对应方法。

Go 语言没有传统面向对象意义上的“多态”(如 Java 的继承 + 重写),但它通过 接口(interface)和鸭子类型(Duck Typing)实现了更轻量、更灵活的多态行为——只要一个类型实现了接口定义的所有方法,它就自动满足该接口,无需显式声明“实现”。这种多态是隐式的、基于行为的,也是 Go 多态的核心机制。
接口定义行为契约
接口是一组方法签名的集合,它不关心谁实现,只关心“能做什么”。例如:
type Shape interface {
Area() float64
Perimeter() float64
}
这个 Shape 接口 描述了“可计算面积和周长的图形”这一能力。任何类型,只要提供了这两个方法且签名一致,就自动成为 Shape。
立即学习“go 语言免费学习笔记(深入)”;
不同类型实现同一接口(多态基础)
不同结构体可以各自实现 Shape,体现不同行为:
type Rectangle struct {Width, Height float64}
func (r Rectangle) Area() float64 { return r.Width * r.Height}
func (r Rectangle) Perimeter() float64 { return 2 * (r.Width + r.Height) }
type Circle struct {Radius float64}
func (c Circle) Area() float64 { return math.Pi * c.Radius * c.Radius}
func (c Circle) Perimeter() float64 { return 2 * math.Pi * c.Radius}
此时:
• Rectangle{3, 4} 是 Shape
• Circle{5} 也是 Shape
它们类型不同,但都满足同一接口,可在同一上下文中被统一处理。
通过接口变量实现运行时多态
把不同实现赋给接口变量,调用方法时会自动分发到对应类型的实现:
shapes := []Shape{
Rectangle{Width: 2, Height: 5},
Circle{Radius: 3},
}
for _, s := range shapes {
fmt.Printf(“Area: %.2f, Perimeter: %.2fn”, s.Area(), s.Perimeter())
}
输出中,s.Area() 实际分别调用了 Rectangle.Area 和 Circle.Area —— 这就是 Go 的 运行时多态,由接口值内部的动态类型信息决定。
空接口与类型断言(扩展多态场景)
interface{} 可接收任意类型,常用于泛型前的通用容器或函数参数:
func PrintDetail(v interface{}) {
if s, ok := v.(Shape); ok {
fmt.Printf(“It’s a shape: area=%.2fn”, s.Area())
} else if i, ok := v.(int); ok {
fmt.Printf(“It’s an int: %dn”, i)
}
}
类型断言(v.(T))配合接口,让程序在运行时识别具体类型并做差异化处理,进一步支撑多态逻辑分支。
基本上就这些。Go 的多态不依赖继承体系,而靠接口抽象行为、靠实现者提供具体逻辑。写起来简洁,理解起来关键在于记住:接口是能力,实现是承诺,调用是动态绑定。