国际C语言混乱代码大赛代码赏析

国际C语言混乱代码大赛（The International Obfuscated C Code Contest IOCCC）。IOCCC有许多令人捧腹之处，不管你是自己编写还是时候分析获胜者的代码，都能够以令人惊讶的方式扩展你的知识。通常有10种类型的获胜者：“对规则的最奇怪的滥用”，“最具创意的源代码布局”，“最简单的单行代码”等。综合性的“最佳上镜”奖授予最难阅读、行为最为古怪（但能够运行）的C程序的作者。下面我们来欣赏并分析1987年，贝尔实验室的David Korn提交的获奖代码：

[cpp]  view plain copy print ?

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

这段代码打印出什么东西？（提示：和“have fun无关”）。

首先看一段代码: 

[cpp]  view plain copy print ?

1. #include   
2. int main()   
3. {   
4.     int a[5]={1,2,3,4,5};   
5.     printf("%d\n",3[a]);   
6.     return 0;   
7. }   

在C语言中，其实数组的引用可以3[a]这样的形式的，等价于a[3]。 再看下面一段代码: 

[cpp]  view plain copy print ?

1. #include   
2. int main()   
3. {   
4.     int a[5]={1,2,3,4,5},i=4;   
5.     printf("%d\n",3[a]);   
6.     printf("%d\n",i[a]);   
7.     return 0;   
8. }   

这样的表示也是可以的。i[a]实际上相当于a[4]了。 再看下面一段代码: 

[cpp]  view plain copy print ?

1. #include   
2. int main()   
3. {   
4.     printf("%d\n",unix);   
5.     return 0;   
6. }   

为什么我没有定义unix也能打印出来呢？ 原因是unix被编译器内定为一个宏。 相当于#define unix 1 这样打印出来1。 下面来解释一下这个问题. 

[cpp]  view plain copy print ?

1. #include   
2. int main()   
3. {   
4.     printf("%c\n",(unix)["have"]);   
5.     return 0;   
6. }   

这里的unix相当于1 ，那么unix["have"]相当于 "have"[1] 我们都知道"have"是个字符数组。那么 "have"[1]就相当于引用这个"have"数组下标为1的字符了，实际上就是a;：

[cpp]  view plain copy print ?

1. #include   
2. int main()   
3. {   
4.     printf("0x%x",'a');   
5.     return 0;   
6. }   

a的asc码的16进制表示为0x61。(unix)["have"]+"fun"-0x60就相当于0x61-0x60+"fun"相当于 0x01+"fun" ，相当于字符指针后移并指向"un"了 。这样后面的部分解释完了。

[cpp]  view plain copy print ?

1. #include   
2. int main()   
3. {   
4.     printf(&unix["\021ix\012\0"]);   
5.     return 0;   
6. }   

我们首先把%s去掉。%s实际上是刚刚讲过的"un"的格式。 我们知道unix宏的值 是1，那么

[cpp]  view plain copy print ?

1. printf(&unix["\021ix\012\0"]);  

相当于

[cpp]  view plain copy print ?

1. printf(&1["\021ix\012\0"]);  

根据上贴我说的 1["have"]这个形式，同理能得到：

[cpp]  view plain copy print ?

1. printf(&"\021ix\012\0"[1]);  

这个形式了。 这个引用和上面的有所区别区别在于&。那么一个字符数组从它的下标为1 的元素取地址就可以得到一个字符串指针。 还原回去 相当于

[cpp]  view plain copy print ?

1. printf(&"\021%six\012\0"[1],"un");  

也就是说把第一个元素跳过去了把\021跳了过去。相当于：

[cpp]  view plain copy print ?

1. printf("%six\012\0","un")  

\012 是asc码里的回车。这个串相当于：

[cpp]  view plain copy print ?

1. printf("%six\n\0","un");  

至此 这个问题解决了...

总结：该代码主要应用了x[a]和指针运算等一些知识，对数组和指针的理解有很大的帮助！