如何在C++中使用螺旋法則判定變量

本篇文章給大家分享的是有關如何在C++中使用螺旋法則判定變量，小編覺得挺實用的，因此分享給大家學習，希望大家閱讀完這篇文章后可以有所收獲，話不多說，跟著小編一起來看看吧。

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

比如：

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

其中 signal 是什么？

螺旋法則

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

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

1、從我們需要判定的標識符開始，順時針畫圈，遇到如下符號時，用對應的語義替換：

• [x] 或 [] => 容量為 x 的數組或數組

• (type1,type2...) => 接收 type1、type2... 的函數，返回值為（待定）

• * => 指向（類型待定）的指針

2、重復上面的步驟直到語句中所有符號都被遍歷過。

3、始終優先解析括號括起來的部分。

實地演練

一個簡單的示例

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

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

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

• 從 str 這個需要被判定的對象出發。

• 螺旋路徑上第一次遇到的是 [ 左方括號，由此我們知道，str 是一個尺寸為 10 的數組。

• 繼續旋轉，遇到 *，所以 str 是一個尺寸為 10 的數組，數組元素為指針。

• 繼續，遇到 ; 標識語句的結束。

• 再繼續，遇到 char，所以 str 是一個尺寸為 10 的數組，數組元素為指向 char 類型的指針。

進階

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

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

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

從要判定的 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 int*const Method3(const int*const&) const;

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

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

• 從 Method3 出發，遇到 (，所以 Method3 是一個函數，接收一個引用作為入參 const int*const& 部分。

• 該引用的類型是 const int*const，指向整形常量的常量指針。

• 繼續遇到 *const，所以函數的返回值為常量指針。指針指向的類型為 const int 整形常量。

• 函數末尾的 const 如前所述，標識函數體內不修改實例。

以上就是如何在C++中使用螺旋法則判定變量，小編相信有部分知識點可能是我們日常工作會見到或用到的。希望你能通過這篇文章學到更多知識。更多詳情敬請關注億速云行業資訊頻道。