var _ Interface = (*Struct)(nil) 能在编译期报错，本质是让编译器执行赋值类型检查：将 (*Struct)(nil) 作为右值尝试赋给 Interface 类型的空白变量，若 *Struct 未实现 Interface 全部方法，编译器立即报错；这是 Go 原生静态类型检查，高效精准零开销。
为什么 var _ Interface = (*Struct)(nil) 能在编译期报错
它本质是让编译器执行一次“赋值类型检查”：把 (*Struct)(nil) 当作右值，尝试赋给左值 Interface 类型的空白变量。如果 *Struct 没实现 Interface 的所有方法，编译器立刻报 cannot use (*Struct)(nil) (type *Struct) as type Interface in assignment: *Struct does not implement Interface。
这不是运行时反射，也不是额外工具链，就是 Go 原生类型系统在做静态检查——所以快、准、无开销。
- 必须用
(*Struct)(nil)，不能用Struct{}或&Struct{}：前者是具体值类型，后者虽是指针但可能触发零值初始化逻辑（比如含 sync.Mutex 字段会 panic），nil最轻量且安全 - 接口必须是**导出的**（首字母大写），否则跨包无法校验；若在校验包内，非导出接口也能用，但实际意义不大
- 该语句必须出现在包级作用域（即函数外），否则编译器不把它当作类型约束检查点
放在哪里才真正生效：位置和包作用域很关键
这行代码不是“写上去就完事”，它得被编译器“看到”并参与类型推导。最常见失效场景是把它塞进函数里，或者放在未被构建的条件编译块中。
- 必须写在
.go文件顶层（package 语句后、任何 func 前），且该文件会被go build或go test加入编译流程 - 如果结构体和接口在不同包，校验语句**必须写在结构体所在包**（不是接口包）：因为只有实现方才知道自己有没有漏方法，接口包无权强制实现
- 测试文件（
_test.go）里写也有效，但仅对测试构建生效；想确保主构建就失败，就得放在非_test.go文件中
和 go vet / implements 工具比有什么区别
var _ I = (*T)(nil) 是唯一能 100% 确保“此处声明即兑现”的机制。其他方式全是补救或提示：
立即学习“go语言免费学习笔记（深入）”；
-
go vet不检查接口实现，它专注常见错误模式（如 printf 参数不匹配） - 第三方工具如
implements或 IDE 提示依赖 AST 分析，可能漏掉泛型参数化接口、嵌套嵌入、或方法签名因小写字母差异（如Foo()vsfoo()）而误判 - 运行时 panic（如
if _, ok := x.(I); !ok { panic(...) }）已经晚了，上线后才暴露，违背“早失败”原则 - 这个技巧对泛型接口同样有效，只要实例化后的具体类型满足约束即可，例如
var _ List[string] = (*MyList)(nil)
容易被忽略的细节：嵌入、指针接收者、方法集
很多编译期校验失败，其实不是语法写错，而是没理解 Go 的方法集规则。
- 如果接口方法定义在
*T上（指针接收者），那么只有*T实现该接口，T不算；所以校验必须用(*T)(nil)，不能用T{} - 如果结构体嵌入了另一个类型，嵌入字段的方法是否导出、接收者是指针还是值，都会影响最终方法集——校验语句只反映最终结果，不会告诉你“哪条方法没实现”，得自己逆向排查
- 注意大小写：接口里定义的是
Read(p []byte) (n int, err error)，结构体方法写成read(p []byte)...（小写）就完全不匹配，且不会报错（因为是未导出方法），校验语句照样过——这是静默失败，只能靠 Code Review 或单元测试覆盖
真正难的不是写这一行，而是写完之后发现它没报错，但运行时却 panic —— 那大概率是方法签名拼错了，或者接收者类型和接口期待的不一致。这时候别怀疑语法，先 go tool compile -S 看方法集，或者用 go doc 对照接口定义逐字核对。
