[求助]C预处理程序问题

i子休

除了注释和以#开头的预处理命令，预处理程序还处理什么内容？
比如下面的一行代码：

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

复制代码

这是1987年IOCCC获奖程序之一。

经过预处理，其中的unix被替换成1，也就是：

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

复制代码

为什么不将其替换成别的常量值，而是1。

win_hate

那你认为替换为几比较合适？ 为什么？

bjf

果然是混乱代码，看不懂。
建议不要去看这些东西。

i子休

[quote]原帖由 "win_hate"]那你认为替换为几比较合适？ 为什么？[/quote 发表：


程序的正常输出是：unix
如果被替换成2，可能会输出：s
如果被替换成3，应改是一个空行。
如果该值继续增大也许会引起未定义行为或者错误。

事实上，我觉得替换成几倒并不重要，关键是为什么会“替换”？

i子休

原帖由 "bjf" 发表：
果然是混乱代码，看不懂。
建议不要去看这些东西。

呵呵~~~
这个程序还是很有意思的，作者是David Korn，也就是Korn Shell的作者。
因为最近对编译技术比较感兴趣，所以才“浮出水面”问一下。。。

i子休

路过的高手帮个忙啊。。。

whyglinux

前一段时间也发过一个类似的帖子，有兴趣的可到这里看看http://bbs.chinaunix.net/forum/viewtopic.php?t=279794。

下面解释一下楼主提供的程序。主要有三点需要掌握：

1. 首先是unix宏定义的问题。其实，gcc中预先定义了几个宏，其中一个就是unix。这些预先定义好的宏位于文件specs内（用 gcc -v 命令可以查看到这个文件的路径）。unix宏被预定义为 1。

要注意的是：specs文件中的内容是系统相关的。只有在Unix以及Linux系统下，宏unix才被定义。所以，可以想象，如果是在Windows等其它操作系统下，由于不存在预先定义的unix宏，这个程序会连编译都通不过。

2. 其次，要了解“数字 [ 字符串 ]”或者“&数字 [ 字符串 ]”的含义。就从数组说起：

1. 
   
2. char s[] = "test"; // 定义字符数组s，用"test"初始化，所以s共有5个元素。
   
3. s[0]; // 表示数组中第一个元素，即 't'
   
4. s[1]; // 第二个元素 'e'
   
5. 
   
6. // 上面的s[0]和s[1]也可以分别写成下面的形式（虽然比较少见，但在C语言中是合法的）：
   
7. 0[s];
   
8. 1[s];
   
9. 
   
10. // 类似地，如果把字符数组名换成常量字符串，可表示为：
    
11. "test"[0]; // 第一个字符 't'
    
12. "test"[1]; // 第二个字符 'e'，等等
    
13. 或者相应地表示为
    
14. 0["test"];
    
15. 1["test"];
    
16. 
    
17. 在前面加“&”表示取址，变成字符指针：
    
18. &0["test"]; // or &"test"[0]
    
19. &1["test"]; // or &"test"[1]
    

复制代码

3. 最后，要掌握字符串和数字相加的含义。例如："fun" + 1。这其实进行的是指针偏移运算。字符串常量"fun"的计算结果是一个地址值（指向字符类型的指针），所以"fun"+1的结果是原来的指针向前移动一个字符后得到地址值，这时它指向"fun"的第二个字符'u'。

明白了以上三点，再来分析这个程序就没有什么困难了。

对上面帖子中的一些说明更正：

>;>; 程序的正常输出是：unix
对。但是仅限于Unix和Linux系统。

>;>; 如果被替换成2，可能会输出：s
应该输出 six

>;>; 如果被替换成3，应改是一个空行。
应该输出 ix

i子休

1. 首先是unix宏定义的问题。其实，gcc中预先定义了几个宏，其中一个就是unix。这些预先定义好的宏位于文件specs内（用 gcc -v 命令可以查看到这个文件的路径）。unix宏被预定义为 1。

原来是这样，多谢，多谢。。