std::meta::has_identifier

 

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)

 

反射库

Template:cpp/meta/navbar/reflection content

 

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

判断 r 所表示的内容是否具有关联的标识符（包括字面量后缀标识符）。

形式上：

• 如果 r 表示具有以链接为目的的 typedef 名的实体，则返回 true。
• 否则，如果 r 表示无名的类、枚举、变量、位域或命名空间，则返回 false。
• 否则，如果 r 表示类型别名，则返回 !std::meta::has_template_arguments(r)。
• 否则，如果 r 表示类型，则返回 true 的条件为：

• r 表示不带 cv 限定的类类型且 std::meta::has_template_arguments(r) 为 false，或者
• r 表示不带 cv 限定的枚举类型。

• 否则，如果 r 表示函数，则当 std::meta::has_template_arguments(r) 为 false，且该函数不是构造函数、析构函数、运算符函数或转换函数时，返回 true。
• 否则，如果 r 表示模板，则当该模板不是构造函数模板、运算符函数模板或转换函数模板时，返回 true。
• 否则，如果 r 表示函数形参，且该形参所属的函数是从函数模板实例化的，并且该形参是函数形参包中的元素，则返回 false。
• 否则，如果 r 表示函数 F 的形参 P，则设 S 为从求值上下文中的某一点可达的声明集合（忽略任何显式实例化），这些声明声明了 F 或者声明了 F 是它的特化的模板化函数；如果满足以下条件则返回 true：

• S 中存在一个声明 D，它为 P 或与 D 所声明的模板化函数中对应于 P 的形参引入了名称 N，并且
• S 中没有声明使用除 N 以外的任何名称来达到同样目的。

void fun(int);
constexpr std::meta::info r = parameters_of(^^fun)[0];
static_assert(!has_identifier(r));

void fun(int x);
static_assert(has_identifier(r));

void fun(int x);
static_assert(has_identifier(r));

void poison() {
    void fun(int y);
}
static_assert(!has_identifier(r));

• 否则，如果 r 表示变量，则当该变量对应于函数形参包中的元素，或 std::meta::has_template_arguments(r) 为 true 时返回 false，否则返回 true。
• 否则，如果 r 表示结构化绑定，则当该结构化绑定是结构化绑定包中的元素时返回 false，否则返回 true。
• 否则，如果 r 表示枚举项、非静态数据成员、命名空间或命名空间别名，则返回 true。
• 否则，如果 r 表示直接基类关系，则返回 std::meta::has_identifier(std::meta::type_of(r))。
• 否则，如果 r 表示数据成员描述 (T, N, A, W, NUA, ANN)，则当该描述的名称 N 不是 ⊥ 时返回 true。
• 否则，返回 false。

参数

r

-

一个反射值

返回值

如果 r 所表示的内容具有标识符，则为 true，否则为 false。

参阅

symbol_ofu8symbol_of (C++26)	将 meta::operators 枚举项转换为其符号名 (函数)
identifier_ofu8identifier_of (C++26)	若所反射实体具有标识符，则获取其名字 (函数)
display_string_ofu8display_string_of (C++26)	获取适于标识所反射实体的字符串 (函数)