C++ 名前付き要件: Callable

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

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

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

C++ 名前付き要件

基本 DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible 型のプロパティ ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType ライブラリワイド BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) アロケータ FunctionObject Callable Predicate BinaryPredicate Compare

コンテナ コンテナ ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   コンテナ要素 DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) イテレータ LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) ストリームI/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction フォーマッタ BasicFormatter (C++20) フォーマッタ (C++20)

乱数 SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) 並行性 BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) Ranges RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) 多次元ビュー LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) その他 CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

Callable 型は、INVOKE および INVOKE<R> 操作 (例えば、std::function、std::bind、および std::thread::thread で使用される) が適用可能な型です。

INVOKE は、ライブラリ関数 std::invoke を使用して明示的に実行できます。	(C++17以降)
INVOKE<R> は、ライブラリ関数 std::invoke_r を使用して明示的に実行できます。	(C++23から)

要件

型 T が Callable を満たすのは、

以下を考えます。

• 型 T のオブジェクト f、
• ArgTypes、適切な引数型のリスト、
• R、適切な戻り値の型。

以下の式が有効である必要があります

Expression	要件
INVOKE<R>(f, std::declval<ArgTypes>()...)	この式は、評価されないコンテキストで整形式です。

備考

データメンバーへのポインターは、関数呼び出しが行われない場合でも Callable です。

標準ライブラリ

さらに、以下の標準ライブラリ機能は、任意の Callable 型 ( FunctionObject だけでなく) を受け入れます

関数 (C++11)	コピー構築可能な任意の呼び出し可能オブジェクトをラップするコピー可能なラッパー (クラステンプレート)
move_only_function (C++23)	与えられた呼び出しシグネチャで修飾子をサポートする任意の呼び出し可能オブジェクトのムーブ専用ラッパー (クラステンプレート)
copyable_function (C++26)	所与の呼び出しシグネチャにおける修飾子をサポートする、任意のコピー構築可能な呼び出し可能オブジェクトのコピー可能なラッパー (クラステンプレート)
function_ref (C++26)	任意の呼び出し可能オブジェクトの所有権を持たないラッパー (クラステンプレート)
bind (C++11)	1つ以上の引数を関数オブジェクトに束縛する (関数テンプレート)
bind_frontbind_back (C++20)(C++23)	可変個の引数を順番に関数オブジェクトに束縛する (関数テンプレート)
reference_wrapper (C++11)	コピー構築可能 (CopyConstructible) かつ コピー代入可能 (CopyAssignable) な参照ラッパー (クラステンプレート)
result_ofinvoke_result (C++11)(C++20で削除)(C++17)	呼び出し可能オブジェクトを引数のセットで呼び出した結果の型を推論する (クラステンプレート)
thread (C++11)	個別のスレッドを管理する (class)
jthread (C++20)	std::thread 自動joinとキャンセルをサポート (class)
call_once (C++11)	複数のスレッドから呼ばれた場合でも、関数を一度だけ呼び出す (関数テンプレート)
async (C++11)	関数を非同期に（場合によっては新しいスレッドで）実行し、結果を保持する std::future を返す (関数テンプレート)
packaged_task (C++11)	関数の戻り値を非同期に取得するためにパッケージ化する (クラステンプレート)

関連項目

is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)	ある型が与えられた引数型で（std::invokeのように）呼び出し可能であるかをチェックする (クラステンプレート)
invocableregular_invocable (C++20)	呼び出し可能型が、与えられた一連の引数型で呼び出し可能であることを規定する (コンセプト)
invokeinvoke_r (C++17)(C++23)	与えられた引数で任意の Callable オブジェクトを呼び出す および戻り値の型を指定する可能性(C++23 以降) (関数テンプレート)