Namespaces
Variants

    std::function の推定ガイドstd::function

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

    汎用ユーティリティ
    関係演算子 (C++20で非推奨)
    整数比較関数
    (C++20)(C++20)(C++20)    
    (C++20)
    swap および 型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    共通ボキャブラリ型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    関数オブジェクト
    関数呼び出し
    (C++17)(C++23)
    恒等関数オブジェクト
    (C++20)
    透過的な演算子ラッパー
    (C++14)
    (C++14)
    (C++14)
    (C++14)  
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)
    (C++14)

    旧式のバインダとアダプタ
    (C++17まで*)
    (C++17まで*)
    (C++17まで*)
    (C++17まで*)
    (C++17まで*)  
    (C++17まで*)
    (C++17まで*)(C++17まで*)(C++17まで*)(C++17まで*)
    (C++20まで*)
    (C++20まで*)
    (C++17まで*)(C++17まで*)
    (C++17まで*)(C++17まで*)

    (C++17まで*)
    (C++17まで*)(C++17まで*)(C++17まで*)(C++17まで*)
    (C++20まで*)
    (C++20まで*)
     
    std::function
     
    ヘッダ <functional> 
    template< class R, class... ArgTypes >
function( R(*)(ArgTypes...) ) -> function<R(ArgTypes...)>;
    		で定義 (1) (C++17以降) 
    template< class F >
function( F ) -> function</*see below*/>;
    		(2) (C++17以降) 
    template< class F >
function( F ) -> function</*see below*/>;
    		(3) (C++23以降) 
    template< class F >
function( F ) -> function</*see below*/>;
    		(4) (C++23以降)
    1) この推定ガイドは、std::functionが関数からの推論を可能にするために提供されます。
    2) このオーバーロードは、&F::operator()を未評価オペランドとして扱ったときに well-formed であり、かつ decltype(&F::operator()) が R(G::*)(A...) の形式である場合にのみオーバーロード解決に参加します（オプションの cv 修飾、オプションの noexcept、オプションの左辺値参照修飾）。推論される型は std::function<R(A...)> です。
    3) このオーバーロードは、&F::operator()を未評価オペランドとして扱ったときに well-formed であり、かつ F::operator() が型 明示的なオブジェクトパラメータ関数であり、その型が R(G, A...) または R(G, A...) noexcept の形式である場合にのみオーバーロード解決に参加します。推論される型は std::function<R(A...)> です。
    4) このオーバーロードは、&F::operator()を未評価オペランドとして扱ったときに well-formed であり、かつ F::operator() が型 静的メンバ関数であり、その型が R(A...) または R(A...) noexcept の形式である場合にのみオーバーロード解決に参加します。推論される型は std::function<R(A...)> です。

    注記

    これらの推論ガイドは、 省略記号パラメータ を持つ関数からの推論を許可せず、型内の ... は常に パック展開 として扱われます。

    これらの推論ガイドによって推論される型は、将来の標準改訂で変更される可能性があります（特に、後の標準で noexcept サポートが std::function に追加された場合に発生する可能性があります）。

    例

    このコードを実行 
    #include <functional>
int func(double) { return 0; }
int main() {
  std::function f{func}; // ガイド #1 は function<int(double)> を推論
  int i = 5;
  std::function g = [&](double) { return i; }; // ガイド #2 は function<int(double)> を推論
}

    欠陥報告

    以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

    DR 適用対象 公開時の動作 正しい動作
    LWG 3238 C++17 (2) の動作が
    F :: operator ( ) が&&-qualifiedの場合に不明確     		オーバーロード解決から除外されるように明確化