C++变量判定的螺旋法则示例详解
前言
C++中一个标识符配合着各种修饰界定符,使得标识符的本意不那么直观一眼就能看出,甚至需要仔细分析,才能知道该标识符的具体你含义。
比如:
void(*signal(int,void(*fp)(int)))(int);
其中signal是什么?
螺旋法则
对于如何进行变量的辩识,有个非官方的“顺时针/螺旋法则(Clockwise/SpiralRule)”可用来帮助辩识。
该法则的内容,简单来说,为了搞清楚一个未知标识符的含义,我们可以:
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和它修饰的元素作为整体来看,就还是可以使用螺旋法则的。
考察如下语句:
constint*constMethod3(constint*const&)const;
当函数后面紧跟一个const时,表示该成员函数的作用域内*this是常量,即无法在该函数体内对所类的实体进行修改。
下面对上面的语句进行分析:
- 从Method3出发,遇到(,所以Method3是一个函数,接收一个引用作为入参constint*const&部分。
- 该引用的类型是constint*const,指向整形常量的常量指针。
- 继续遇到*const,所以函数的返回值为常量指针。指针指向的类型为constint整形常量。
- 函数末尾的const如前所述,标识函数体内不修改实例。
相关资源
- The``Clockwise/SpiralRule''
- TheC++'const'Declaration:Why&How
总结
以上就是我在处理客户端真实IP的方法,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,谢谢大家对毛票票的支持。