go 中接口实现检查是隐式的，只有当变量被声明为接口类型且实际值未实现该接口方法时，编译器才会报错；若变量未以接口类型声明，则不会触发接口合规性检查。

在 Go 语言中，接口（interface）的实现无需显式声明（如 implements 关键字），而是由编译器在赋值时自动验证：当一个具体类型的值被赋给某个接口类型的变量时，编译器会检查该类型是否实现了接口定义的所有方法。若缺失任一方法，即刻报错，例如 missing method CreateTable。

但关键点在于：这种检查只发生在“接口类型变量接收具体值”的上下文中。来看原始问题中的第一段代码（play.golang.org/p/OEDetydMbW）：

type Abc interface {
    CreateTable(a, b)
}
type Def int
// 未定义 CreateTable 方法
func main() {
    var d Def = 5 // d 是 Def 类型，不是 Abc 类型 —— 编译器完全不检查 Def 是否实现 Abc
}

此处 d 被声明为 Def（具体类型），而非 Abc（接口类型），因此即使 Def 没有 CreateTable 方法，也不会触发任何接口实现检查 —— 编译通过纯属正常。

而第二段修正代码（play.golang.org/p/ETdexzPYaM）明确将 Def(5) 赋值给 Abc 类型变量：

Golang Uber Dig

使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等

下载

var m1 Abc = Def(5) // ⚠️ 编译器此时检查：Def 是否实现 Abc？

由于 Def 未定义 CreateTable 方法（参数列表也不匹配），编译器立即报错：

cannot use Def(5) (type Def) as type Abc in assignment:
    Def does not implement Abc (missing CreateTable method)

✅ 正确做法示例（补全实现）：

func (d *Def) CreateTable(a, b interface{}) {
    log.Printf("CreateTable called with %v, %v", a, b)
}

func main() {
    var m1 Abc = (*Def)(nil) // 或 &Def{}
    m1.CreateTable("table", "schema")
}

⚠️ 注意事项：

• 接口方法签名必须完全一致（包括参数类型、返回值、是否指针接收者）；
• 值接收者实现的方法，不能由指针类型变量满足接口（反之亦然）；
• 若仅需静态检查是否实现某接口，可添加空行断言：var _ Abc = (*Def)(nil) —— 既不占用运行时资源，又能在编译期暴露缺失实现。

总结：Go 的接口实现是“按需校验”，不是“全局声明”。只有当你真正把一个值当作某接口来用时，编译器才介入验证。这是 Go 灵活与轻量的设计哲学体现，但也要求开发者主动构建接口使用场景，才能获得类型安全的保障。