C++ 实现轻量级编译期依赖注入系统 _ 模板特化解耦模式实现【源码】-C++-PHP中文网

std::is_constructible_v比requires更适合判断编译期可注入性，因为它复用类型系统已有逻辑、稳定轻量、报错位置精准；requires易漏隐式转换、SFINAE友好性差且编译器诊断不一致。

c++ 实现轻量级编译期依赖注入系统 _ 模板特化解耦模式实现【源码】

为什么 `std::is_constructible_v` 比 `requires` 更适合判断编译期可注入性

依赖注入系统在编译期验证组件能否被构造，是避免运行时 panic 的关键。用 requires 写约束容易漏掉隐式转换、SFINAE 友好性差，且 clang 和 gcc 对嵌套 requires 的诊断信息不一致；而 std::is_constructible_v 直接复用类型系统已有逻辑，稳定、轻量、报错位置精准。

实操建议：

对每个注入点（如 inject()），先用 static_assert(std::is_constructible_v, "...") 封装校验
避免在模板参数中直接写 requires std::is_constructible_v —— 这会让错误堆栈跳过你的注入层，定位困难
若需支持 move-only 类型（如 std::unique_ptr），必须显式传入右值引用形参，std::is_constructible_v 才能正确匹配

`inject()` 如何通过偏特化绕过虚函数和 RTTI

轻量级的核心是零运行时开销。不靠 std::any 或基类指针，而是靠模板参数推导 + 静态多态：每个 T 对应唯一一个 inject_impl 偏特化实例，其 get() 返回 static T instance{...}。

常见错误现象：

多个翻译单元定义同名 static T → ODR 违规 → 链接失败或未定义行为
忘记给 inject_impl 加 inline → C++17 起必须显式声明为 inline 才允许在头文件中定义
使用 thread_local static T 误以为能线程隔离 → 注入系统本身不承诺线程安全，需用户自行控制生命周期

示例关键片段：

template <typename t>
struct inject_impl;

template 
struct inject_impl<database> {
    inline static Database instance{config()};
};</database></typename>

如何让 `inject()` 支持依赖传递但不触发递归实例化

当 ServiceA 构造需要 ServiceB，而 ServiceB 又依赖 ServiceA，编译器会因无限展开模板导致 stack overflow 或 “template instantiation depth exceeded”。这不是循环依赖检测问题，而是编译期求值路径失控。