C++ 中一個標識符配合著各種修飾界定符，使得標識符的本意不那么直觀一眼就能看出，甚至需要仔細分析，才能知道該標識符的具體你含義。

比如：

其中 signal 是什么？

螺旋法則

對于如何進行變量的辯識，有個非官方的 “順時針/螺旋法則（Clockwise/Spiral Rule）” 可用來幫助辯識。

該法則的內容，簡單來說，為了搞清楚一個未知標識符的含義，我們可以：

• [x] 或 [] => 容量為 x 的數組或數組
• (type1,type2...) => 接收 type1、type2... 的函數，返回值為（待定）
• * => 指向（類型待定）的指針

實地演練

一個簡單的示例

先從一個簡單的開始，判定如下語句中 str 的含義：

根據螺旋法則，如上面線圖標識所示，

• 從 str 這個需要被判定的對象出發。
• 螺旋路徑上第一次遇到的是 [ 左方括號，由此我們知道，str 是一個尺寸為 10 的數組。
• 繼續旋轉，遇到 *，所以 str 是一個尺寸為 10 的數組，數組元素為指針。
• 繼續，遇到 ; 標識語句的結束。
• 再繼續，遇到 char，所以 str 是一個尺寸為 10 的數組，數組元素為指向 char 類型的指針。

進階

回到文章開頭那個語句，來判定其中 signal 的含義。

由螺旋法則畫出如上的線圖，進而可分析：

• 從要判定的 signal 出發首次遇到 ( 左括號，表示 signal 是一個函數，入參為 int 和 ...
• 此處需要需要進一步運用螺旋法則先確定 fp 的含義，才能進而確認 signal 這個函數的完整入參。所以從 fp 了發進行一次子螺旋。
• 因為需要優先解析括號括起來的部分，所以轉一圈回來首次遇到的是 *，由此 fp 是一個指針。
• 繼續解析 fp，遇到 (，所以 fp 是一個指向函數的指針，這個函數接收一個 int 類型的入參。
• 繼續下去，遇到 void，所以 fp 是一個指向函數的指針，這個函數接收一個 int 類型的入參并且返回值為空。
• 至此完成了 fp 的解析，可以知道 signal 的類型為：
  • 是一個函數，入參為：
    • 一個 int 類型
    • 一個指向函數的指針，這個函數接收一個 int 類型的入參并且返回值為空
• 路徑跑到 signal 的螺旋中，遇到 *（緊鄰 signal 左邊），所以 signal 是
  • 一個函數，入參為：
    • 一個 int 類型
    • 一個指向函數的指針，這個函數接收一個 int 類型的入參并且返回值為空
  • 返回值為指針
• 再繼續，遇到 (，接上面，返回值為指向另一函數的指針，被指向的這個函數接收一個 int 入參。
• 最后，遇到 void，signal 返回值指向的這個函數的返回值為空。

最后捋一下 signal 的完整類型為：接收一個 int，一個指向接收一個 int 并且返回值為空的函數的指針，這兩個參數的函數，并且返回值為指向一個接收 int 型返回為空的函數...Orz。

成員函數的判定

螺旋施法沒有給出在 const 參與的情況下的判定，不過因為 const 默認修飾緊鄰其左邊的元素，如果右邊無元素，則修飾左邊的元素。因此只需要將 const 和它修飾的元素作為整體來看，就還是可以使用螺旋法則的。

考察如下語句：

當函數后面緊跟一個 const 時，表示該成員函數的作用域內 *this 是常量，即無法在該函數體內對所類的實體進行修改。

下面對上面的語句進行分析：

• 從 Method3 出發，遇到 (，所以 Method3 是一個函數，接收一個引用作為入參 const int*const& 部分。
• 該引用的類型是 const int*const，指向整形常量的常量指針。
• 繼續遇到 *const，所以函數的返回值為常量指針。指針指向的類型為 const int 整形常量。
• 函數末尾的 const 如前所述，標識函數體內不修改實例。

相關資源

• The ``Clockwise/Spiral Rule''
• The C++ 'const' Declaration: Why & How