std::experimental::invocation_type，std::experimental::raw_invocation_type

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (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 限定的）类型，而 U1 是 T1&（如果 t1 是左值）或 T1&&（否则）。

• 如果 f 是指向类 T 的成员函数的指针，则调用参数是 U1，后跟与 t2, ..., tN 匹配的 f 的参数。
• 如果 N == 1 并且 f 是指向类 T 的成员数据的指针，则调用参数是 U1。
• 如果 f 是类类型的对象，则调用参数是与 f 的函数调用运算符和代理调用函数中最适合参数 t1, ..., tN 的函数匹配的参数 t1, ..., tN。
• 在所有其他情况下，调用参数是与 t1, ..., tN 匹配的 f 的参数。

如果参数 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... Ui 是 std::decay_t<Ai>（如果 std::declval<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++ 文档 for 反射 TS