C++ 怎么在模板中处理成员指针(Pointer to Member)调用

冬浩大大_1046

冬浩大大_1046

2026-11-01

457人浏览

原创

成员指针语法易错,必须用括号包裹(obj.pmf)()或(ptr->pmf)();模板中类型推导困难,需显式指定或用auto非类型参数;须区分数据/函数成员指针;跨继承调用不安全,应避免泛化滥用。

c++ 怎么在模板中处理成员指针(pointer to member)调用

成员指针语法容易写错:.* 和 ->* 不是运算符重载,不能省略括号

成员指针(如 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 都可能卡住

成员指针类型包含类名、返回类型、cv 限定、参数列表,哪怕只是多一个 const,就是完全不同的类型。用 template void f(T pm) 接收 void (A::*)(),编译器通常无法从 &A::foo 自动推导出完整类型,因为 T 没绑定到任何类或函数签名上。

更糟的是,如果模板内部还要提取类类型(比如想做 std::invoke 兼容),光靠 decltype 得到的类型很难拆解。

  • 显式指定模板参数最稳妥:f(&A::foo)
  • 用非类型模板参数(C++17 起)绕过类型推导:template void call_on(A& a) { (a.*PMF)(); },此时 PMF 是值,类型由编译器隐式确定
  • 借助 std::mem_fn 或 std::bind 将成员指针转为普通可调用对象,再进模板(但有额外开销,且丢失原始类型信息)

泛化调用需区分数据成员和函数成员:二者语法相同但语义不同,模板里不能混用

int A::* 和 void (A::*)() 看似都是“成员指针”,但前者解引用得值,后者解引用得函数对象——你不能对数据成员指针调用 (),也不能对函数成员指针用 = 赋值(除非是取地址)。模板若试图统一处理,会在某个分支触发 SFINAE 或硬错误。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载

例如写一个通用 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) { ... } else { ... }
  • 不要依赖 std::invoke 直接传成员指针——它内部已处理了分支,但若你需要自定义行为(比如日志、转发参数、异常包装),就得自己拆开
  • 注意数据成员指针支持偏移计算(offsetof 风格),而函数成员指针一般不能做算术,某些平台甚至大小不定

跨继承调用失败:基类成员指针不能直接用于派生类对象,除非是标准布局且无虚函数

假设 B 继承 A,void (A::*)() 类型的指针不能安全用于 B 实例,即使 B 未重写该函数。这是因为成员函数指针在 ABI 层可能包含调整偏移(thunk),而类型系统不保证兼容性。Clang/GCC 在 -fno-rtti 下可能静默失败,MSVC 更严格。

模板若接受 void (Base::*)() 并试图在 Derived 上调用,大概率崩溃或调错函数。

  • 强制转换(如 static_cast(base_pmf))仅在 Derived 是 Base 的标准布局子类、且无虚函数/虚基类时才安全
  • 更健壮的做法是用 std::function 包一层:std::function f = [&](Derived& d) { (d.*base_pmf)(); },代价是类型擦除
  • 若需高性能且确定继承关系,可让模板接受两个模板参数:template,并在 static_assert 中检查 std::is_base_of_v 和布局约束

成员指针在模板里真正麻烦的从来不是语法,而是类型精确性和调用上下文的耦合——一个括号、一个 const、一个继承层级,就足以让实例化失败或行为未定义。动手前先确认:你真的需要泛化成员指针,还是用 lambda 或 std::function 更清晰?

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关专题

更多
c++和c语言的区别有哪些
c++和c语言的区别有哪些

c++和c语言的区别:1、面向对象编程(OOP)支持不同;2、新增特性不同;3、标准库不同;4、编译方式不同;5、命名空间不同等等。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.14

2288

9

c++和python学习顺序推荐
c++和python学习顺序推荐

一般建议先学习C++,再学习Python,因为这样可以逐步从较为底层的编程语言向更高级的语言过渡。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

1039

6

python和c++学习性价比分析
python和c++学习性价比分析

Python易于学习,广泛应用于Web开发、数据科学和人工智能等领域,但性能较低。C语言性能高,适用于对性能要求较高的场景,如游戏开发和系统编程,但学习曲线陡峭,错误处理复杂。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

447

5

c语言和c++一样吗
c语言和c++一样吗

c语言和c++是两种不同的编程语言,虽然有相似之处,但存在显著差异。c语言专注于过程式编程和系统级开发,以简洁、高效著称。c++作为c语言的超集,引入了面向对象编程,增强了代码组织和管理能力,但学习曲线也更陡峭。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

347

5

c语言和c++先学哪个好
c语言和c++先学哪个好

初学者选择学习c语言还是c++语言,需要根据个人学习目标、背景以及编程兴趣和预期应用方向来决定。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

426

5

c语言和c++的区别和联系
c语言和c++的区别和联系

c语言和c++是计算机科学领域应用广泛的编程语言。虽然它们有着相似的基础,但它们在语言类型、语法功能和内存管理方面存在着显著差异。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

600

5

c++软件中文更改教程
c++软件中文更改教程

对于 ide,可通过打开设置,找到语言设置,选择中文,并保存更改。对于非 ide 应用程序,可查找设置或选项,选择语言设置,更改为中文,并保存更改。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.21

1429

9

python和java和c++学习性价比分析
python和java和c++学习性价比分析

Python以其易学性、丰富的库和活跃的社区而著称,适合数据科学、人工智能和Web开发。Java以其跨平台性、企业级应用开发和Android应用开发而闻名。C++以其底层控制能力、高效性能和游戏开发而著称。选择哪种语言取决于个人兴趣、职业方向和特定需求。想了解更多python和java和c++的相关内容,可以阅读本专题下面的文章。

2024.03.22

1237

7

c++和c语言学习顺序推荐
c++和c语言学习顺序推荐

对于初学者,建议先学习C语言,掌握编程基础后再转入C++,便于理解面向对象编程概念。有编程经验者可直接学习C++,快速接触高级编程技术。想了解更多c++和c语言的相关内容,可以阅读本专题下面的文章。

2024.03.25

1325

9

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习