std::experimental::ranges::Invocable、std::experimental::ranges::RegularInvocable

Defined in header `<experimental/ranges/concepts>`
template< class F, class... Args > concept bool Invocable = requires(F&& f, Args&&... args) { ranges::invoke(std::forward<F>(f), std::forward<Args>(args)...); /* 等価性を保持する必要はない */ };		(ranges TS)
template< class F, class... Args > concept bool RegularInvocable = Invocable<F, Args...>;		(ranges TS)

Invocableコンセプトは、呼び出し可能な型Fが、引数型Args...のセットで、関数テンプレートranges::invokeを使用して呼び出されることを指定します。

RegularInvocableコンセプトは、Invocableコンセプトに加えて、invoke式が等価性を保持し、関数オブジェクトまたは引数を変更しないことを要求します。

式が**等価性保持**であるとは、等しい入力に対して等しい出力を生成することを意味します。

等価性保持が要求されるすべての式は、さらに**安定**である必要があります。同じ入力オブジェクトでそのような式の2回の評価は、これらの入力オブジェクトの明示的な介入的な変更がない限り、等しい出力を持ちます。

特に断りがない限り、requires-expression で使用されるすべての式は、等価性を保持し、安定であることが要求され、式の評価は定数でないオペランドのみを変更できます。定数のオペランドは変更してはいけません。

InvocableとRegularInvocableの区別は純粋に意味論的なものです。

乱数ジェネレーターはInvocableを満たすかもしれませんが、RegularInvocableを満たすことはできません（コミカルなものを除く）。

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

Technical Specification
ファイルシステムライブラリ (filesystem TS)
ライブラリ基本 (library fundamentals TS)
ライブラリ基本TS v2 (library fundamentals TS v2)
ライブラリ基本 3 (library fundamentals TS v3)
並列化拡張 (parallelism TS)
並列化拡張 2 (parallelism TS v2)
並行処理拡張 (concurrency TS)
並行処理拡張 2 (concurrency TS v2)
コンセプト (concepts TS)
Ranges (ranges TS)
リフレクション (reflection TS)
数学特殊関数 (special functions TR)
実験的 (非TS)
パターンマッチ
線形代数
std::execution
契約プログラミング
2Dグラフィックス