c++模板实现依赖自动注册与解析:通过空基类service标识服务类型,用静态局部unordered_map缓存单例实例,get_service()按type_info哈希自动构造或获取;支持工厂函数延迟注入和特化构造,需显式实例化模板并处理rtti兼容性。

用C++模板实现依赖自动注册与解析
你需要在不修改已有类定义的前提下,让任意带默认构造函数的类能被自动识别为可注入服务,并在运行时按类型精准获取单例实例,避免手动维护工厂映射表或重复编写注册代码。
第一步:定义空基类 Service 作为所有可注入类型的统一标识,不带虚函数、不带成员变量,仅用于类型萃取。
第二步:声明全局无序映射 std::unordered_map<const std::type_info std::shared_ptr>></const>,键为 typeid(T).hash_code() 对应的指针地址,值为类型擦除后的实例指针;该容器必须定义为静态局部变量,确保线程安全初始化。
第三步:编写核心模板函数 get_service<t>()</t>,内部调用 std::type_info::hash_code() 获取类型唯一标识,检查映射中是否存在对应项;若不存在,则执行 std::make_shared<t>()</t> 构造新实例并存入映射——【T 必须有公开默认构造函数,否则编译失败】。
支持非默认构造参数的延迟绑定注入
当某个服务依赖外部配置或运行时参数时,不能直接调用默认构造,需提供可延迟求值的构造逻辑。
方法一:使用 std::function<:shared_ptr>()></:shared_ptr> 类型注册工厂函数。调用 register_factory<t>(factory)</t> 将其存入独立的工厂映射表,后续 get_service<t>()</t> 检测到未实例化且存在工厂时,自动调用该函数生成实例。
方法二:对需要传参的类型特化 get_service 模板,例如 template std::shared_ptr<database> get_service<database>() { return std::make_shared<database>("localhost", 5432); }</database></database></database>;这种写法绕过通用逻辑,适用于固定参数组合场景。
注意:方法二会破坏泛化性,一旦参数变化就必须重新特化,仅建议用于启动期硬编码配置。
跨编译单元的类型信息一致性保障
第一步:在头文件中定义宏 DECLARE_SERVICE(T),展开为 extern template class std::default_delete<t>;</t> 和 extern template std::shared_ptr<t> get_service<t>();</t></t>,强制声明模板实例化符号。
第二步:在每个使用该服务的 .cpp 文件顶部包含此宏,并确保只在一个 .cpp 中实际定义 template std::shared_ptr<t> get_service<t>();</t></t>;【遗漏显式实例化会导致链接时 undefined reference 错误】。
第三步:启用编译器选项 -fno-rtti 时,替换 typeid(T) 为自定义类型 ID 生成器(如基于 __PRETTY_FUNCTION__ 的编译期哈希),否则程序崩溃。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











