在 go 语言中，接口的实现是隐式的：只要某个类型提供了接口所声明的所有方法（签名完全匹配），即视为实现了该接口。但关键在于——这种实现关系仅在类型被实际用于接口上下文（如赋值给接口变量、作为参数传入）时，才由编译器进行静态检查。如果一个类型从未被当作某接口使用，即使它缺少接口要求的方法，Go 编译器也完全不会报错。
以你提供的两个 Playground 示例为例：
-
第一个代码（无报错）：Def 类型未被赋值给 Abc 接口变量，也未作为 Abc 类型参数传递；Abc 接口虽已定义，但没有任何变量或函数调用触发“类型是否实现 Abc”的校验。因此，编译通过，静默忽略缺失的 CreateTable 方法。
-
第二个代码（修改后报错）：添加了 var m1 Abc = Def(5) 这一行，明确将 Def(5) 赋值给 Abc 接口变量。此时编译器立即检查 Def 是否实现了 Abc 接口中的 CreateTable(a, b) 方法。由于 Def 既没有定义该方法，其方法签名也不匹配（例如参数列表为空或类型不符），编译器立刻报错：
cannot use Def(5) (type Def) as type Abc in assignment: Def does not implement Abc (missing CreateTable method)。
✅ 正确写法示例（补全方法并确保签名一致）：
package main import "log" type Abc interface { CreateTable(a, b int) // 注意：原示例中 a, b 未声明类型，Go 不允许；此处修正为 int } type Def int func (d *Def) CreateTable(a, b int) { // 指针接收者 + 匹配签名 log.Printf("CreateTable called with %d, %d", a, b) } func main() { var m1 Abc = (*Def)(new(Def)) // 或 &Def(0) m1.CreateTable(1, 2) // ✅ 可安全调用 }⚠️ 注意事项：
- 接口方法签名必须严格一致：参数名可不同，但类型、数量、顺序及返回值必须完全匹配；
- 接收者类型影响实现：func (d Def) M() 和 func (d *Def) M() 是两个不同的方法集，只有 *Def 实现了带指针接收者的方法；
- 若希望提前发现实现遗漏，可在类型定义后添加编译期断言：
var _ Abc = (*Def)(nil) —— 若 Def 未实现 Abc，此处将直接编译失败，无需等到赋值时才发现。
总结：Go 的接口实现检查是“按需触发”的，不是全局扫描。只有当类型真正被用作接口时，编译器才验证其实现完整性。这是 Go 静态类型系统的设计哲学：轻量、明确、无隐式契约，但也要求开发者主动建立类型与接口之间的关联意图。