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