std::meta::type_of

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

元编程库

类型特征

编译时有理数算术

Compile-time integer sequences

integer_sequence (C++14)

编译时反射 (C++26)

 

在标头 <meta> 定义
consteval std::meta::info type_of( std::meta::info r );		(C++26 起)

返回表示 r 所表示事物的类型的反射。

形式上：

• 如果 r 表示函数形参（见 std::meta::parameters_of），则返回该函数的形参类型列表中对应类型的反射。
• 如果 r 表示值、对象、变量、函数、非静态数据成员或无名位域，则返回 r 所表示事物的类型的反射。
• 如果 r 表示标注，则返回 std::meta::type_of(std::meta::constant_of(r))。
• 如果 r 表示枚举类型 E  的枚举项：

• 如果在 E  的定义之后调用 type_of，则返回 E  的反射；
• 否则（在 E  的定义内部调用 type_of），则返回整数类型的反射（该类型是枚举项在枚举定义内部的类型）。

• 如果 r 表示直接基类关系（即 std::meta::bases_of(x, ctx) 中的元素），则返回该关系中基类的反射。
• 如果 r 表示数据成员描述（即 std::meta::data_member_spec 返回的值），则返回该描述中类型的反射。

参数

r

-

某事物的反射，该事物具有类型

返回值

r 所表示事物的类型。

异常

除非 r 所表示的事物具有类型，否则抛出 std::meta::exception。也就是说，r 必须表示以下之一：

• 值
• 标注
• 对象
• 变量
• 函数（其类型不包含未推导的占位符类型，且该函数不是构造函数或析构函数）
• 枚举项
• 非静态数据成员
• 无名位域
• 直接基类关系
• 数据成员描述
• 函数形参