C++ 命名要求： Callable

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 命名要求

基本 DefaultConstructible（可預設構造） MoveConstructible（可移動構造） (C++11) CopyConstructible（可複製構造） CopyAssignable（可複製賦值） MoveAssignable（可移動賦值） (C++11) Destructible（可析構） 型別屬性 ScalarType（標量型別） PODType（POD型別） TriviallyCopyable（可平凡複製） (C++11) TrivialType（平凡型別） (C++11) StandardLayoutType（標準佈局型別） (C++11)   ImplicitLifetimeType（隱式生命週期型別） 全庫範圍 BooleanTestable（可布林測試） EqualityComparable（可相等比較） LessThanComparable（可小於比較） Swappable（可交換） ValueSwappable（值可交換） (C++11) NullablePointer（可空指標） (C++11) Hash（雜湊） (C++11) 分配器 (Allocator) FunctionObject（函式物件） 可呼叫 (Callable) Predicate（謂詞） BinaryPredicate（二元謂詞） 比較 (Compare)

Container（容器） Container（容器） 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) 迭代器 (Iterator) LegacyIterator（傳統迭代器） LegacyInputIterator（傳統輸入迭代器） LegacyOutputIterator（傳統輸出迭代器） LegacyForwardIterator（傳統前向迭代器） LegacyBidirectionalIterator（傳統雙向迭代器） LegacyRandomAccessIterator（傳統隨機訪問迭代器） LegacyContiguousIterator（傳統連續迭代器） (C++17) ConstexprIterator（常量表達式迭代器） (C++20) 流 I/O FormattedInputFunction（格式化輸入函式） UnformattedInputFunction（非格式化輸入函式） FormattedOutputFunction（格式化輸出函式） UnformattedOutputFunction（非格式化輸出函式） 格式化器 BasicFormatter（基本格式化器） (C++20) 格式化器 (Formatter) (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 如果

給定

• f，型別為 T 的物件，
• ArgTypes，合適的引數型別列表，
• R，合適的返回型別。

以下表達式必須有效

表示式	要求
INVOKE<R>(f, std::declval<ArgTypes>()...)	該表示式在未求值上下文中是良構的。

注意

資料成員指標是 Callable，即使沒有函式呼叫發生。

標準庫

此外，以下標準庫工具接受任何 Callable 型別（而不僅僅是 FunctionObject）

function (C++11)	任何可複製構造的可呼叫物件的包裝器 (類模板)
move_only_function (C++23)	任何支援給定呼叫簽名中限定符的可呼叫物件的僅移動包裝器 (類模板)
copyable_function (C++26)	任何可複製構造的可呼叫物件的包裝器，支援給定呼叫簽名中的限定符 (類模板)
function_ref (C++26)	任何可呼叫物件的非擁有包裝器 (類模板)
bind (C++11)	將一個或多個引數繫結到函式物件 (函式模板)
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)	管理一個獨立的執行緒 (類)
jthread (C++20)	支援自動連線和取消的 std::thread (類)
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 起) (函式模板)