成员指针语法易错，必须用括号包裹(obj.pmf)()或(ptr->pmf)()；模板中类型推导困难，需显式指定或用auto非类型参数；须区分数据/函数成员指针；跨继承调用不安全，应避免泛化滥用。
成员指针语法容易写错：.* 和 ->* 不是运算符重载，不能省略括号
成员指针（如 int A::* 或 void (A::*)()）不是普通指针，调用时必须显式使用 .*（对对象）或 ->*（对指针），且操作数顺序和括号位置极易出错。常见错误是写成 a.*pmf()（试图调用函数但括号套错了），实际应为 (a.*pmf)() —— 因为 .* 优先级低于函数调用 ()。
模板中尤其危险：编译器不会在实例化前检查调用是否合法，错误会延迟到具体类型代入后才暴露，报错信息冗长难读。
- 始终用括号包裹整个“对象/指针
.*或->*成员指针”表达式，再加调用括号：(obj.*pmf)(arg)、(ptr->*pmf)(arg) - 避免在模板里直接裸写
obj.*pmf后续再处理——它返回的是一个可调用实体，但类型依赖于obj和pmf，不加括号可能被误解析为乘法或别的东西 - 若成员指针类型含 const/volatile 限定，调用对象也必须匹配（如
const A&才能用int A::* const）
模板参数推导失败：成员指针类型太具体，auto 和 template<typename t></typename> 都可能卡住
成员指针类型包含类名、返回类型、cv 限定、参数列表，哪怕只是多一个 const，就是完全不同的类型。用 template<typename t> void f(T pm)</typename> 接收 void (A::*)()，编译器通常无法从 &A::foo 自动推导出完整类型，因为 T 没绑定到任何类或函数签名上。
更糟的是，如果模板内部还要提取类类型（比如想做 std::invoke 兼容），光靠 decltype 得到的类型很难拆解。
立即学习“C++免费学习笔记（深入）”；
- 显式指定模板参数最稳妥：
f<void>(&A::foo)</void> - 用非类型模板参数（C++17 起）绕过类型推导：
template<auto pmf> void call_on(A& a) { (a.*PMF)(); }</auto>，此时PMF是值，类型由编译器隐式确定 - 借助
std::mem_fn或std::bind将成员指针转为普通可调用对象，再进模板（但有额外开销，且丢失原始类型信息）
泛化调用需区分数据成员和函数成员：二者语法相同但语义不同，模板里不能混用
int A::* 和 void (A::*)() 看似都是“成员指针”，但前者解引用得值，后者解引用得函数对象——你不能对数据成员指针调用 ()，也不能对函数成员指针用 = 赋值（除非是取地址）。模板若试图统一处理，会在某个分支触发 SFINAE 或硬错误。
例如写一个通用 get_or_call 模板，就必须先判断是哪种成员指针。C++20 前没现成 trait，得自己用 std::is_member_object_pointer_v 和 std::is_member_function_pointer_v 分支。
- 用
if constexpr（C++17）按类型分支：if constexpr (std::is_member_function_pointer_v<decltype>) { ... } else { ... }</decltype> - 不要依赖
std::invoke直接传成员指针——它内部已处理了分支，但若你需要自定义行为（比如日志、转发参数、异常包装），就得自己拆开 - 注意数据成员指针支持偏移计算（
offsetof风格），而函数成员指针一般不能做算术，某些平台甚至大小不定
跨继承调用失败：基类成员指针不能直接用于派生类对象，除非是标准布局且无虚函数
假设 B 继承 A，void (A::*)() 类型的指针不能安全用于 B 实例，即使 B 未重写该函数。这是因为成员函数指针在 ABI 层可能包含调整偏移（thunk），而类型系统不保证兼容性。Clang/GCC 在 -fno-rtti 下可能静默失败，MSVC 更严格。
模板若接受 void (Base::*)() 并试图在 Derived 上调用，大概率崩溃或调错函数。
- 强制转换（如
static_cast<void>(base_pmf)</void>）仅在Derived是Base的标准布局子类、且无虚函数/虚基类时才安全 - 更健壮的做法是用
std::function包一层：std::function<void> f = [&](Derived& d) { (d.*base_pmf)(); }</void>，代价是类型擦除 - 若需高性能且确定继承关系，可让模板接受两个模板参数：
template<typename base typename derived auto pmf></typename>，并在static_assert中检查std::is_base_of_v<base derived>和布局约束
成员指针在模板里真正麻烦的从来不是语法，而是类型精确性和调用上下文的耦合——一个括号、一个 const、一个继承层级，就足以让实例化失败或行为未定义。动手前先确认：你真的需要泛化成员指针，还是用 lambda 或 std::function 更清晰？
