c - 为什么 C 预处理器将单词 "linux"解释为常量 "1"？

Question

为什么GCC中的C预处理器将linux这个词(小写字母)解释为常量1 ?

test.c:

#include <stdio.h>
int main(void)
{       
    int linux = 5;
    return 0;
}

$ gcc -E test.c的结果(预处理阶段后停止):

....
int main(void)
{
    int 1 = 5;
    return 0;
}

这当然会产生错误。

(顺便说一句:stdio.h 文件中没有#define linux。)

Answer 1

在过去(ANSI 之前)，预定义符号(例如 unix 和 vax)是一种允许代码在编译时检测它所使用的系统的方法编译为。那时没有官方语言标准(除了 K&R 第一版后面的引用资料)，任何复杂的 C 代码通常都是 #ifdef 的复杂迷宫以允许差异系统之间。这些宏定义通常由编译器自己设置，而不是在库头文件中定义。由于没有关于实现可以使用哪些标识符以及为程序员保留哪些标识符的真正规则，编译器编写者可以随意使用简单的名称，如 unix 并假设程序员会简单地避免使用这些名称他们自己的目的。

1989 年 ANSI C 标准引入了限制实现可以合法预定义的符号的规则。编译器预定义的宏名称只能以两个下划线开头，或者下划线后跟一个大写字母，让程序员可以自由使用与该模式不匹配且未在标准库中使用的标识符。

因此，任何预定义 unix 或 linux 的编译器都是不一致的，因为它无法编译使用类似 int 的完全合法的代码linux = 5;.

事实上，gcc 默认情况下是不符合标准的——但可以通过正确的命令行选项使其符合(相当好):

gcc -std=c90 -pedantic ... # or -std=c89 or -ansi
gcc -std=c99 -pedantic
gcc -std=c11 -pedantic

见 the gcc manual了解更多详情。

gcc 将在未来的版本中逐步淘汰这些定义，因此您不应编写依赖于它们的代码。如果您的程序需要知道它是否正在为 Linux 目标编译，它可以检查是否定义了 __linux__(假设您使用的是 gcc 或与其兼容的编译器)。见 the GNU C preprocessor manual了解更多信息。

一个基本无关紧要的旁白:1987 年的“最佳单轮”冠军 International Obfuscated C Code Contest ，David Korn(是的，Korn Shell 的作者)利用了预定义的 unix 宏:

main() { printf(&unix["\021%six\012\0"],(unix)["have"]+"fun"-0x60);}

它打印 "unix"，但原因与宏名称的拼写完全无关。