std::mem_fn

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持 (基本类型，RTTI) 库特性测试宏 (C++20) 动态内存管理 程序工具 协程支持 (C++20) 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 调试支持 is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)    is_eqis_ltis_lteq (C++20)(C++20)(C++20) is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 日期和时间 函数对象 格式化库 (C++20) bitset hash (C++11) 关系运算符 (在 C++20 中已弃用) rel_ops::operator!=rel_ops::operator>     rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)    cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换 和 类型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 通用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) 基本字符串转换 to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

函数对象

函数包装器 function (C++11) move_only_function (C++23) copyable_function (C++26) function_ref (C++26) mem_fn (C++11) bad_function_call (C++11)	部分函数应用 bind_frontbind_back (C++20)(C++23) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
函数调用 invokeinvoke_r (C++17)(C++23) 标识函数对象 identity (C++20)	引用包装器 reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
运算符包装器 plus minus negate multiplies divides modulus bit_and bit_or bit_not (C++14)   bit_xor equal_to not_equal_to greater less greater_equal less_equal logical_and logical_or logical_not	透明运算符包装器 plus<> (C++14) minus<> (C++14) negate<> (C++14) multiplies<> (C++14)   divides<> (C++14) modulus<> (C++14) bit_and<> (C++14) bit_or<> (C++14) bit_not<> (C++14) bit_xor<> (C++14) equal_to<> (C++14) not_equal_to<> (C++14) greater<> (C++14) less<> (C++14) greater_equal<> (C++14) less_equal<> (C++14) logical_and<> (C++14) logical_or<> (C++14) logical_not<> (C++14)
否定器 not_fn (C++17) 搜索器 default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	受约束的比较器 ranges::equal_to (C++20) ranges::not_equal_to (C++20) ranges::greater (C++20) ranges::less (C++20) ranges::greater_equal (C++20) ranges::less_equal (C++20) compare_three_way (C++20)
旧的绑定器和适配器
unary_function (直到 C++17*) binary_function (直到 C++17*) ptr_fun (直到 C++17*) pointer_to_unary_function (直到 C++17*) pointer_to_binary_function (直到 C++17*)   mem_fun (直到 C++17*) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (直到 C++17*)(直到 C++17*)(直到 C++17*)(直到 C++17*) not1 (直到 C++20*) not2 (直到 C++20*)	binder1stbinder2nd (直到 C++17*)(直到 C++17*) bind1stbind2nd (直到 C++17*)(直到 C++17*) mem_fun_ref (直到 C++17*) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (直到 C++17*)(直到 C++17*)(直到 C++17*)(直到 C++17*) unary_negate (直到 C++20*) binary_negate (直到 C++20*)

 

在头文件 <functional> 中定义
template< class M, class T > /* unspecified */ mem_fn( M T::* pm ) noexcept;		(自 C++11 起) (自 C++20 起为 constexpr)

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

参数

pm

-

将被包装的成员指针

返回值

std::mem_fn 返回一个调用包装器 fn，其类型未指定，具有以下成员

std::mem_fn 返回类型

成员类型 类型 定义 result_type(在 C++17 中已弃用) 如果 pm 是成员函数指针，则为 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 > /* see below */ operator()(Args&&... args) /* cvref-qualifiers */     noexcept(/* see below */);		(自 C++20 起为 constexpr)

表达式 fn(args) 等效于 INVOKE(pmd, args)，其中 pmd 是 fn 所持有的 Callable 对象，其类型为 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++ 标准。

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

另请参阅

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