std::mem_fn本质是标准库模板类,将成员函数指针包装为零开销可调用对象;与普通函数对象(如lambda、std::function)区别在于:无类型擦除、不分配堆内存、编译期类型确定、不捕获上下文,仅专注成员函数调用适配。

std::mem_fn 本质是啥,和普通函数对象有啥区别
std::mem_fn 不是语法糖,也不是宏,它是个标准库模板类,作用是把成员函数指针(void (T::*)() 或 int (T::*)(int) 这类)包装成可调用对象。它和 std::function 的关键差异在于:不参与类型擦除,不分配堆内存,调用开销极低;但代价是类型必须在编译期确定,不能像 std::function 那样接受任意可调用物。
常见误用是把它当“万能适配器”——比如试图用 std::mem_fn(&T::func) 去绑定 const 成员函数却传入非常量对象,或忽略 cv 限定符匹配,结果编译失败但错误信息晦涩(典型报错:no matching function for call to object of type 'std::mem_fn<...>'</...>)。
怎么正确调用 std::mem_fn,参数传递要注意什么
调用方式分两类:带对象实例、带指针/引用。核心规则是:第一个实参必须能绑定到该成员函数的隐式 this 参数(即对象本身或其指针/引用),其余实参顺序对应成员函数形参。
- 对非静态成员函数,
std::mem_fn(&T::method)(obj, arg1, arg2)等价于obj.method(arg1, arg2) - 若用指针:
std::mem_fn(&T::method)(&obj, arg1),注意这里传的是&obj,不是obj;否则编译器会尝试把T类型对象隐式转成T*,失败 - 对 const 成员函数,必须确保第一个实参是
const T&或const T*,否则匹配失败。例如void T::foo() const不能用非常量T对象直接调用std::mem_fn包装体
示例:
struct X { int f(int x) const { return x * 2; } };
X x;
auto fn = std::mem_fn(&X::f);
int r = fn(x, 5); // ✅ 正确:x 是 const X&,可绑定到 const 成员
// int s = fn(&x, 5); // ❌ 错误:&x 是 X*,无法绑定到 const 成员(除非显式 const_cast)
std::mem_fn 和 std::bind、lambda 比,什么时候该选它
选 std::mem_fn 的唯一强理由:你明确只需要“把成员函数指针变可调用”,且调用点已知对象和参数,不需要捕获、不需要延迟绑定、不涉及移动语义或异常规范转换。
- 比
std::bind轻量:std::bind(&T::f, obj, _1)会产生额外模板实例化和潜在拷贝,而std::mem_fn(&T::f)(obj, ...)几乎零开销 - 比 lambda 更泛化:lambda 写死对象类型,
std::mem_fn可配合模板参数推导用于泛型代码(如算法中传入不同类型的对象) - 但它不能替代 lambda 的捕获能力——比如要同时用局部变量和成员函数,只能写 lambda
- C++17 后,
std::mem_fn对volatile成员支持更完善,但实践中极少遇到;若需兼容老编译器(如 GCC 4.8),注意std::mem_fn对引用限定符(&/&&)的支持不完整
容易被忽略的兼容性细节和崩溃风险
最常踩的坑不是语法,而是对象生命周期管理——std::mem_fn 本身不持有对象,只保存成员函数指针;如果调用时传入的指针/引用已悬空,行为未定义,不会报错,但可能崩溃或返回垃圾值。
- 不要把
std::mem_fn(&T::f)存起来反复用,除非你能 100% 保证每次调用时传入的对象还活着 - 避免在容器中存储
std::mem_fn实例并跨作用域使用,尤其配合std::shared_ptr时,容易误以为它自动管理对象生命周期(它不管理) - 对虚函数,
std::mem_fn绑定的是静态类型下的函数地址,调用时仍走虚表——这点和直接调用一致,但新手有时误以为它“绕过虚调用” - MSVC 在 /permissive- 模式下对私有成员函数的
std::mem_fn实例化可能报错,而 Clang/GCC 允许;若需跨平台,尽量只对 public 成员使用
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











