人肉编译器：解读C/C++中复杂声明的“顺时针螺旋法则”

[This was posted to comp.lang.c by its author, David Anderson, on 1994-05-06.] The **Clockwise/Spiral Rule**
By David Anderson
Copyright © 1993,1994 David Anderson This article may be freely distributed as long as the author’s name and this notice are retained.
本文英文原文在: [http://c-faq.com/decl/spiral.anderson.html](http://c-faq.com/decl/spiral.anderson.html)

江湖中流传一种“顺时针/螺旋式法则”，能让任何C程序员在头脑中解析任意C声明！

只需以下三个简单的步骤：

1. 从待解项开始，并以螺旋式/顺时针方向移动;将后面碰到的每一声明项用相应的英文语句代替： * [X] 或 []: Array X size of… or Array undefined size of… * (type1, type2): function passing type1 and type2 returning… * *: pointer(s) to…
2. 继续按螺旋式/顺时针方向解析直到所有符号都处理完毕。
3. 总是优先处理括号里的项！

                     +-------+
                     | +-+   |
                     | ^ |   |
                char *str[10];
                 ^   ^   |   |
                 |   +---+   |
                 +-----------+

我们自问：str是什么？

"str is an ...

• 从str开始我们按螺旋式顺时针方向移动， 看到的第一个字符是[ , 这意味着有一个数组，那么… "str is an array 10 of...
• 继续按螺旋式顺时针方向移动，碰到的下一个字符是*, 意味着有一个指针，那么… "str is an array 10 of pointers to...
• 继续按螺旋式顺时针方向移动，看到了行结束符;，于是继续移动，直到碰到类型char, 那么… "str is an array 10 of pointers to char"
• 我们已经访问了所有的声明项，因此完成解析！

将解析得到的语句翻译成中文: str是大小为10，元素类型是指向char的指针的数组。

                     +--------------------+
                     | +---+              |
                     | |+-+|              |
                     | |^ ||              |
                char *(*fp)( int, float *);
                 ^   ^ ^  ||              |
                 |   | +--+|              |
                 |   +-----+              |
                 +------------------------+

我们自问：fp是什么？

“fp is a...

• 按螺旋式顺时针方向移动，我们看到的第一个字符是), 因此，fp是在一个括号内，于是在括号内继续螺旋式移动，看到的下一个字符是*, 那么… "fp is a pointer to...
• 我们现已在括号外面了，继续螺旋式顺时针移动，看到(, 这意味着有一个函数，那么… "fp is a pointer to a function passing an int and a pointer to float returning...
• 继续按螺旋式移动，看到*, 那么… "fp is a pointer to a function passing an int and a pointer to float returning a pointer to...
• 继续按螺旋式移动，看到;, 但是我们还没有访问完所有的声明项, 于是我们继续移动，最后看到类型char, 那么… "fp is a pointer to a function passing an int and a pointer to float returning a pointer to a char"

将解析得到的语句翻译成中文: fp是一个函数指针，该函数传入一个int和一个float指针类型的参数，并返回一个char指针。

                      +-----------------------------+
                      |                  +---+      |
                      |  +---+           |+-+|      |
                      |  ^   |           |^ ||      |
                void (*signal(int, void (*fp)(int)))(int);
                 ^    ^      |      ^    ^  ||      |
                 |    +------+      |    +--+|      |
                 |                  +--------+      |
                 +----------------------------------+

我们问自己：signal是什么？

注意到signal在括号内，我们必须首先对它进行解析。

• 按顺时针方向移动，看到(，那么… "signal is a function passing an int and a...
• 呃，我们可以用相同的法规对fp进行解析，那么… fp是什么？ fp同样也在括号内，于是继续移动，看到*，那么… "fp is a pointer to...
• 继续按螺旋式顺时针方向移动，然后看到(，那么… "fp is a pointer to a function passing int returning...
• 现在我们在函数括号外了，继续移动看到void, 那么… "fp is a pointer to a function passing int returning nothing (void)
• 我们已完成对fp的解析，现在返回signal，我们现在有… "signal is a function passing an int and a pointer to a function passing an int returning nothing (void) returning...
• 我们仍在括号内，下一个看到的符号是*，那么… "signal is a function passing an int and a pointer to a function passing an int returning nothing (void) returning a pointer to...
• 我们现在已经解析完括号内的所有声明项了，继续顺时针移动，看到另一个(，那么… "signal is a function passing an int and a pointer to a function passing an int returning nothing (void) returning a pointer to a function passing an int returning...
• 最后继续移动，现在唯一剩下的项就是void了, 于是signal的最终完整定义是: “signal is a function passing an int and a pointer to a function passing an int returning nothing (void) returning a pointer to a function passing an int returning nothing (void)"

翻译成中文：signal是一个函数，该函数有一个int和一个指向函数的指针类型的参数fp，并返回一个函数指针; 其中，作为参数的函数指针fp所指向的函数，具有一个int参数并返回void;作为返回值的函数指针所指向的函数，具有一个int参数并返回void。

相同的法规同样适用于const和volatile。例如：

const char *chptr;

chptr是什么 ??

"chptr is a pointer to a char constant"

那么这个呢： char * const chptr;

chptr是什么 ?? ”chptr is a constant pointer to char“

最后: Volatile char * const chptr;

chptr是什么 ?? "chptr is a constant pointer to a char volatile."

本文转载收藏于此。点击看中文原文