Identifier

标识符 是由数字、下划线、小写和大写拉丁字母 ，以及使用 \u 和 \U 转义 符号指定的Unicode字符 (C99起) ，以及属于 XID_Continue 类别的字符 (C23起) 组成的任意长度序列。有效的标识符必须以非数字字符（拉丁字母、下划线 或Unicode非数字字符 (C99起) (C23前) ，或属于 XID_Start 类别的Unicode字符 (C23起) ）开头。标识符区分大小写（小写和大写字母被视为不同字符）。 所有标识符必须符合 规范化形式C 的要求。 (C23起)

char *\U0001f431 = "cat"; // 支持
char *🐱 = "cat"; // 由实现定义
                  // （例如在 Clang 中可用，但 GCC 10 之前版本不可用）
                  // 两者在 C23 中均为不合规形式。表情符号不属于 XID_Start 字符

标识符可表示以下类型的实体：

• 对象
• 函数
• 标签（ 结构体 、 联合体 或 枚举 ）
• 结构体或联合体成员
• 枚举常量
• 类型定义 名称
• 标签 名称
• 宏 名称
• 宏参数 名称

除宏名称或宏参数名称外的每个标识符都具有 作用域 ，属于某个 命名空间 ，并可能具有 链接 。同一标识符在程序的不同位置可能表示不同实体，若实体处于不同命名空间中，即使在相同位置也可能表示不同实体。

保留标识符

以下标识符是 保留的 ，不能在程序中声明（否则会引发未定义行为）：

1. 标识符中属于 关键字 的部分不能用于其他用途。特别是不允许对与关键字完全相同的标识符进行 #define 或 #undef 操作。
2. 所有以下划线开头的外部标识符。
3. 所有以下划线后接大写字母或另一个下划线开头的标识符（这些保留标识符允许库使用大量内部非外部宏和函数）。
4. 标准库定义的所有外部标识符（在托管环境中）。这意味着不允许任何用户提供的外部名称与任何库名称匹配，即使声明与库函数完全相同的函数也不允许。
5. 声明为保留给实现或标准库未来使用的标识符（见下文）。
6. 声明为可能保留并由实现提供的标识符（见下文）。 (since C23)

所有其他标识符均可使用。非保留 或潜在保留 (C23起) 的标识符可以放心使用，在将程序从一个编译器和库迁移到另一个时不会出现意外的命名冲突。

注意：在C++中，任何位置包含双下划线的标识符在所有地方都是保留的；而在C语言中，只有以双下划线开头的标识符才是保留的。

库中保留及潜在保留标识符

标准库保留其提供的所有标识符。具有 外部链接 的保留标识符（例如所有标准函数名称）无论包含哪个头文件均被保留。其他保留标识符在其关联头文件被包含时即被保留。

以下标识符被保留 或可能被保留 (since C23) ，供实现或标准库未来使用。

• 函数名 ，所有这些都可能被保留 (自 C23 起)
  • cerf , cerfc , cexp2 , cexpm1 , clog10 , clog1p , clog2 , clgamma , ctgamma , csinpi , ccospi , ctanpi , casinpi , cacospi , catanpi , ccompoundn , cpown , cpowr , crootn , crsqrt , cexp10m1 , cexp10 , cexp2m1 , clog10p1 , clog2p1 , clogp1 (自 C23 起) 及其带 -f 和 -l 后缀的变体，位于 <complex.h> (自 C99 起)
  • 以 is 或 to 开头后接小写字母，位于 <ctype.h> 和 <wctype.h> (自 C95 起)
  • 以 str 或 wcs (自 C23 起) 开头后接小写字母，位于 <stdlib.h> 和 <inttypes.h> (自 C23 起)
  • 以 cr_ 开头，位于 <math.h> (自 C23 起)
  • 以 wcs 开头后接小写字母，位于 <wchar.h> (自 C95 起)
  • 以 atomic_ 开头后接小写字母，位于 <stdatomic.h> (自 C11 起)
  • 以 cnd_ , mtx_ , thrd_ 或 tss_ 开头后接小写字母，位于 <threads.h> (自 C11 起)
• 类型定义名 ，所有这些都可能被保留 (自 C23 起)
  • 以 int 或 uint 开头并以 _t 结尾，位于 <stdint.h> (自 C99 起)
  • 以 atomic_ 或 memory_ 开头后接小写字母，位于 <stdatomic.h> (自 C11 起)
  • 以 cnd_ , mtx_ , thrd_ 或 tss_ 开头后接小写字母，位于 <threads.h> (自 C11 起)
• 宏名
  • 以 E 开头后接数字或大写字母，位于 <errno.h>
  • 以 FE_ 开头后接大写字母，位于 <fenv.h> (自 C99 起)
  • 以 DBL_ , DEC32_ , DEC64_ , DEC128_ , DEC_ , FLT_ 或 LDBL_ 开头后接大写字母，位于 <float.h> ；这些标识符可能被保留 (自 C23 起)
  • 以 INT 或 UINT 开头并以 _MAX , _MIN , _WIDTH (自 C23 起) 或 _C 结尾，位于 <stdint.h> ；这些标识符可能被保留 (自 C23 起) (自 C99 起)
  • 以 PRI 或 SCN 开头后接小写字母或字母 X ，位于 <inttypes.h> ；这些标识符可能被保留 (自 C23 起) (自 C99 起)
  • 以 LC_ 开头后接大写字母，位于 <locale.h>
  • 以 FP_ 开头后接大写字母，位于 <math.h> (自 C23 起)
  • 以 MATH_ 开头后接大写字母，位于 <math.h> ；这些标识符可能被保留 (自 C23 起)
  • 以 SIG 或 SIG_ 开头后接大写字母，位于 <signal.h>
  • 以 TIME_ 开头后接大写字母，位于 <time.h> (自 C11 起)
  • 以 ATOMIC_ 开头后接大写字母，位于 <stdatomic.h> ；这些标识符可能被保留 (自 C23 起) (自 C11 起)
• 枚举常量 ，所有这些都可能被保留 (自 C23 起)
  • 以 memory_order_ 开头后接小写字母，位于 <stdatomic.h> (自 C11 起)
  • 以 cnd_ , mtx_ , thrd_ 或 tss_ 开头后接小写字母，位于 <threads.h> (自 C11 起)

翻译限制

尽管标识符的长度没有具体限制，但早期编译器对标识符中有效初始字符的数量存在限制，且链接器对具有 外部链接 的名称施加了更严格的限制。C语言要求任何符合标准的实现至少需支持以下限制：

参考文献

参见