国际C语言混乱代码大赛代码赏析(一)【转】

本文转载自：http://blog.csdn.net/ce123_zhouwei/article/details/9073869

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

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

 

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

 

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

首先看一段代码: 

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

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

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

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

#include
int main()
{
    printf("%d\n",unix);
    return 0;
}

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

#include
int main()
{
    printf("%c\n",(unix)["have"]);
    return 0;
}

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

#include
int main()
{
    printf("0x%x",'a');
    return 0;
}

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

#include
int main()
{
    printf(&unix["\021ix\012\0"]);
    return 0;
}

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

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

相当于

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

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

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

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

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

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

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

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

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

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

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