17370845950

C++轻量级DI容器通过模板+类型擦除+工厂函数+注册表实现解耦，支持显式注册、一级依赖解析与生命周期管理，强调设计约定而非自动注入。

用C++实现一个轻量级依赖注入容器，核心在于解耦对象创建与使用、支持自动生命周期管理和类型映射。它不依赖宏或反射（C++无原生反射），而是靠模板+类型擦除+工厂函数+注册表来达成。关键不是“完全自动化”，而是让依赖关系显式可配、可测、可替换。

1. 基础设计：注册-解析-生命周期三要素

DI 容器本质是“类型到构建逻辑”的映射表 + 一组策略（单例/瞬态/作用域）。C++ 中需解决：如何存不同返回类型的工厂？如何避免手动 cast？答案是类型擦除（如 std::function<:any> 或自定义 erasure）+ 模板注册接口。

• 用 std::unordered_map<:type_index std::shared_ptr>> 存储已注册的工厂和实例
• 对外暴露 Register(factory) 和 Resolve() 模板方法，内部通过 type_index 查找
• 单例模式在首次 Resolve 时执行工厂并缓存；瞬态每次新建——用枚举或标签模板区分

2. 类型安全注册：用模板推导隐藏 void* 转换

用户不该接触裸指针或类型转换。通过函数模板把用户写的 lambda 或构造器，自动包装成统一的“创建函数”：

template
void Register(Factory&& factory) {
    auto wrapper = [f = std::forward(factory)]() -> std::shared_ptr {
        return std::static_pointer_cast(std::make_shared(f()));
    };
    factories_[typeid(T)] = std::make_shared(wrapper);
}

更实用的做法是注册具体类型而非 void*，比如：

• Register([]{ return std::make_shared(); });
• RegisterSingleton([]{ return std::make_shared(); });

3. 解析依赖：支持构造函数参数自动注入（有限递归）

C++ 无法运行时反射参数，所以“自动注入”需用户辅助：用模板元编程提取构造函数签名，或约定使用标记结构（如 inject）。

更可行的折中方案是：容器只负责一级解析，复杂依赖由用户在工厂中显式调用 Resolve()：

• Register([&](auto& c) { return std::make_shared(c.Resolve(), c.Resolve()); });
• 把容器引用传入工厂，保持可控性与可调试性
• 避免深度递归导致栈溢出或循环依赖静默失败——可在注册时做拓扑检测（简单图遍历）

4. 实际工程建议：别造轮子，优先用成熟方案

生产环境不建议从零手写完整 DI 容器。C++ 生态已有轻量选择：

• di.hpp（header-only，编译期解析，零运行时开销）
• Brigand + Boost.DI（功能完备，支持绑定、作用域、AOP 风格拦截）
• 自己封装一层薄胶水：只实现 Register/Resolve 接口，底层委托给 Boost.DI，便于未来替换

真正重要的不是容器本身，而是团队约定：哪些类必须通过 DI 获取？哪些全局状态必须禁止 new？接口是否足够抽象？这些比语法糖更重要。

基本上就这些。C++ 的 DI 不是魔法，而是用模板和约定把“谁创建谁”这件事从代码里拎出来，让 main() 成为唯一的装配点。不复杂但容易忽略——重点永远在设计，不在容器。