go 中接口的实现是隐式的，只有当变量被显式声明为接口类型并赋值时，编译器才会检查底层类型是否满足该接口；若仅定义了接口而未发生接口类型赋值，缺失方法不会触发编译错误。
在 Go 语言中，接口（interface）的实现无需显式声明（如 implements 关键字），而是通过结构体或类型是否拥有匹配签名的方法来自动判定——但这一判定仅在类型被用作该接口类型时才由编译器强制验证。
来看原始问题中的关键点：
- 定义了接口 Abc，要求实现 CreateTable(a, b) 方法（注意：此处参数类型未声明，实际代码中应为具体类型，如 string, int，否则语法不合法；playground 链接中已修正为 func CreateTable(string, int)）；
- 定义了类型 Def int，但并未为其定义 CreateTable 方法；
- 在第一段代码中，仅声明了 Abc 接口和 Def 类型，但没有将 Def 的实例赋值给 Abc 类型变量 → 编译器不执行实现检查，因此无错误；
- 在第二段（修正版）代码中，添加了 var m1 Abc = Def(5)，此时编译器必须确保 Def 满足 Abc 接口，发现缺少 CreateTable 方法，立即报错：
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(name string, size int) // 明确参数类型
}
type Def int
func main() {
var m1 Abc = Def(5) // ⚠️ 编译失败：Def 未实现 CreateTable
}❌ 错误认知示例（无检查，无报错）：
type Abc interface { CreateTable(string, int) }
type Def int
// 没有接口变量赋值 → 编译器完全不关心 Def 是否实现 Abc? 注意事项：
- 接口实现检查是静态、编译期行为，且按需触发；
- 若想提前发现未实现接口的问题，建议在单元测试中显式构造接口变量，或使用 var _ Abc = (*YourType)(nil) 进行“接口契约断言”（常用于包初始化）：
var _ Abc = (*Def)(nil) // 若 Def 未实现 Abc，此处直接编译失败
- 方法签名必须完全一致：包括名称、参数类型顺序、返回值类型（含命名返回值不影响匹配）。
总结：Go 的接口设计强调“鸭子类型”哲学——“如果它走起来像鸭子、叫起来像鸭子，那它就是鸭子”，但这个判断只发生在“让它走路/叫唤”的那一刻（即接口赋值或传参时）。未调用、未赋值，编译器便默不作声——这既是灵活性的来源，也要求开发者主动建立契约意识。
