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

 

C++

编译器支持

独立式和托管式

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (filesystem TS)

库基础 (library fundamentals TS)

库基础 2 (library fundamentals TS v2)

库基础 3 (library fundamentals TS v3)

并行扩展 (parallelism TS)

并行扩展 2 (parallelism TS v2)

并发扩展 (concurrency TS)

并发扩展 2 (concurrency TS v2)

概念 (concepts TS)

范围 (ranges TS)

反射 (reflection TS)

数学特殊函数 (special functions 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; //undefined template< class Fn, class... ArgTypes > struct raw_invocation_type<Fn(ArgTypes...)>;	(1)	(library fundamentals TS)
template< class > struct invocation_type; //undefined template< class Fn, class... ArgTypes > struct invocation_type<Fn(ArgTypes...)>;	(2)	(library fundamentals TS)

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

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

• 如果 f 是指向类 T 的成员函数的指针，则调用参数为 U1，后跟 f 的参数，这些参数与 t2, ..., tN 匹配。
• 如果 N == 1 且 f 是指向类 T 的成员数据的指针，则调用参数为 U1。
• 如果 f 是类类型的对象，则调用参数是在 f 的函数调用运算符和替代调用函数中，与参数 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>()...) 的调用参数，如上定义。 仅当可以在未求值上下文中用参数 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... Ui 是 std::decay_t<Ai>，如果 std::declval<Ai>() 是右值，否则为 Ti。 仅当可以在未求值上下文中用参数 ArgTypes... 调用 Fn 时定义。

辅助类型

template< class T > using raw_invocation_type_t = typename raw_invocation_type<T>::type;		(library fundamentals TS)
template< class T > using invocation_type_t = typename invocation_type<T>::type;		(library fundamentals TS)

参见

C++ 文档，关于 Reflection TS