Wire 仅生成纯 Go 初始化代码，不依赖运行时 DI；其核心是静态分析 New 函数签名并硬编码调用链，支持接口绑定需显式使用 wire.Bind()，错误须在声明侧修正。
wire 不生成运行时逻辑，只生成纯 Go 初始化代码 —— 你看到的 wire_gen.go 就是最终产物，没有中间容器、不反射、不注册，也不依赖任何 runtime DI 库。
为什么 wire_gen.go 里全是手写风格的 NewXXX() 调用？
因为 wire 的本质就是“帮你把初始化链写全”。它静态扫描 wire.Build() 列出的所有 NewX 函数签名，按返回类型和参数类型匹配依赖关系，然后硬编码调用顺序。比如：
-
NewDB()返回*sql.DB -
NewCache(db *sql.DB)接收*sql.DB -
NewService(cache Cache)接收Cache（假设是接口）
那么生成的代码就是：
db := NewDB()
if db == nil {
return nil, errors.New("failed to create DB")
}
cache := NewCache(db)
if cache == nil {
return nil, errors.New("failed to create Cache")
}
svc := NewService(cache)
所有错误检查、变量命名、调用顺序都展开为直白语句 —— 所以 IDE 能跳转、调试器能逐行跟、review 时一眼看懂。
立即学习“go语言免费学习笔记（深入）”；
wire.Build() 报错但指向 wire_gen.go 行号，该修哪？
别碰 wire_gen.go。这个文件是生成结果，不是源码。所有错误根源都在声明侧：
- 错误信息含
cannot find provider for *http.Client→ 检查是否漏写了NewHTTPClient()，或它没导出（首字母小写） - 错误说
no required function found that returns type ...→ 看返回类型是否完全一致（io.Reader≠io.ReadCloser），或函数返回了(T, error)但wire.Build()里没列对 - 错误指向
wire_gen.go:42→ 回查wire.go中对应wire.Build()调用那一行，以及它引用的ProviderSet或直接列出的函数
改完 NewX 签名后，必须重新运行 wire，否则 wire_gen.go 会残留旧逻辑，导致编译失败或类型不匹配。
如何让 wire 支持接口绑定（比如 Cache 接口用 *RedisCache 实现）？
靠 wire.Bind()，不能靠类型自动推导。Wire 只做精确类型匹配，interface{} 或接口类型不会被自动满足：
var CacheSet = wire.NewSet(
wire.Bind(new(Cache), new(*RedisCache)),
NewRedisCache,
)
注意两点：
-
wire.Bind()第一个参数是new(Interface)，第二个是new(*Concrete)，不能反过来 -
NewRedisCache必须在同一个wire.NewSet或wire.Build中显式列出，否则 Wire 找不到实现
如果想按环境切换实现（如 dev 用 *MemCache，prod 用 *RedisCache），得用 build tag 分开定义多个 wire.Build() 变体，而不是运行时判断。
生成命令怎么跑才不踩坑？
wire 命令默认只处理当前目录下的 *.go 文件，且要求 wire.go 和目标 injector 函数在同一个 package：
- 确保
wire.go文件顶部有// +build wireinject构建约束（防止被普通构建加载） - 执行
wire前，先go mod tidy，避免因缺失依赖导致 provider 解析失败 - 常用命令是
wire -generate（生成）或wire diff（预览差异），不要用go generate除非你加了//go:generate wire注释且路径正确
生成失败时，wire 会输出具体缺失类型或循环依赖位置，错误信息里带行号的那行，一定在 wire.go 或某个 provider 文件里 —— 这是唯一要改的地方。
Wire 的复杂点不在语法，而在类型精度：它不猜、不擦除、不妥协。一个 *sql.DB 和一个 sql.Scanner 即使底层都是 database/sql 相关，只要类型不完全一致，就无法连边。这点容易被忽略，但恰恰是它可读、可调试、无 runtime 开销的代价。
