go 语言没有传统面向对象的虚函数机制，但可通过接口与组合实现多态行为；关键在于让基类方法通过接口调用可变行为，而非依赖结构体嵌入时的隐式方法覆盖。
go 语言没有传统面向对象的虚函数机制，但可通过接口与组合实现多态行为；关键在于让基类方法通过接口调用可变行为，而非依赖结构体嵌入时的隐式方法覆盖。
在 Go 中，结构体嵌入（embedding）提供的是组合（has-a） 而非继承（is-a），因此 *B 调用从 *A 继承的 Do() 方法时，this 的实际类型仍是 *A，导致 this.DoVirtual() 始终绑定到 *A 的方法，无法自动动态分发到 *B 的重写版本——这正是原例中 b.Do() 仍打印默认实现的根本原因。
要真正模拟“虚函数”语义，核心思路是：将可变行为抽象为接口，并由具体类型显式提供实现。以下是推荐实现方式：
✅ 正确做法：基于接口的运行时多态
package main
import "fmt"
// 定义虚拟行为接口
type Doer interface {
DoVirtual()
}
// 基类持有接口引用（而非直接定义方法）
type A struct {
doer Doer // 可注入的具体实现
}
// Do 现在通过接口调用，具备动态分发能力
func (a *A) Do() {
fmt.Println("IM DO")
a.doer.DoVirtual() // 多态调用
}
// 提供默认实现（可选）
type DefaultDoer struct{}
func (DefaultDoer) DoVirtual() {
fmt.Println("IM DoVirtual Default implementation")
}
// 具体子类 B 实现接口
type B struct {
*A
}
func NewB() *B {
b := &B{}
b.A = &A{doer: b} // 将自身注入基类
return b
}
func (b *B) DoVirtual() {
fmt.Println("IM DoVirtual B implementation")
}
func main() {
a := &A{doer: DefaultDoer{}}
a.Do() // → IM DO; IM DoVirtual Default implementation
fmt.Println("----")
b := NewB()
b.DoVirtual() // → IM DoVirtual B implementation
b.Do() // → IM DO; IM DoVirtual B implementation ✅
}
⚠️ 注意事项
- 避免循环引用陷阱：若 A 字段直接嵌入 B（如 type B struct { *A }），再在 A 中存 *B，会导致初始化时结构体大小未定或无限递归；应改用指针注入（如 NewB 工厂函数）。
- 接口即契约：Doer 接口明确表达了“谁负责提供 DoVirtual 行为”，符合 Go 的显式设计哲学。
- 不推荐反射或 unsafe：虽技术上可行，但违背 Go 简洁、安全、可读的设计原则。
✅ 总结
Go 不模拟 C++/Java 的虚函数，而是用接口 + 组合 + 显式委托达成同等效果。它更强调“行为契约”而非“类型层级”，这种设计降低了耦合、提升了测试性与扩展性。正如 Rob Pike 所言：“Less is exponentially more”——放弃语法糖，换来的是更清晰的控制流与更强的工程可维护性。
