C++无原生运行时反射，需用宏实现类名到构造函数的静态映射；typeid::name()返回不可靠mangled名且无法反向构造，REGISTER_CLASS宏在全局对象构造期自动注册无参构造函数到std::map，调用create_instance时查表并返回std::unique_ptr<Base>确保安全。
C++ 本身不支持运行时类型反射，但用宏可以伪造出“类型名字符串 → 构造函数指针”的映射关系，关键在于让编译器在编译期把类名和构造逻辑绑定起来，而不是指望运行时查表。
为什么不能直接用 typeid 或 std::type_info::name() 做反射
因为 std::type_info::name() 返回的是实现定义的 mangled 名（比如 "St6vectorIiSaIiEE"），不可读、不可靠、跨编译器不一致；typeid 也不能反向构造对象——它只认类型，不认识字符串。想靠它做 create("MyClass")，纯属走不通。
- 所有基于
typeid的“反射”方案，本质都是手动维护字符串到工厂函数的映射，不是真反射 - 宏的作用，是帮你少写重复的手动映射代码，避免漏注册、拼错名
- 真正起作用的是宏展开后生成的静态注册逻辑，不是宏本身有魔法
用 REGISTER_CLASS 宏自动注册类到全局工厂
核心思路：每个类调用一次宏，在程序启动前（全局对象构造阶段）把它的名字和无参构造函数指针塞进一个静态 std::map<:string std::function>()>></:string> 中。
示例定义：
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
// base.h
struct Base {
virtual ~Base() = default;
};
extern std::map<std::string, std::function<std::unique_ptr<Base>()>> g_class_registry;
#define REGISTER_CLASS(cls) \
static std::unique_ptr<Base> make_##cls() { return std::make_unique<cls>(); } \
struct cls##_registrar { \
cls##_registrar() { \
g_class_registry[#cls] = &make_##cls; \
} \
}; \
static cls##_registrar g_registrar_##cls;
使用方式（在类定义后、任何 .cpp 文件中）：
struct Dog : Base {};
REGISTER_CLASS(Dog);
struct Cat : Base {};
REGISTER_CLASS(Cat);
- 宏展开后会为每个类生成一个静态局部 registrar 对象，其构造函数自动注册
-
#cls是字符串化操作，确保类名和注册名严格一致，避免手输错误 - 注意：必须在单个翻译单元里完成注册（即
REGISTER_CLASS和类定义最好在同一个 .cpp，或确保该 .cpp 被链接） - 如果类构造函数带参数，宏得改成模板或额外传入 lambda，否则无法通用
如何安全地根据字符串创建对象（create_instance）
注册只是铺路，真正调用时得检查键是否存在，避免崩溃：
std::unique_ptr<Base> create_instance(const std::string& name) {
auto it = g_class_registry.find(name);
if (it == g_class_registry.end()) {
return nullptr; // 或抛 std::runtime_error("unknown class: " + name)
}
return it->second();
}
- 返回
std::unique_ptr<Base>是为了统一管理生命周期，调用方不用关心具体类型析构 - 不要返回裸指针，否则容易忘记
delete；也不要返回值对象（切片问题） - 若需支持带参构造，可扩展宏为
REGISTER_CLASS_ARGS(cls, ...)，内部保存std::function<std::unique_ptr<Base>(Args...)>，但调用侧接口就得变 - 多线程下首次访问注册表需加锁（
std::call_once或静态局部变量初始化更稳妥）
宏反射的硬伤和绕不开的坑
这套方案看似简洁，但几个现实约束非常紧：
- 所有被注册的类必须继承同一基类（如
Base），且构造函数签名要能统一（通常只能是无参，或全用同一种参数包） - 宏注册依赖全局对象构造顺序，若在
main()之前就有其他静态对象试图调用create_instance，可能遇到未初始化的g_class_registry - 类名必须是合法标识符，不能含空格、点、模板参数（
MyVec<int>这种无法直接注册） - 调试时看不到宏展开结果？用
g++ -E或 clang-Xclang -ast-dump查看真实生成代码，别猜
最常被忽略的一点：宏注册只对定义它的翻译单元生效；如果把 REGISTER_CLASS 写在头文件里又被多个 .cpp 包含，会导致重复定义错误（ODR violation）。必须确保每个类只注册一次，且注册语句落在 .cpp 里。
