C++變量判定的螺旋法則是什么

本篇內容主要講解“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++變量判定的螺旋法則是什么”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！