std::invocable, std::regular_invocable

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

入出力ライブラリ

ローカライゼーションライブラリ

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

ファイルシステムライブラリ (C++17)

技術仕様書

 

コンセプトライブラリ

コア言語のコンセプト
same_as derived_from convertible_to common_reference_with common_with	integral signed_integral unsigned_integral floating_point swappableswappable_with	destructible constructible_from default_constructible move_constructible copy_constructible assignable_from
比較のコンセプト
boolean	equality_comparableequality_comparable_with	totally_orderedtotally_ordered_with
オブジェクトのコンセプト
movable copyable	semiregular regular
callable のコンセプト
invocableregular_invocable	predicate	relation strict_weak_order

 

ヘッダ <concepts> で定義
template< class F, class... Args > concept invocable =   requires(F&& f, Args&&... args) {     std::invoke(std::forward<F>(f), std::forward<Args>(args)...);       /* not required to be equality preserving */   };		(C++20以上)
template< class F, class... Args > concept regular_invocable = std::invocable<F, Args...>;		(C++20以上)

invocable コンセプトは呼び出し可能な型 F が関数テンプレート std::invoke を用いて引数型のセット Args... で呼びだせることを表します。

regular_invocable コンセプトは invocable コンセプトに加えて invoke 式が等しさを維持することと関数オブジェクトおよび引数をどちらも変更しないことを要求します。

等しさの維持

等しい入力を与えると等しい出力が得られる場合、その式は等しさを維持します。

• 式への入力がその被演算子から構成される。
• 式の出力がその結果およびその式によって変更されるすべての被演算子 (もしあれば) から構成される。

等しさを維持することが要求されるすべての式は、さらに安定であることも要求されます。 同じ入力オブジェクトを用いたそのような式の2回の評価は、間にそれらの入力オブジェクトの変更が明示的に挟まれなければ、等しい出力が得られなければなりません。

特に明記されない限り、 requires 式で使用されるすべての式は、等しさを維持することと安定であることが要求され、式の評価は非定数の被演算子のみを変更することができます。 定数である被演算子は変更してはなりません。

ノート

invocable と regular_invocable の違いは純粋に意味論上のものです。

乱数ジェネレータは invocable を満たすかもしれませんが regular_invocable を満たすことはできません (こういうコミカルなものは除きます)。