C++无法像Python/Java那样直接通过字符串调用成员函数，因其编译后函数名被mangled、RTTI不提供成员列表、decltype等仅能验类型而不能枚举；所有反射实现均依赖编译期宏或特化手动注册成员信息。
C++ 本身没有运行时反射，所谓“自动绑定成员函数”必须靠编译期元编程 + 手动注册或宏辅助，否则无法绕过类型擦除和符号缺失问题。
为什么不能像 Python/Java 那样直接 get_member("func") 调用？
C++ 编译后成员函数名被 mangling，类布局无标准 RTTI 支持（std::type_info 不提供成员列表），decltype 和 std::is_member_function_pointer_v 只能验类型，不能枚举。
- RTTI 默认不包含成员名、参数类型、访问权限等信息
- 模板推导可获函数签名，但前提是已知成员变量/函数名（即你得写
&T::func） - 所有“反射”实现本质是：用宏或特化在编译期把成员信息显式登记到某个 registry 中
用宏 + constexpr 字符串实现最简成员函数注册表
核心思路：每个类用宏展开为一组 constexpr 字符串 + 类型别名 + 绑定 lambda，统一塞进一个 std::array 或 constexpr 结构体数组中。
#define REFLECT_METHOD(cls, name) \
{ #name, [](void* obj) -> void* { \
return static_cast<cls*>(obj)->name(); \
} }
<p>struct MethodDesc {
const char<em> name;
void</em> (<em>fn)(void</em>);
};</p><p>template<typename T>
constexpr auto get_methods() {
if constexpr (std::is_same_v<T, MyClass>) {
return std::array{ REFLECT_METHOD(MyClass, do_work), REFLECT_METHOD(MyClass, reset) };
} else {
return std::array<MethodDesc, 0>{};
}
}
- 宏生成字符串字面量和类型安全的调用闭包（注意：lambda 不能直接存入普通容器，此处仅示意；实际需用
std::function或类型擦除） -
constexpr数组要求所有分支都编译通过，所以要用if constexpr分离特化 - 返回裸指针
void*是为了统一签名，但丢失了返回值类型 —— 真实项目中建议用std::any或自定义 variant 包装
调用时如何避免 static_cast 错误和生命周期问题？
反射调用本质是“已知对象地址 + 已知方法名 → 安全跳转”，最容易出错的是对象类型不匹配或已析构。
立即学习“C++免费学习笔记（深入）”；
- 务必检查
obj是否非空，且动态类型是否与注册时一致（可用dynamic_cast辅助，但会引入 RTTI 依赖） - 不要对栈对象取地址后长期缓存 ——
void*不带所有权语义，反射表里存的只是临时快照 - 若支持带参调用，参数必须序列化/反序列化；推荐用
std::tuple模板参数包 +std::apply，但需提前约定参数个数上限（如最多 5 个） - 成员函数指针（
ReturnType (Cls::*)(Args...)）比 lambda 更轻量，但调用时仍需传入obj地址，且不能跨继承体系通用
真正能落地的折中方案：只做“命名调用”，不做“任意签名推导”
放弃“自动识别参数类型并匹配 overload”，改用固定接口（如全部转成 std::vector<std::any> 输入 + std::any 输出），由用户负责类型转换。
- 注册阶段：用宏记录方法名、参数数量、是否 const，并绑定一个
std::function<std::any(void*, const std::vector<std::any>&)> - 查找阶段：用
std::unordered_map<std::string, ...>存，O(1) 查找，但失去constexpr特性 - 调试友好：打印错误时可明确提示 “no method ‘update’ found on type X”，而不是段错误或链接失败
- 性能代价可控：一次哈希 + 一次函数调用，比
std::any_cast开销小得多
真正麻烦的不是怎么写反射，而是怎么让使用者不误用 —— 比如把基类指针当子类传进去、把 const 对象传给非 const 方法、参数类型错位却没报编译错误。这些只能靠文档、静态断言（static_assert）和运行时校验组合守住底线。
