C语言混乱大赛1987年获奖作品

今天翻前两天刚送到的《C专家编程》，章节8.10的那个IOCCC 1987年的获奖作品让我觉得很好玩

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

 

作者这里利用的第一个技巧并不算太晦涩： "a[i] = i[a]=  *(a+i)“ 即下标运算符的可交换性。

但是这个老天爷的unix和&unix是怎么回事？

我把自己脑子里有印象的C的最隐蔽的角落回想了一遍，难道是trigraph之类的特殊符号？查了查不是

正推不行，就反推吧。编译运行后，输出结果是“unix“。如此说来“(unix)["have"] + "fun" - 0x60)“这个表达式的结果应该是指向"un"的char * ；因此，“(unix)["have"] - 0x60"的值应该是整数1才对；因此“(unix)["have"]"的值应该是0x61；这就豁然开朗了，0x61='a'，是"have"中的第二个字符，所以unix的值必然为1。

这个反推是否正确呢? 利用gcc看下只进行preprocessor处理后的代码：

whodare@whodare:~/programming/c++$ gcc -E 1.c

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

正确。unix看来是属于预定义的marco，值为1。拿“gcc predefined marco"为关键字google了一下，找到可信资料了：

http://gcc.gnu.org/onlinedocs/cpp/System_002dspecific-Predefined-Macros.html#System_002dspecific-Predefined-Macros

原来unix这个宏是属于gcc提供的 System-specific Predefined Macros，因此这个奇妙的函数只能在*nix环境下正常工作。

可以查看更多的gcc提供的predefined marco

gcc  - dM  - E 1.c

顺便附上历史文献，哈哈

Best One Liner:

    David Korn
    AT&T Bell Labs
    MH 3C-526B, AT&T Bell Labs
    Murray Hill, NJ
    07974
    USA


   The Judges believe that  this   is  the best one line entry ever received.
Compile on a UN * X system, or at least  using  a C implementation that
fakes it.  Very few people are able to determine what  this  program
does by visual inspection.  I suggest that you stop reading  this
section right now and see  if  you are one of the few people who can.

Several points are important to understand  in   this  program:

     1 ) What  is  the symbol `unix '  and what is its value in the program?
       Clearly `unix '  is not a function, and since `unix '   is  not declared
       to be a data type (such  as   int ,  char ,  struct  foo,  enum , ...)
       what must `unix '  be?

     2 ) What  is  the value of the symbol  " have " ?   (hint: the value  is
       NOT  4  characters, or  ' h ' , or a  string )  Consider the fact that:

         char   * x;

      defines a pointer to a character (i.e. an address), and that
      the ` = '  assigns things is compatible types.  Since:

            x  =   " have " ;

       is  legal C, what type of value  is   " have " ?

     3 ) Note that the following expressions  yield  the same value:
(unix)[ " have " ]  +   " fun "   -   0x60 )
        x[ 3 ]     * (x + 3 )       * ( 3 + x)

       since addition  is  communitive.  What can be said about the value:

         3 [x]