std::mem_fn

ヘッダ `<functional>`
template< class M, class T > /* unspecified / mem_fn( M T:: pm ) noexcept;		で定義 (C++11 以上) (constexpr C++20 以上)

関数テンプレート std::mem_fn は、メンバへのポインタに対するラッパオブジェクトを生成します。これは、メンバへのポインタを格納、コピー、および呼び出すことができます。std::mem_fn の呼び出し時には、オブジェクトへの参照およびポインタ (スマートポインタを含む) の両方を使用できます。

パラメータ

pm

-

ラップされるメンバへのポインタ

戻り値

std::mem_fn は、以下のメンバーを持つ未規定の型の呼び出しラッパー fn を返します：

std::mem_fn 戻り値の型

メンバ型

type	definition
`result_type` (C++17で非推奨)	pm がメンバ関数へのポインタの場合の戻り値の型、メンバオブジェクトへのポインタでは定義されない
`argument_type` (C++17で非推奨)	`T*` （cv修飾される可能性あり）、 pm が引数を取らないメンバ関数へのポインタの場合
`first_argument_type` (C++17で非推奨)	`T*` 、 pm が1つの引数を取るメンバ関数へのポインタの場合
`second_argument_type` (C++17で非推奨)	`T1` 、 pm が型 `T1` の引数を1つ取るメンバ関数へのポインタの場合

(C++20まで)

メンバ関数

template < class ... Args > /* 下記参照 / operator ( ) ( Args && ... args ) / cvref修飾子 / noexcept ( / 下記参照 */ ) ;		(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 必須ではなかった	必須

コンパイラサポート
フリースタンディングとホスト環境
言語
標準ライブラリ
標準ライブラリヘッダ
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
レンジライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時間ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行性サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
技術仕様書
シンボル索引
外部ライブラリ

function (C++11)	任意のコピー構築可能な呼び出し可能オブジェクトのコピー可能ラッパー (クラステンプレート)
move_only_function (C++23)	指定された呼び出しシグネチャで修飾子をサポートする任意の呼び出し可能オブジェクトのムーブ専用ラッパー (クラステンプレート)
bind (C++11)	関数オブジェクトに1つ以上の引数をバインドする (関数テンプレート)

ja.cppreference.net

Namespaces

Variants