invoke_result 類別
決定在編譯時期接受指定自變數型別的可呼叫型別的傳回型別。 已在 C++17 中新增。
語法
template <class Callable, class... Args>
struct invoke_result<Callable(Args...)>;
// Helper type
template<class Callable, class... Args>
using invoke_result_t = typename invoke_result<Callable, Args...>::type;
參數
調用
要查詢的可呼叫類型。
Args
要查詢之可呼叫類型的引數清單類型。
備註
使用此範本可在編譯時期判斷 Callable(Args...) 的結果類型,其中 Callable 和 Args 中的所有類型都是任何完整類型、未知系結的數位,或可能為 cv 限定的 。void
類別type
範本的成員會在使用 Args 自變數叫用時,將 Callable 的傳回型別命名為...。type
只有在使用自變數 Args 叫用時可以呼叫 Callable 時,才會定義成員...在未評估的內容中。 否則,類別範本沒有成員 type
,可在編譯時期對一組特定自變數類型進行測試。
需求
標頭:<type_traits>
命名空間:std