翻译阶段4的非保留标识符是否阻碍阶段7保留同名文件作用域标识符？

代码示例 #

/* 
 * stdio.h
 * 
 * note: it is an example of a particular implementation of stdio.h
 * containing _x; it is not "my code added to stdio.h"
 */
void _x(void);

/* t627.c */
#define _x 0
#include <stdio.h>

编译执行结果 #

$ gcc t627.c

t627.c:1:12: error: expected identifier or ‘(’ before numeric constant
    1 | #define _x 0
      |            ^
stdio.h:1:6: note: in expansion of macro ‘_x’
    1 | void _x(void);

技术分析 #

C语言编译分为多个顺序执行的翻译阶段：阶段4负责宏替换，阶段7负责语义分析与标识符绑定。在阶段4中，_x是用户定义的非保留标识符；而根据C标准，阶段7里以下划线开头、后跟小写字母的标识符属于保留标识符，专门留给标准库这类实现方用作文件作用域标识符。

由于阶段4先于阶段7执行，当t627.c中定义#define _x 0后，#include <stdio.h>会将头文件里的void _x(void);展开为void 0(void);，这违反了C语法规则，直接触发编译错误。

问题解答 #

1. 翻译阶段4的非保留标识符是否会导致阶段7无法保留同名的文件作用域标识符？ #

是的。翻译阶段严格按顺序执行，宏替换会先把所有宏名的出现替换为对应内容。到阶段7时，原文件作用域标识符的位置已经被替换后的内容覆盖，编译器根本看不到原本的标识符，自然无法按照保留标识符的规则处理它。

2. 这是否意味着：当用户定义的以下划线开头、后跟小写字母的宏与同名文件作用域标识符可能发生冲突时，该文件作用域标识符无法被保留？ #

没错。C标准明确规定，以下划线开头、后跟小写字母的标识符是保留给实现方使用的，用户禁止以任何形式（包括宏定义）使用这类标识符。如果违反规则用宏定义抢占该名字，宏替换会直接破坏实现代码中的同名标识符，导致编译器无法识别其保留属性，最终引发编译错误。

内容的提问来源于stack exchange，提问作者pmor