C++ 实现基于模板的自动派发依赖注入系统架构及其源码完整实现【源码】-C++-PHP中文网

C++17+纯模板自动依赖注入可行但非开箱即用，需编译期类型图构建与运行时生命周期管理结合，必须处理循环依赖、对象销毁顺序、多例/单例混用等问题，并支持实例/工厂/类型三层注册及线程安全。

c++ 实现基于模板的自动派发依赖注入系统架构及其源码完整实现【源码】

纯模板实现的自动派发依赖注入，在 C++17+ 中可行，但不等于“开箱即用”——它本质是编译期类型图构建 + 运行时对象生命周期管理的混合体，直接套用 std::function 或裸指针会立刻掉进对象销毁顺序、循环依赖、多例/单例混用等坑里。

为什么不能只靠 `std::make_shared` 和模板递归推导？

模板可以推导构造参数类型，但无法自动判断：该类型是否已注册、是否需要延迟构造、是否应复用已有实例。比如 ServiceA 依赖 ServiceB，而 ServiceB 又依赖 ServiceA，单纯递归实例化会导致无限模板展开或栈溢出。

编译期无法检测循环依赖，只能靠运行时拓扑排序或弱引用破环
std::is_constructible_v 只能验证能否构造，不能验证“当前上下文是否允许构造”
若某依赖需从配置加载（如 DatabaseConfig），模板无法内联读取 JSON/YAML —— 必须预留运行时 hook

`injector` 类必须支持三种注册模式

硬编码模板推导只适用于无参或全编译期常量参数的场景。真实服务往往需要运行时参数（如端口号、连接串），因此注册接口必须分层：

register_instance(T&& obj)：接管已有对象生命周期（常见于全局 logger、event loop）
register_factory(std::function<:unique_ptr>()> factory)：延迟构造，可捕获运行时变量
register_type()：仅声明绑定，由 injector 在首次请求时按需调用 Impl 默认构造函数

漏掉任意一种，都会导致某些服务无法注入（例如带 int port 参数的 HttpServer 就不能走 register_type）。

自动派发的核心是 `resolve` 函数的两阶段策略

第一次调用 resolve() 时，不能直接构造，必须先检查是否已在缓存中；若未命中，再解析其构造函数参数类型，逐个递归 resolve —— 但这个过程必须加正在解析中（in_resolving_）标记，否则循环依赖直接崩溃。

C++14

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

下载

使用 std::unordered_map<:type_index std::any> 缓存已构建实例（注意 std::any 不管理多态删除，需配合 std::shared_ptr 存储）
用 std::unordered_set<:type_index> 记录当前调用栈中的类型，每次进入 resolve 前插入、退出时擦除
若在 in_resolving_ 中再次遇到同一类型，抛出 "circular dependency detected" 而非 segfault

示例关键片段：

template <typename t>
std::shared_ptr<t> resolve() {
    auto idx = std::type_index(typeid(T));
    if (instances_.count(idx)) {
        return std::any_cast<:shared_ptr>>(instances_.at(idx));
    }
    if (in_resolving_.count(idx)) {
        throw std::runtime_error("circular dependency detected");
    }
    in_resolving_.insert(idx);
    auto ptr = create_instance<t>(); // 递归 resolve 参数
    in_resolving_.erase(idx);
    instances_[idx] = ptr;
    return ptr;
}
</t></:shared_ptr></t></typename>