标识符

< c‎ | language
 
C
 
C 语言
 
基本概念
 

标识符是数字、下划线、小写及大写拉丁字母和以 \u 及 \U 转义记号指定的 Unicode 字符 (C99 起)的任意长度序列。合法的标识符必须以非数字字符（拉丁字母、下划线或 Unicode 非数字字符 (C99 起)）开始。标识符大小写有别（小写和大写字母不同）。

是否在标识符中允许未处理（未转义）的 Unicode 字符是实现定义的： 

char *\U0001f431 = "cat"; // 受支持
char *🐱 = "cat"; // 实现定义（ Clang 可用，但版本 10 前的 GCC 不可）
 (C99 起)

标识符能指代下列类型的实体：

宏名或宏形参名以外的每个标识符都拥有作用域，属于命名空间，并且可以拥有链接。相同的标识符可以在程序的相异点指代相异实体，或若实体在不同的命名空间中，则可在相同点指代相异实体。

保留标识符

下列标识符被保留，而且不可在程序中声明（这么做会引起未定义行为）：

1) 作为关键词的标识符不能用于其他目的。具体而言，不允许 #define 或 #undef 等同于关键词的标识符。
2) 所有以一个下划线开始的外部标识符。
3) 所有以一个下划线后随一个大写字母或另一下划线开始的标识符（这些保留标识符允许库使用大量幕后的非外部宏及函数）。
4) 标准库所定义的所有外部标识符（在有宿主环境中）。这表示不允许用户提供的外部名称匹配任何库名称，即使是声明等同于库函数的函数也不允许。
5) 声明为标准库为未来使用保留的标识符，即
  • 函数名
  • <complex.h> 中， cerf 、 cerfc 、 cexp2 、 cexpm1 、 clog10 、 clog1p 、 clog2 、 clgamma 、 ctgamma 及其 -f 和 -l 后缀变体
  • <ctype.h> 和 <wctype.h> 中，以 is 或 to 后随一个小写字母开始者
  • <stdlib.h> 中，以 str 后随一个小写字母开始者
  • <string.h> 中，以 str 、 mem 或 wcs 后随一个小写字母开始者
  • <wchar.h> 中，以 wcs 后随一个小写字母开始者
  • <stdatomic.h> 中，以 atomic_ 后随一个小写字母开始者
  • <threads.h> 中，以 cnd_ 、 mtx_ 、 thrd_ 或 tss_ 后随一个小写字母开始者
  • typedef 名
  • <stdint.h> 中，以 int 或 uint 开始并以 _t 结束者
  • <stdatomic.h> 中，以 atomic_ 或 memory_ 后随一个小写字母开始者
  • <threads.h> 中，以 cnd_ 、 mtx_ 、 thrd_ 或 tss_ 后随一个小写字母开始者
  • 宏名
  • <errno.h> 中，以 E 后随一个数字或大写字母开始者
  • <fenv.h> 中，以 FE_ 后随一个大写字母开始者
  • <stdint.h> 中，以 INT 或 UINT 开始并以 _MAX 、 _MIN 或 _C 结束者
  • <stdint.h> 中，以 PRI 或 SCN 后随小写字母或字母 X 开始者
  • <locale.h> 中，以 LC_ 后随一个大写字母开始者
  • <signal.h> 中，以 SIG 或 SIG_ 后随一个大写字母开始者
  • <time.h> 中，以 TIME_ 后随一个大写字母开始者
  • <stdatomic.h> 中，以 ATOMIC_ 后随一个大写字母开始者
  • 枚举常量
  • <stdatomic.h> 中，以 memory_order_ 后随一个小写字母开始者
  • <threads.h> 中，以 cnd_ 、 mtx_ 、 thrd_ 或 tss_ 后随一个小写字母开始者

所有其他标识符均可用，无需担心从一个编译器和库移动程序到另一个时有不期待的冲突。

注意： C++ 中，在任何位置有双下划线的标识符都受保留； C 中，只有以双下划线开始的标识符受保留。

翻译限制

尽管标识符长度上无特定的限制，一些早期编译器还是在标识符中的有效起始字符数上有限制，而链接器在带外部链接的名称上加上了更严格的限制。 C 要求任何服从标准的实现支持下列极限：

  • 内部标识符或宏名中 31 个有效起始字符
  • 外部标识符中 6 个有效起始字符
  • 一个翻译单元中 511 个外部标识符
  • 一个块中声明 127 个拥有块作用域的标识符
  • 一个预处理翻译单元中同时定义 1024 个宏标识符
(C99 前)
  • 内部标识符或宏名中 63 个有效起始字符
  • 外部标识符中 31 个有效起始字符
  • 一个翻译单元中 4095 个外部标识符
  • 一个块中声明 511 个拥有块作用域的标识符
  • 一个预处理翻译单元中同时定义 4095 个宏标识符
(C99 起)

引用

  • C11 standard (ISO/IEC 9899:2011):
  • 5.2.4.1 Translation limits (p: 25-26)
  • 6.4.2 Identifiers (p: 59-60)
  • 6.10.8 Predefined macro names (p: 175-176)
  • 6.11.9 Predefined macro names (p: 179)
  • 7.31 Future library directions (p: 455-457)
  • K.3.1.2 Reserved identifiers (p: 584)
  • C99 standard (ISO/IEC 9899:1999):
  • 5.2.4.1 Translation limits (p: 20-21)
  • 6.4.2 Identifiers (p: 51-52)
  • 6.10.8 Predefined macro names (p: 160-161)
  • 6.11.9 Predefined macro names (p: 163)
  • 7.26 Future library directions (p: 401-402)
  • C89/C90 standard (ISO/IEC 9899:1990):
  • 2.2.4.1 Translation limits
  • 3.1.2 Identifiers
  • 3.8.8 Predefined macro names

参阅