go 中接口的实现是隐式的，只有当变量被声明为接口类型且赋值对象未实现该接口方法时，编译器才报错；若变量未声明为接口类型，则不会触发接口合规性检查。
在 Go 语言中，接口实现无需显式声明（如 implements），而是由编译器在赋值时静态检查：仅当一个值被赋予某个接口类型变量，且该值的类型未提供接口要求的全部方法时，才会产生编译错误。
来看原始问题中的关键差异：
第一段代码（无报错）：定义了接口 Abc 要求 CreateTable(a, b) 方法，但所有变量（如 var d Def）均为具体类型 Def，并未将其赋值给 Abc 类型变量。因此，编译器根本不会检查 Def 是否实现了 Abc —— 接口契约此时“不生效”。
第二段代码（或修改后的示例）：显式声明 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) // 明确参数类型，提升可读性与正确性
}
type Def struct{}
func (d Def) CreateTable(a, b int) { // 值接收者即可满足接口（除非需修改状态）
log.Printf("CreateTable called with %d, %d", a, b)
}
func main() {
var m1 Abc = Def{} // ✅ 编译通过：Def 实现了 Abc
m1.CreateTable(1, 2)
}⚠️ 注意事项：
- 接口方法签名必须完全一致（包括参数名可省略，但类型、数量、顺序及返回值必须匹配）；
- 接收者类型影响实现：func (d Def) 和 func (d *Def) 是两种不同实现，不可混用；
- 若仅用于类型约束而非多态，可考虑使用泛型替代接口，避免过早抽象；
- 使用 var _ Abc = (*Def)(nil) 等方式可在包初始化时强制校验实现（常用于测试或文档提示）。
总结：Go 的接口是“用时才验”，不是“定义即检”。是否报错，取决于你是否真的把某个值当作该接口来用——这是隐式实现机制的核心设计哲学，也是 Go 类型系统简洁与灵活的关键所在。
