Go接口赋值编译不报错但运行panic，因隐式实现机制：接口新增方法后旧类型未补全，编译器仅校验实际调用路径；可用var _ MyInterface = (*MyType)(nil)强制编译期检查。
Go 接口赋值时为什么编译不报错，但运行时 panic？
因为 Go 的接口实现是隐式（implicit）的——只要类型实现了接口要求的所有方法，就自动满足该接口，无需显式声明 implements。这带来便利，也埋下隐患：当接口新增方法，而旧实现没补全时，编译器仍允许赋值（因未实际调用新方法），但一旦运行中触发该方法调用，就会 panic。
典型错误现象：panic: interface conversion: *MyType is not MyInterface: missing method NewMethod，往往在升级依赖或重构接口后突然出现。
- 使用场景：常见于 SDK 升级（如
github.com/aws/aws-sdk-go-v2/service/s3接口变更）、自定义中间件适配器、mock 测试桩更新滞后 - 关键点：Go 编译器只在校验「当前代码路径中实际发生的接口转换」，不会扫描整个项目去检查所有潜在实现
- 参数/行为差异：
var _ MyInterface = (*MyType)(nil)这种“空白赋值”可强制编译期校验，但仅对包内可见类型生效；跨包类型需在调用方显式验证
如何让 Go 编译器提前发现接口实现缺失？
靠静态断言（blank identifier + 类型赋值）是最轻量、最可靠的方式，它把隐式实现变成显式契约检查。
实操建议：
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
立即学习“go语言免费学习笔记（深入）”；
- 在实现类型的所在文件末尾添加：
var _ MyInterface = (*MyType)(nil)—— 注意必须是(*MyType)（指针类型），除非接口方法接收者全是值类型 - 如果类型定义在其他包，且你无法修改源码（如第三方 struct），可在你的包里写：
var _ MyInterface = &thirdparty.Type{}，前提是该 struct 满足接口（否则编译失败） - 避免写成
var _ MyInterface = MyType{}：若接口方法接收者为指针，则值类型不满足，编译报错，但错误信息易被忽略 - CI 中可加
go vet -shadow辅助，但它不检查接口实现，仅防变量遮蔽
go vet 和 staticcheck 能否替代手动断言？
不能完全替代。它们能发现部分明显问题（如方法签名拼写错误、返回值数量不匹配），但对「接口方法存在但签名细微不一致」（比如参数名不同、error vs errors.Error）或「新增方法未实现」这类问题无能为力。
原因在于：这些工具不建模接口的完整契约约束，也不做跨包的实现遍历分析。
-
go vet对接口兼容性基本不检查，它的copylock或printf等检查和接口无关 -
staticcheck有SA1019（过时标识符）等规则，但没有 SA 类规则覆盖「接口实现完整性」 - 真正起作用的仍是那行
var _ MyInterface = (*MyType)(nil)—— 它简单、确定、零依赖
测试中 mock 接口时容易漏掉哪些兼容性细节？
Mock 往往只实现测试所需方法，但上线后真实调用链可能触发未 mock 的方法，导致 panic。这不是测试不充分，而是 mock 本身破坏了接口契约的静态可检性。
- 常见错误：用
gomock或手工 struct mock 时，只实现Do()，但忘了接口其实还有Close()或WithContext() - 正确做法：mock 结构体也应加断言 ——
var _ MyInterface = &MockMyInterface{}，确保它真能满足接口 - 性能影响：断言在编译期完成，零运行时开销；但若 mock 放在
test文件中，主代码无法引用，此时需把 mock 移到internal/mocks并导出，或改用接口嵌套 + 匿名字段继承来复用断言
var _ Interface = (*Type)(nil) 钉死的。漏掉它，等于把契约检查推迟到线上调用栈崩掉那一刻。 
