为什么C预处理器将“Linux”这个词解释为常数“1”？

Question

为什么GCC中的C预处理器将单词linux（小写字母）解释为常量1？

测试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，以允许系统之间的差异。这些宏定义通常由编译器本身设置，而不是在库头html" target="_blank">文件中定义。由于没有关于实现可以使用哪些标识符和为程序员保留哪些标识符的真正规则，编译器编写者可以随意使用诸如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

有关更多详细信息，请参阅gcc手册。

gcc将在未来的发行版中逐步淘汰这些定义，因此您不应该编写依赖于它们的代码。如果您的程序需要知道它是否是为Linux目标编译的，它可以检查是否定义了__linux__（假设您使用的是gcc或与其兼容的编译器）。有关更多信息，请参阅GNU C预处理器手册。

一个很不相关的例子：1987年国际模糊C代码竞赛的“最佳One Liner”获奖者David Korn（是的，Korn Shell的作者）利用了预定义的unix宏：

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

它打印“unix”，但其原因与宏名的拼写完全无关。