Go语言的接口设计采用隐式实现的理念，这和很多需要显式声明实现接口的语言有本质区别。很多开发者在定义类型后，没有将其赋值给接口变量，却没收到编译器关于接口未实现的报错，这背后是Go编译器的检查逻辑在起作用。
Go接口的隐式实现机制
Go语言中，只要一个类型实现了某个接口定义的所有方法，就默认认为这个类型实现了该接口，不需要像Java那样使用implements关键字显式声明。这种设计的优势是降低代码耦合度，让接口的定义和实现可以完全解耦，不需要提前约定。
比如我们定义一个Animal接口和一个Dog类型：
// 定义Animal接口，包含Speak方法
type Animal interface {
Speak() string
}
// 定义Dog结构体
type Dog struct {
Name string
}
// Dog实现Speak方法，满足Animal接口的要求
func (d Dog) Speak() string {
return d.Name + "汪汪叫"
}
这里Dog类型没有显式声明自己实现了Animal接口，但因为实现了Speak方法，所以已经隐式实现了Animal接口。
编译器的接口检查触发条件
Go编译器并不会在类型定义的时候就检查它是否实现了某个接口，只有当类型被赋值给接口变量时，编译器才会校验该类型是否满足接口的所有方法要求。如果类型没有实现接口的全部方法，赋值的时候就会直接报错。
我们可以看一个赋值时的检查示例：
func main() {
// 将Dog实例赋值给Animal接口变量，编译器会检查Dog是否实现Animal的所有方法
var a Animal
a = Dog{Name: "小黑"}
println(a.Speak())
}
如果此时我们给Dog去掉Speak方法，再执行赋值操作，编译器就会报出Dog does not implement Animal (missing Speak method)的错误。
未显式赋值时不报错的原因
当我们的代码中没有将类型实例赋值给接口变量时，编译器没有需要校验的上下文，自然不会触发接口实现的检查。因为Go的接口实现是隐式的，一个类型可能实现了多个接口，也可能暂时没有用到任何接口，编译器不需要在类型定义阶段就做全量的接口匹配检查，这也能提升编译效率。
如果我们需要提前确认某个类型是否实现了指定接口，可以使用编译期断言的方式，在代码中显式做一次无意义的赋值，让编译器帮我们检查：
// 编译期断言：确认Dog实现了Animal接口
var _ Animal = Dog{}
// 如果Dog没有实现Animal，上面这行代码会在编译时报错
// 这行代码不会生成运行时的额外逻辑，仅用于编译检查
常见误区说明
有些开发者会误以为只要定义了接口和对应的类型，编译器就会自动检查实现情况，实际上并非如此。只有当类型被用在接口相关的上下文中时，检查才会触发。另外需要注意，接口的方法集合是严格的，少实现一个方法、方法签名不匹配（比如参数、返回值类型不同）都会导致实现判定失败。
比如下面的例子中，Cat的Speak方法返回值是int，和Animal接口要求的string返回值不匹配，此时如果没有赋值操作，编译器同样不会报错：
type Cat struct {}
// Speak返回值类型和Animal接口要求的不一致
func (c Cat) Speak() int {
return 1
}
// 如果没有下面的赋值代码，编译器不会提示Cat未实现Animal接口
// var _ Animal = Cat{} // 解开注释后编译会报错
总结
Go接口未显式赋值时编译器不报错，核心原因是Go的接口实现是隐式的，编译器的接口检查仅在类型被赋值给接口变量或显式做编译期断言时才会触发。这种设计平衡了代码的灵活性和编译效率，开发者如果需要提前确认接口实现情况，可以使用无意义的赋值断言来让编译器帮忙校验。