C++标准不支持运行时反射，自动绑定类成员函数必须依赖编译期元编程与显式注册；std::function+手动注册是最可控起点，因其规避了宏与模板在const/volatile重载、模板成员等场景的复杂性。
C++ 标准本身不支持运行时反射，所谓“自动绑定类成员函数”必须靠编译期元编程 + 显式注册（或宏辅助生成）来模拟，没有银弹，也不存在零侵入的通用方案。
为什么 std::function + 手动注册是最可控的起点
很多项目一上来就想用宏+模板自动生成所有成员函数列表，结果卡在 const/volatile 重载、模板成员、默认参数、返回类型推导上。不如先接受“需要显式声明”的现实，用最直白的方式建立可维护的绑定表。
-
std::function<void int></void>可以统一接收任意非静态成员函数指针，只要签名匹配，通过std::bind(&MyClass::func, obj, _1)或 lambda 包装即可 - 避免直接存
void (MyClass::*)(int)类型——它无法和const成员函数共存，也不支持完美转发 - 注册表建议用
std::unordered_map<:string std::function>></:string>，key 是字符串名，value 是已绑定对象或带占位符的可调用体 - 如果要支持多态调用（比如不同类的同名函数），value 类型需统一为
std::function<void std::vector>&)></void>，但会丢失编译期类型检查
用 BOOST_PP 宏展开简化重复注册
手动写每个函数的 map["func"] = std::bind(&T::func, obj, _1); 很枯燥，且易漏。Boost.Preprocessor 能在预处理阶段展开成员列表，但要注意它不解析 C++ 语法，只做文本替换。
- 定义宏如
REFLECT_MEMBER(func, void, int)，再用BOOST_PP_SEQ_FOR_EACH遍历成员序列，生成注册代码 - 宏展开后仍是普通 C++ 代码，调试时看预处理输出（
g++ -E）能确认是否符合预期 - 不能处理函数模板实例化（如
template<typename t> void foo(T)</typename>），必须显式指定foo<int></int>等特化版本 - 成员变量反射更简单：用
&T::member获取地址，配合decltype提取类型，但注意引用/const 成员需额外偏特化
constexpr if + std::is_member_function_pointer_v 做编译期分发
当你要写一个通用的“调用任意类成员”的函数模板时，得区分静态/非静态、有无返回值、是否 const —— 这些都得在编译期判断，否则 SFINAE 会炸。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 用
decltype(&T::name)获取成员指针类型，再用std::is_member_function_pointer_v判断是不是函数 - 对非静态函数，用
std::invoke(f, obj, args...)安全调用；对静态函数，直接std::invoke(f, args...) -
constexpr if内部不能出现非法表达式（比如对静态函数解引用obj->*），必须严格按分支隔离 - 返回值处理推荐用
std::optional<:any></:any>包裹，或者让调用方传入std::any& out输出参数，避免类型擦除开销过大
别碰运行时符号解析（dlsym / GetModuleHandle）
有人想绕过编译期限制，用动态库符号表查函数地址。这在 Linux 下看似可行，但实际几乎不可用：
- C++ 函数名经过 mangling，
dlsym(handle, "foo")99% 找不到，必须用nm -C查真实符号，且依赖编译器和 ABI - 成员函数地址不是简单符号——它可能含 this 指针调整（尤其是多重继承下），
reinterpret_cast强转后调用必崩 - Windows 的
GetProcAddress同样不认 C++ 成员函数，只能用于 extern "C" 导出的自由函数 - 调试信息（DWARF/PE）理论上可读，但解析成本高、无标准 API、跨平台几乎不可能，仅适合专用工具链
真正难的从来不是“怎么写”，而是“什么时候停止抽象”。成员函数自动绑定的边界往往在：是否允许用户传任意字符串调用？是否容忍编译错误变运行时错误？是否接受宏污染头文件？把这些问题的答案写进注释，比堆砌模板技巧更重要。
