C++标准下无法实现运行时反射,需手动注册工厂函数到std::map,基类须有虚析构;typeid和__PRETTY_FUNCTION__不可用于键名;动态库需显式初始化;注册表读多写少,应线程安全;悬空指针需设计约束防范。

纯 C++ 标准下无法直接实现“字符串到类实例”的运行时反射——因为类名、构造函数信息在编译后不保留。所谓“插件式反射引擎”,本质是**手动注册 + 工厂函数 + 字符串分发**,不是魔法,而是可控的映射表管理。
如何用 std::map 和函数指针实现类名到构造器的映射
核心是把每个可实例化的类,对应一个无参(或统一参数)的工厂函数,并用字符串键存进 std::map<:string std::function>></:string>。注意:基类必须有虚析构,否则 delete 派生对象会未定义行为。
实操建议:
- 定义统一接口基类,如
class PluginBase { public: virtual ~PluginBase() = default; }; - 每个插件类继承它,提供静态工厂函数:
static PluginBase* create() { return new ConcretePlugin; } - 注册时用字符串字面量(避免拼写错误):
registry["json_parser"] = &JsonParser::create; - 调用前务必检查键是否存在:
if (registry.find(name) != registry.end()) { auto* p = registry[name](); }
为什么不能直接用 typeid 或 __PRETTY_FUNCTION__ 自动生成类名
typeid(T).name() 返回的是编译器特定的 mangled 名(如 "N5tools12JsonParserE"),不可读、不可控、跨平台不一致;__PRETTY_FUNCTION__ 是编译期字符串字面量,但含模板/命名空间等冗余信息,且无法在运行时用于查找——你没法把 __PRETTY_FUNCTION__ 当作 key 去查 map,因为它的值在每次使用时才展开,不是常量表达式。
立即学习“C++免费学习笔记(深入)”;
常见错误现象:
- 用
typeid(obj).name()作为注册键,结果不同编译器输出不同,导致find()总失败 - 试图把
__FUNCTION__直接塞进 map,编译报错:非字面量类型无法作为模板参数或 static_assert 条件 - 依赖宏自动生成注册代码,但没处理头文件重复包含,导致多次注册同一类,覆盖前一次
插件动态加载(dlopen/LoadLibrary)时,如何保持注册表同步
动态库中的类注册代码不会自动执行——C++ 标准不保证 DLL/so 的全局对象构造顺序或是否触发。必须显式导出一个初始化函数,在主程序加载库后手动调用。
实操建议:
- 在插件库中定义 C 风格导出函数:
extern "C" void plugin_init(std::map<:string std::function>>& reg) { reg["xml_reader"] = &XmlReader::create; }</:string> - 主程序中用
dlopen加载后,用dlsym获取该函数地址并调用 - Windows 下注意
LoadLibrary后需用GetProcAddress,且函数声明必须用extern "C"防 name mangling - 避免在插件库中用静态局部变量做注册(如 Meyer 单例),因 DLL 卸载后其析构可能早于主程序清理注册表
性能与线程安全:注册表读多写少,但首次查找要防竞争
注册通常只在启动或插件加载时发生,而实例化是高频操作。所以注册表本身应设计为只读快查结构,写操作需加锁,读操作尽量无锁。
实操建议:
- 用
std::shared_mutex(C++17)保护注册过程,查找用共享锁;若仅支持 C++11,可用std::mutex+ 双检锁,但注意std::call_once更稳妥 - 不要在
create()工厂函数里做耗时操作(如文件读取、网络请求),那不属于反射层职责 - 如果插件类构造开销大,考虑返回
std::unique_ptr<pluginbase></pluginbase>并启用 move 语义,避免不必要的拷贝 - 调试时可在查找失败时抛出带完整类名和当前注册表 keys 的异常:
throw std::runtime_error("Unknown plugin: '" + name + "', available: [" + join(keys) + "]");
真正的难点不在注册逻辑本身,而在于确保所有插件模块的生命周期与主程序对齐——特别是动态库卸载时,已注册的工厂函数指针会变成悬空指针。没人帮你自动清理,得靠设计约束(比如禁止卸载已注册插件)或引用计数机制来兜底。


















