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

在标头 `<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)

在以参数 ArgTypes... 调用 Fn ，如在 INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) 中时计算调用形参，其中 INVOKE 是可调用 (Callable) 中定义的操作。

表达式 INVOKE(f, t1, t2, ..., tN) 的调用形参定义如下，其中 T1 是（可有 cv 限定的） t1 的类型，而若 t1 为左值则 U1 为 T1& ，否则为 T1&& ：

若 f 是指向类 T 成员函数的指针，则调用参数是 U1 后随 t2, ..., tN 所匹配的 f 的形参。
若 N == 1 且 f 为指向类 T 数据成员的指针，则调用形参为 U1 。
若 f 为类类型对象，则调用形参为在 f 的代理调用函数和函数调用运算符间，实参 t1, ..., tN 的最佳可达函数的匹配 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>()...) 的调用形参。

仅若能在不求值语境中以 ArgTypes... 调用 Fn 才定义。

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 。

仅若能在不求值语境中以 ArgTypes... 调用 Fn 才定义。

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)

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
类型擦除及多态分配器
类型特性的变量模板