间:6min

C++ 中一个标识符配合着各种修饰界定符,使得标识符的本意不那么直观一眼就能看出,甚至需要仔细分析,才能知道该标识符的具体你含义。

比如:

void (*signal(int, void (*fp)(int)))(int);

其中 signal 是什么?

螺旋法则

对于如何进行变量的辩识,有个非官方的 “顺时针/螺旋法则(Clockwise/Spiral Rule)” 可用来帮助辩识。

该法则的内容,简单来说,为了搞清楚一个未知标识符的含义,我们可以:

  1. 从我们需要判定的标识符开始,顺时针画圈,遇到如下符号时,用对应的语义替换:
  • [x] 或 [] => 容量为 x 的数组或数组
  • (type1,type2...) => 接收 type1type2... 的函数,返回值为(待定)
  • * => 指向(类型待定)的指针
  1. 重复上面的步骤直到语句中所有符号都被遍历过。
  2. 始终优先解析括号括起来的部分。

实地演练

一个简单的示例

先从一个简单的开始,判定如下语句中 str 的含义:

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

根据螺旋法则,如上面线图标识所示,

  • 从 str 这个需要被判定的对象出发。
  • 螺旋路径上第一次遇到的是 [左方括号,由此我们知道,str是一个尺寸为 10 的数组。
  • 继续旋转,遇到 *,所以 str是一个尺寸为 10 的数组,数组元素为指针。
  • 继续,遇到 ; 标识语句的结束。
  • 再继续,遇到 char,所以 str是一个尺寸为 10 的数组,数组元素为指向