Go多态唯一可靠路径是接口+实现类型：接口定义方法签名，编译期检查实现，运行时动态分发；interface{}只是类型擦除容器，不构成多态。
Go 语言没有继承，也没有虚函数表，所谓“多态”只有一种可靠路径：接口 + 实现类型。其他方式（比如嵌入结构体、用
）要么不安全，要么根本不是多态。
为什么
不是多态
它只是接受任意值的空接口，编译器不做任何方法约束，运行时无法调用具体行为——你甚至不能写
，会报错
。这不是多态，是类型擦除后的兜底容器。
真正多态的前提是：接口定义了明确的方法签名，且调用方只依赖该接口类型。
接口变量在编译期就检查是否满足全部方法（名字、参数、返回值必须完全一致）
运行时通过底层
对动态分发到对应实现
是万能接收器，但不是行为契约；
这样的具名接口才是
结构体实现接口时最常踩的坑
看似实现了，一赋值就报错
，往往是因为这些细节没对齐：
立即学习
“
go语言免费学习笔记（深入）
”；
go语言参考手册 中文CHM版
Go 是一个开源的编程语言，它能让构造简单、可靠且高效的软件变得容易。本文给大家带来Go参考手册，需要的可以来下载！ Go是从2007年末由Robert Griesemer, Rob Pike, Ken Thompson主持开发，后来还加入了Ian Lance Taylor, Russ Cox等人，并最终于2009年11月开源，在2012年早些时候发布了Go 1稳定版本。现在Go的开发已经是完全开放的，并且拥有一个活跃的社区。 Go 语言特色 简洁、快速、安全 并行、有趣、开源 内存管理、v数组安全、编译
下载
接收者类型不一致：接口要求
，你写了
→
值不能赋给该接口，但
可以
首字母小写：写成
，Go 视为包内私有，对外不可见，永远不满足接口
返回值类型差一点：接口定义
，你实现成
→ 不兼容，因为
不是
的子类型（Go 没有子类型）
嵌入后误以为自动实现：嵌入
不代表自动满足
接口，仍需在本类型中显式提供
方法
如何让“父逻辑”调用“子实现”
别用嵌入模拟继承，那是静态绑定，
里写的
永远走
。正确做法是把可变行为抽成接口，由外部注入：
创建
时，让它实现
，再传给
这样
内部调用的
就是
，不是硬编码的
零反射、零类型断言、编译期强校验，这才是 Go 式多态
嵌入结构体 ≠ 多态，但可以辅助组合
匿名嵌入（如
）只是字段和方法提升，
和
是两个独立类型，
不能直接赋给接收
的函数。
它真正的价值在于复用字段和通用方法，而不是制造类型层级。若你发现需要在嵌入字段里“覆盖”某个方法来改变父逻辑行为，说明接口抽象没做好——应该把那个方法提到接口里，让不同结构体各自实现。
最容易被忽略的一点：多态调度只发生在接口变量上调用方法时；一旦你把接口值转成具体类型（比如
），就退出了多态语境，回到了静态绑定。这通常意味着设计倒退。
interface{}func f(i interface{})i.Area()i.Area undefined (type interface {} has no field or method Area)(type, value)interface{}Shapedoes not implement Shapefunc (*Rect) Area()func (r Rect) Area()Rect{}&Rect{}area()Read([]byte) (int, error)Read([]byte) (int, *os.PathError)*os.PathErrorerror*AnimalEaterEate()(*Animal).Say()a.Eate()(*Animal).Eatetype Eater interface {
Eate()
}
type Animal struct {
name string
eater Eater // 组合接口，而非嵌入结构体
}
func (a *Animal) Say() {
fmt.Printf("Animal Say(): %s\n", a.name)
a.eater.Eate() // 运行时动态调用传入的具体实现
}
DogEaterAnimal{eater: &Dog{}}Say()Eate()Dog.Eate()Animal.Eate()type Dog struct { Animal }DogAnimal*Dog*Animalif d, ok := i.(Dog); ok { d.Bark() }