関数オブジェクト

関数オブジェクトは関数呼び出し演算子が定義されている任意のオブジェクトです。 C++ は多数の組み込みの関数オブジェクトと新しい関数オブジェクトの作成や操作に対するサポートが提供されます。

[編集] 関数ラッパー

std::function は任意の関数オブジェクトの格納に対するサポートを提供します。

[編集] 関数呼び出し

std::invoke は任意の Callable オブジェクトを指定した引数で呼び出すことができます。

[編集] 恒等

std::identity は恒等関数オブジェクトです。 引数を変更せずに返します。

[編集] 関数の部分適用

std::bind_front および std::bind は関数の部分適用、すなわち新しい関数を生成するための関数への引数束縛に対するサポートを提供します。

[編集] 否定子

std::not_fn は呼び出し可能なオブジェクトの結果を否定する関数オブジェクトを作成します。

[編集] 検索子

いくつかの文字列検索アルゴリズムを実装する検索子が提供され、直接または std::search と共に使用することができます。

[編集] 参照ラッパー

参照ラッパーを使用すると参照引数をコピー可能な関数オブジェクトに格納できます。

[編集] 演算子関数オブジェクト

一般的な算術演算子および論理演算子を表す関数オブジェクトがいくつか定義されています。

[編集] 制約付き比較関数オブジェクト (C++20)

C++20 では制約付きの比較関数オブジェクトが定義されます。 等しい演算子 (ranges::equal_to および ranges::not_equal_to) は引数の型が equality_comparable_with をモデル化することを要求します。 関係比較演算子 (ranges::less、 ranges::greater、 ranges::less_equal および ranges::greater_equal) は引数の型が totally_ordered_with をモデル化することを要求します。

[編集] 古いバインダとアダプタ

以前提供されていた関数オブジェクトサポートのためのいくつかのユーティリティは C++11 で非推奨になり C++17 で削除され、またいくつかは C++17 で非推奨になり C++20 で削除されました。