该文提出五种编译期依赖注入技术：一、模板元编程构建零开销依赖注册表；二、可变参数模板实现依赖图递归解析；三、注入点宏与sfinae校验强制声明依赖；四、constexpr单例管理器保障唯一实例；五、环路检测模板编译期识别循环依赖。

一、使用模板元编程构建依赖注册表

该方案通过特化模板结构体在编译期建立类型到实例构造逻辑的映射关系，所有绑定信息不产生运行时开销。依赖注册表以嵌套模板别名形式存储工厂函数，支持无参构造与参数转发两种模式。

1、定义空基类模板 template struct dependency_registry;

2、对具体服务类型 S 特化 registry，声明静态成员函数 create() 返回 std::unique_ptr

3、在特化体内使用 constexpr if 判断是否支持默认构造，若否，则要求用户提供带参构造的 lambda 并捕获依赖项类型

二、基于可变参数模板的依赖解析器实现

该组件在编译期展开依赖图，递归推导每个被注入类型的构造所需参数列表，并生成对应的工厂调用链。解析过程完全由 decltype 和 std::declval 驱动，不触发任何实际构造。

1、声明解析器模板 template struct resolver;

2、为每个需注入的类 C 提供 partial specialization，其中 using type = decltype(C{std::declval(), std::declval()...});

3、在 type 别名中引用已注册的依赖类型 D1、D2 等，促使编译器检查其是否已在 registry 中定义

三、注入点标记与编译期校验机制

通过自定义属性宏和 SFINAE 检测，在类定义阶段强制声明其依赖项，使未注册依赖在编译早期报错。该机制避免隐式依赖引入运行时异常风险。

1、定义宏 #define INJECTABLE(...) using inject_dependencies = std::tuple<__va_args__>;

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

2、在目标类内部使用该宏列出全部依赖类型，如 INJECTABLE(IServiceA*, IServiceB&);

3、添加静态断言 static_assert(has_registry_v<:tuple_element_t inject_dependencies>>, "Missing registry for first dependency");

四、编译期单例生命周期管理器

利用 static constexpr 变量与模板参数唯一性保证每个绑定类型仅存在一份实例，且该实例地址在链接期确定。生命周期由程序启动至终止全程持有，无需手动释放。

1、定义管理器模板 template struct singleton_storage;

2、在其内部声明 static inline constexpr auto instance = []{ return T{}; }();

3、为需要延迟初始化的类型重载 operator->，返回指向 instance 的指针，并加入 std::is_constructible_v 检查

五、依赖图环路检测模板

借助模板递归展开与类型集合比较，在编译期识别循环依赖路径。当某类型 A 依赖 B，而 B 的依赖链中再次出现 A 时，触发 static_assert 失败。

1、定义检测模板 template struct cycle_detector;

2、在偏特化中使用 std::disjunction_v<:is_same_v path>...> 判断当前 Target 是否已在路径中

3、若未命中，则对 Target 的每个依赖 D 展开新的 cycle_detector 实例进行递归检查

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！