依赖注入作为一种控制反转手段，在C++中通常依赖运行时工厂或第三方反射库。但在对性能和二进制体积敏感的系统里，编译期通过模板完成的注入更具吸引力。它把依赖图的解析完全交给编译器，生成的直接是构造好的对象，没有虚表查找也没有字符串匹配。
为什么需要编译期依赖注入
运行期依赖注入框架如Java的Spring，依靠反射和配置文件在程序启动后组装对象。C++缺乏标准反射，多数自研方案只能用宏注册类名、用map存储工厂函数，这会带来额外的内存占用与分发开销。在高频交易或嵌入式环境中，这种开销不可接受。
模板编译期注入的核心思想是：把“需要什么类型的依赖”编码进类型系统。编译器在实例化模板时，递归地推导出每个依赖的构造方式，最终展开为一串嵌套的构造调用。由于所有逻辑都在编译期确定，二进制中不会留下任何注入框架本身的痕迹。
核心设计：类型列表与构造器萃取
我们首先定义一套类型列表，用来描述某个类所依赖的其他类型。通过偏特化与模板递归，可以提取构造函数参数，并依次构造它们。
下面是一段简化的萃取代码，展示如何获取构造参数并递归创建。注意所有HTML特殊字符已转义，模板语法保持正确。
#include <type_traits>
#include <utility>
// 类型列表
template<typename... Ts>
struct TypeList {
using Types = TypeList<Ts...>;
};
// 萃取构造参数（简化：假设单构造）
template<typename T, typename... Args>
struct CtorTraits {
static T create(Args&&... args) {
return T(std::forward<Args>(args)...);
}
};
// 递归构造依赖
template<typename T>
struct Resolver {
template<typename... Deps>
static T resolve() {
return CtorTraits<T, Deps...>::create(Resolver<Deps>::resolve()...);
}
};
// 示例类
struct Engine { Engine() {} };
struct Car { Car(Engine&) {} };
int main() {
Car car = Resolver<Car>::resolve<Engine>();
return 0;
}
上面代码里，Resolver递归调用自身来生成Engine，再传给Car的构造。实际架构中我们会用if constexpr判断是否有默认构造，从而避免强制写出所有依赖。
这种萃取方式优点在于完全类型安全：如果某个依赖没有对应的构造路径，编译会直接失败。缺点是错误信息较长，需要通过static_assert给出友好提示。
条件注册与循环依赖检测
在复杂系统中，某些依赖可能因编译开关而存在或不存在。我们可以用constexpr变量配合if constexpr在类型层面做条件注册。
循环依赖是注入系统的经典陷阱。由于模板实例化是递归的，若出现A依赖B、B又依赖A，编译器会无限展开。我们可以在Resolver中维护一个“正在构造”的类型集合，用static_assert在展开过深时报错。
#include <type_traits>
template<typename... InProgress>
struct Stack {};
template<typename T, typename Stack>
struct DetectCycle;
template<typename T, typename... Ts>
struct DetectCycle<T, Stack<Ts...>> {
static_assert(!std::is_same_v<T, Ts>..., "cycle detected in dependency");
using type = void;
};
// 使用：在Resolver递归时把T加入Stack
template<typename T, typename... Done>
struct ResolverSafe {
using check = DetectCycle<T, Stack<Done...>>;
// 继续解析依赖...
};
通过把已访问类型放进Stack，每次递归前先断言当前类型不在栈中，即可在编译期拦截循环依赖。这比运行期抛异常更早暴露设计错误。
条件注册则可结合特性宏：例如只有定义了USE_NET的模块才把Network依赖加入列表，否则用NullNetwork桩类替代，保持接口一致。
完整容器骨架与使用示例
把前述部件组合，可得到一个极简注入容器。用户只需声明类的依赖列表，容器自动完成组装。
#include <iostream>
struct Log { void write() { std::cout << "logn"; } };
struct Service { Service(Log& l) : log(l) {} void run() { log.write(); } Log& log; };
template<typename T, typename... Deps>
T make_injected() {
if constexpr (sizeof...(Deps) == 0) {
return T{};
} else {
return T(make_injected<Deps>()...);
}
}
int main() {
auto svc = make_injected<Service, Log>();
svc.run();
return 0;
}
这个骨架展示了编译期注入的本质：make_injected根据依赖顺序展开构造。真实项目中可加入生命周期管理标签（如单例、瞬时）通过模板标签区分，但依旧零运行时成本。
整体来看，基于模板的编译期依赖注入适合依赖图稳定、性能敏感的C++项目。它用稍长的编译时间和复杂的报错信息，换来了无与伦比的运行时效率与类型安全。