std::experimental::invocation_type, std::experimental::raw_invocation_type

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 TS)

庫基礎 (庫基礎 TS)

庫基礎 2 (庫基礎 TS v2)

庫基礎 3 (庫基礎 TS v3)

並行性擴充套件 (並行性 TS)

並行性擴充套件 2 (並行性 TS v2)

併發性擴充套件 (併發性 TS)

併發擴充套件 2 (併發 TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

數學特殊函式 (特殊函式 TR)

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

庫基礎

experimental::optional

experimental::any

experimental::basic_string_view

experimental::sample

experimental::shared_ptr

experimental::weak_ptr

experimental::apply

experimental::invocation_typeexperimental::raw_invocation_type

experimental::search

experimental::default_searcherexperimental::make_default_searcher

experimental::boyer_moore_searcherexperimental::make_boyer_moore_searcher

experimental::boyer_moore_horspool_searcherexperimental::make_boyer_moore_horspool_searcher

型別擦除和多型分配器

型別特徵的變數模板

 

定義於標頭檔案 <experimental/type_traits>
template< class > struct raw_invocation_type; //未定義 template< class Fn, class... ArgTypes > struct raw_invocation_type<Fn(ArgTypes...)>;	(1)	(庫基礎 TS)
template< class > struct invocation_type; //未定義 template< class Fn, class... ArgTypes > struct invocation_type<Fn(ArgTypes...)>;	(2)	(庫基礎 TS)

計算當 Fn 與引數 ArgTypes... 一起呼叫時的*呼叫引數*，如 INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...)，其中 INVOKE 是在 Callable 中定義的操作。

表示式 INVOKE(f, t1, t2, ..., tN) 的*呼叫引數*定義如下，其中 T1 是 t1 的（可能是 cv-限定的）型別，如果 t1 是左值，則 U1 是 T1&，否則是 T1&&。

• 如果 f 是類 T 的成員函式指標，則呼叫引數為 U1，後跟由 t2, ..., tN 匹配的 f 的引數。
• 如果 N == 1 且 f 是類 T 的成員資料指標，則呼叫引數為 U1。
• 如果 f 是類型別物件，則呼叫引數是在 f 的函式呼叫運算子和代理呼叫函式中，與引數 t1, ..., tN 匹配的最佳可行函式的引數。
• 在所有其他情況下，呼叫引數是 f 的引數中與 t1, ..., tN 匹配的引數。

如果引數 tI 與函式引數列表中的省略號匹配，則相應的呼叫引數是對 tI 應用預設引數提升的結果。

Fn 和 ArgTypes 中的所有型別可以是任何完整型別、未知邊界陣列或（可能是 cv-限定的）void。

成員型別

成員型別	定義
raw_invocation_type<Fn(ArgTypes...)>::type	R(T1, T2, ...)，其中 R 是 std::result_of_t<Fn(ArgTypes...)>。 T1, T2, ... 是 INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) 的*呼叫引數*，如上定義。 僅當 Fn 可以在未求值上下文中與引數 ArgTypes... 一起呼叫時才定義。
invocation_type<Fn(ArgTypes...)>::type	R(U1, U2, ...)，其中 R 是 std::result_of_t<Fn(ArgTypes...)>。 T1, T2, ... 是 INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) 的*呼叫引數*，如上定義。 A1, A2, ... 表示 ArgTypes... 如果 std::declval<Ai>() 是右值，則 Ui 是 std::decay_t<Ai>，否則為 Ti。 僅當 Fn 可以在未求值上下文中與引數 ArgTypes... 一起呼叫時才定義。

輔助型別

template< class T > using raw_invocation_type_t = typename raw_invocation_type<T>::type;		(庫基礎 TS)
template< class T > using invocation_type_t = typename invocation_type<T>::type;		(庫基礎 TS)

另請參閱

C++ 文件，關於 反射 TS