go 中接口的实现是隐式的，只有当变量被显式声明为接口类型并尝试赋值时，编译器才校验底层类型是否满足该接口；若从未将具体类型赋给接口变量，即使缺少方法，也不会触发编译错误。
在 Go 语言中，接口（interface）的实现无需显式声明（如 implements），而是基于“结构匹配”——只要某个类型实现了接口中定义的所有方法，它就自动满足该接口。但关键在于：这种满足关系仅在需要类型转换或赋值到接口变量时，由编译器进行静态检查。
例如，以下代码不会报错：
package main
type Abc interface {
CreateTable(a, b interface{})
}
type Def int
func main() {
// ✅ 没有将 Def 赋值给 Abc 类型变量 → 编译器不检查 CreateTable 是否存在
var d Def = 5
}而一旦你显式地将 Def 值赋给 Abc 类型变量，编译器立即介入验证：
func main() {
var m1 Abc = Def(5) // ❌ 编译错误：Def does not implement Abc (missing CreateTable method)
}此时 Go 编译器会严格检查 Def 是否实现了 CreateTable(a, b interface{}) 方法。由于 Def 未定义该方法（且无指针接收者版本），编译失败，并提示缺失方法。
⚠️ 注意事项：
- 接收者类型很重要：func (d Def) CreateTable(...) 和 func (d *Def) CreateTable(...) 是两个不同的方法集，分别被 Def 和 *Def 实现；
- 若接口变量接收的是值（如 Def(5)），则要求 Def 类型本身实现方法；若传入 &Def{}，则需 *Def 实现；
- http.Handler 等标准库接口也遵循此规则——只有当你把自定义类型赋给 http.Handler 变量（如 var h http.Handler = myHandler{}）时，才会触发实现检查。
✅ 正确实现示例：
func (d *Def) CreateTable(a, b interface{}) {
log.Printf("Creating table with %v and %v", a, b)
}
func main() {
var m1 Abc = &Def(5) // ✅ OK: *Def 实现了 CreateTable
m1.CreateTable("users", "id INT")
}总结：Go 的接口满足性检查是按需触发、静态且精确的。它不是在类型定义时检查，而是在接口变量初始化或类型断言发生时才执行。理解这一点，能帮你精准定位“为何没报错”或“为何突然报错”，避免误以为接口约束失效。
