std::mem_fn

定义于头文件 `<functional>`
template< class M, class T > /* 未指定 / mem_fn( M T:: pm ) noexcept;		(C++11 起) (C++20 起为 constexpr)

函数模板 std::mem_fn 为成员指针生成包装器对象，该对象可以存储、复制并调用成员指针。在调用 std::mem_fn 时，可以使用指向对象的引用和指针（包括智能指针）。

std::mem_fn 返回类型

成员类型

类型	定义
`result_type`(C++17 中已弃用)	如果 pm 是指向成员函数的指针，则为其返回类型；对于指向成员对象的指针则未定义。
`argument_type`(C++17 中已弃用)	如果 pm 是不带参数的成员函数指针，则为 `T*`，可能带有 cv 限定符
`first_argument_type`(C++17 中已弃用)	如果 pm 是带一个参数的成员函数指针，则为 `T*`
`second_argument_type`(C++17 中已弃用)	如果 pm 是带一个类型为 `T1` 的参数的成员函数指针，则为 `T1`

(C++20 前)

成员函数

template< class... Args > /* 见下 / operator()(Args&&... args) / cvref-限定符 / noexcept(/ 见下 */);		(C++20 起为 constexpr)

表达式 fn(args) 等价于 INVOKE(pmd, args)，其中 pmd 是 fn 所持有的可调用对象，其类型为 M T::*，并使用 pm 进行直接非列表初始化。

因此，operator() 的返回类型是 std::result_of<decltype(pm)(Args&&...)>::type 或等价于 std::invoke_result_t<decltype(pm), Args&&...>，并且 noexcept 说明符中的值等于 std::is_nothrow_invocable_v<decltype(pm), Args&&...>)(C++17 起)。

args 中的每个参数都被完美转发，如同通过 std::forward<Args>(args)...。

[编辑] 示例

使用 std::mem_fn 存储和执行成员函数和成员对象。

运行此代码

#include <functional>
#include <iostream>
#include <memory>
 
struct Foo
{
    void display_greeting()
    {
        std::cout << "Hello, world.\n";
    }
 
    void display_number(int i)
    {
        std::cout << "number: " << i << '\n';
    }
 
    int add_xy(int x, int y)
    {
        return data + x + y;
    }
 
    template<typename... Args> int add_many(Args... args)
    {
        return data + (args + ...);
    }
 
    auto add_them(auto... args) // C++20 required
    {
        return data + (args + ...);
    }
 
    int data = 7;
};
 
int main()
{
    auto f = Foo{};
 
    auto greet = std::mem_fn(&Foo::display_greeting);
    greet(f);
 
    auto print_num = std::mem_fn(&Foo::display_number);
    print_num(f, 42);
 
    auto access_data = std::mem_fn(&Foo::data);
    std::cout << "data: " << access_data(f) << '\n';
 
    auto add_xy = std::mem_fn(&Foo::add_xy);
    std::cout << "add_xy: " << add_xy(f, 1, 2) << '\n';
 
    auto u = std::make_unique<Foo>();
    std::cout << "access_data(u): " << access_data(u) << '\n';
    std::cout << "add_xy(u, 1, 2): " << add_xy(u, 1, 2) << '\n';
 
    auto add_many = std::mem_fn(&Foo::add_many<short, int, long>);
    std::cout << "add_many(u, ...): " << add_many(u, 1, 2, 3) << '\n';
 
    auto add_them = std::mem_fn(&Foo::add_them<short, int, float, double>);
    std::cout << "add_them(u, ...): " << add_them(u, 5, 7, 10.0f, 13.0) << '\n';
}

输出

Hello, world.
number: 42
data: 7
add_xy: 10
access_data(u): 7
add_xy(u, 1, 2): 10
add_many(u, ...): 13
add_them(u, ...): 42

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 2048	C++11	提供了不必要的重载	已移除
LWG 2489	C++11	noexcept 不是必需的	需要

[编辑] 参阅

function (C++11)	任何可复制构造的可调用对象的包装器 (类模板) [编辑]
move_only_function (C++23)	任何支持给定调用签名中限定符的可调用对象的仅移动包装器 (类模板) [编辑]
bind (C++11)	将一个或多个参数绑定到函数对象 (函数模板) [编辑]

编译器支持
自由（freestanding）与宿主（hosted）
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作