纯编译期依赖注入在C++中必须使用std::tuple、std::index_sequence和可变参数模板组合实现类型安全的依赖装配，因模板参数仅支持类型/值/模板，不支持运行时对象；依赖注入实际发生在构造函数或工厂函数中，模板仅组织类型依赖图，且需显式指定依赖类型以保障编译期错误定位与契约清晰性。
纯编译期依赖注入在 C++ 里无法绕过 std::tuple、std::index_sequence 和可变参数模板的组合使用；它不是“运行时 DI 框架的编译期移植”，而是用类型系统把依赖关系编码进模板参数，靠实例化时机触发构造。
为什么不能直接用 class 模板参数传入依赖对象
模板参数只能是类型、值（整型/指针/引用）、或模板，不能是运行时对象。你写 Container<myservice myrepo></myservice> 是合法的，但写 Container<my_service_instance my_repo_instance></my_service_instance> 会编译失败——后者不是模板实参的有效形式。
所以真正的“注入”发生在构造函数或工厂函数里，模板只负责组织类型依赖图：
-
MyService类型必须提供无参构造函数，或其构造所需的所有依赖类型也已作为模板参数传入 - 若依赖需定制构造（如带配置参数），必须把参数类型（而非值）塞进模板参数包，再在内部用
constexpr或static inline变量还原 - 否则你会遇到
error: no matching constructor，且错误位置深埋在std::get<n>(deps)</n>展开栈里，很难定位
如何用 std::tuple + std::index_sequence 实现依赖自动装配
核心思路是：把所有依赖类型打包成 std::tuple，再用 std::make_from_tuple 或手动展开调用构造函数。关键不在“存”，而在“按需取并转发”。
立即学习“C++免费学习笔记（深入）”；
示例节选（省略 SFINAE 保护）：
template <typename... Deps>
struct Container {
std::tuple<Deps...> deps;
template <size_t... I>
auto make_impl(std::index_sequence<I...>) {
return ServiceType{std::get<I>(deps)...};
}
auto make() { return make_impl(std::index_sequence_for<Deps...>{}); }
};
注意点：
-
std::get<i>(deps)</i>返回的是左值引用，若ServiceType构造函数需要右值（如移动语义），得改用std::move(std::get<i>(deps))</i> - 如果某个依赖类型本身是
const或引用类型（如const Config&），std::tuple会原样保留，但std::get取出后必须匹配签名，否则报cannot bind non-const lvalue to const std::index_sequence_for<deps...> 是 C++14 起才稳定可用，C++11 需手写递归别名模板模拟</deps...>
如何支持“单例生命周期”和“每次请求新实例”混用
编译期 DI 不天然区分生命周期——它只管类型和构造逻辑。生命周期控制必须显式编码进模板结构中，常见做法是分两层：
- 底层类型系统：定义
Singleton<t></t>和Transient<t></t>两个包装器，它们都继承自同一接口（如ServiceBase<t></t>），但构造/获取方式不同 - 上层容器：用
std::tuple存的是Singleton<t></t>实例（即静态存储对象），而Transient<t></t>则只存类型信息，在make()时现场构造 - 若混用不当（比如把
Transient<t></t>当作Singleton<t></t>放进 tuple），会导致std::get失败，因为 tuple 元素类型不匹配
一个容易被忽略的细节：Singleton<t></t> 的静态实例必须定义在 .cpp 文件里，否则多个 TU 包含该头文件会引发 ODR 违规（multiple definition）。
为什么不用 auto 推导依赖类型而坚持显式模板参数
看起来可以写 Container<auto auto></auto>（C++20），但实际不可行：
-
auto在模板参数位置仅支持非类型模板参数（NTTP），且限于字面量类型（int、指针、枚举等），不能用于类类型 - 即使未来支持，也会丢失依赖拓扑信息——编译器无法从
auto推出哪个参数对应哪个服务，导致std::get和std::get含义模糊 - 显式写
Container<database logger></database>不仅让 IDE 能跳转、让文档生成工具可提取，更重要的是让错误信息指向具体类型，而不是一串type-parameter-0-0
类型即契约。省略它看似省事，实则把调试成本从编译错误转移到了链接期或运行时未定义行为上。
