2.4 标识符

1. 标识符

1. 标识符是字符序列 (Character Sequence)，可以指代一个实体（对象，函数，宏等）。
2. 翻译限度（不需要记，实际往往支持更多）：
   1. 实现至少应支持：内部标识符或宏名中 63 个有意义的初始字符，外部标识符中 31 个有意义的初始字符；
   2. 一个翻译单元中最多 4095 个外部标识符；
   3. 一个块中最多声明 511 个拥有块作用域的标识符；
   4. 一个预处理翻译单元中最多同时定义 4095 个宏标识符。

保留标识符与未定义行为

有些标识符叫保留标识符，用户代码声明这类标识符属于未定义行为：翻译阶段 7 中会被识别为关键字的预处理记号；以一个下划线开始，并出现在文件作用域普通名字空间或标记名字空间中的标识符；所有以一个下划线后随一个大写字母或另一下划线开始的标识符，如 _Mdr、__mdr；标准库所定义的所有外部标识符。

翻译限度是最低保证，不是编码目标

上面列出的数字表示标准规定的最低支持规模，它们不是编码目标。真实工具链通常支持更多，但可移植讨论只应依赖标准保证或目标实现文档。

2. 标识符、实体与名字空间

名字空间区分同名标识符

同一个字符序列在不同上下文中可能属于不同名字空间。C 中至少要区分普通标识符、标记名（struct、union、enum 的标签）、成员名和标号名等类别。结构体成员名只在对应结构体或联合体内部解释。

struct item {
    int value;
};

int item = 1; /* 普通标识符，与 struct item 的标记名不冲突 */

3. 关键字

1. 类型：_Bool(bool) char double float int long short signed unsigned void _Complex_Decimal32 _Decimal64 _Decimal128 _Imaginary _BitInt(n)
2. 指定符和限定符：inline restrict _Alignas(alignas) _Atomic _Generic
3. 常量：true false nullptr
4. 控制语句 相关：break case continue default do else for goto if return switch while
5. 存储类 说明符：auto extern register static constexpr _Thread_local(thread_local)
6. 运算符：sizeof typeof typeof_unqual _Alignof(alignof)
7. 类型的声明：enum struct union
8. 类型推断：auto
9. 其他：_Static_assert(static_assert) typedef

关键字在语法中有固定用途。到了翻译阶段 7，能够被识别为关键字的记号会按关键字处理。因此，用户代码不能把 int、return、struct 这类词重新声明成自己的名字。

本章内容对应 cppref 链接如下：

• 对象
• 声明
• 标识符