右左法则解决复杂声明

Author:bakari       Date: 2012.8.27

现在很多IT公司的面试题都或多或少会有复杂声明的题,有一点C基础的人或许能够瞎搬乱套做对,但这样你肯定不爽,一方面显得不专业,有点自欺欺人的感觉,另一方面如果遇到更加复杂的声明就彻底傻了,本篇主要就一些复杂的声明介绍一种方法,这个有些书上也有介绍,比如《C专家编程》。个人觉得这个没有必要深究,只做了解即可,很多时候编程都很难用到,不过这也是大神和一般程序员的区别。

右左法则不是C标准里面的内容,它是从C标准的声明规定中归纳出来的方法。C标准的声明规则,是用来解决如何创建声明的,而右左法则是用来解决如何辩识一个声明的。

究竟右左法则的规律是什么呢?顾名思义,从声明的右边看到左边,下面是左右法则的专业解释:

右左法则:首先从最里面的圆括号(应该是未定义的标识符)看起,然后往右看,再往左看。每当遇到圆括号时,就应该掉转阅读方向。一旦解析完圆括号里面所有的东西,就跳出圆括号。重复这个过程直到整个声明解析完毕。

下面通过10个例子来说明,由易到难,慢慢加深。

一、例子

(1)int (*func)(int *p);

(2)int (*func)(int *p, int (*f)(int*));

(3)int (*func[5])(int *p);

(4)int (*(*func)[5])(int *p);

(5)int (*(*func)(int *p))[5];

(6)int func(void) [5]; //错误

(7)int func[5](void); //错误

(8)int (*(*func)[5][6])[7][8];

(9)int (*(*(*func)(int *))[5])(int *);

(10)int (*(*func[7][8][9])(int*))[5];

可以自己先看,然后在看后面的答案:

二、 题目练习: 1、 D1ouble (*(*(*fp3)())[10])(), 采用右左法则对此表达式进行分析说明。 2、 int func(void) [5],采用右左法则对此表达式进行分析说明。 3、 int * (* (*fp1) (int) ) [10],采用右左法则对此表达式进行分析说明。

例子答案

(1)int (*func)(int *p);

首先找到那个未定义的标识符,就是func,它的外面有一对圆括号,而且左边是一个*号,这说明func是一个指针,然后跳出这个圆括号,先看右边,也是一个圆括号,这说明(*func)是一个函数,而func是一个指向这类函数的指针,就是一个函数指针,这类函数具有int*类型的形参,返回值类型是 int。

(2)int (*func)(int *p, int (*f)(int*));

func被一对括号包含,且左边有一个*号,说明func是一个指针,跳出括号,右边也有个括号,那么func是一个指向函数的指针,这类函数具有int *和int (*)(int*)这样的形参,返回值为int类型。再来看一看func的形参int (*f)(int*),类似前面的解释,f也是一个函数指针,指向的函数具有int*类型的形参,返回值为int。

(3)int (*func[5])(int *p);

func右边是一个[]运算符,说明func是一个具有5个元素的数组,func的左边有一个*,说明func的元素是指针,要注意这里的*不是修饰 func的,而是修饰func[5]的,原因是[]运算符优先级比*高,func先跟[]结合,因此*修饰的是func[5]。跳出这个括号,看右边,也是一对圆括号,说明func数组的元素是函数类型的指针,它所指向的函数具有int*类型的形参,返回值类型为int。 (4)int (*(*func)[5])(int *p);

func被一个圆括号包含,左边又有一个*,那么func是一个指针,跳出括号,右边是一个[]运算符号,说明func是一个指向数组的指针,现在往左看,左边有一个*号,说明这个数组的元素是指针,再跳出括号,右边又有一个括号,说明这个数组的元素是指向函数的指针。总结一下,就是:func是一个指向数组的指针,这个数组的元素是函数指针,这些指针指向具有int*形参,返回值为int类型的函数。

(5)int (*(*func)(int *p))[5];

func是一个函数指针,这类函数具有int*类型的形参,返回值是指向数组的指针,所指向的数组的元素是具有5个int元素的数组。

要注意有些复杂指针声明是非法的,例如:

(6)int func(void) [5];

func是一个返回值为具有5个int元素的数组的函数。但C语言的函数返回值不能为数组,这是因为如果允许函数返回值为数组,那么接收这个数组的内容的东西,也必须是一个数组,但C语言的数组名是一个右值,它不能作为左值来接收另一个数组,因此函数返回值不能为数组。

(7)int func[5](void);

func是一个具有5个元素的数组,这个数组的元素都是函数。这也是非法的,因为数组的元素除了类型必须一样外,每个元素所占用的内存空间也必须相同,显然函数是无法达到这个要求的,即使函数的类型一样,但函数所占用的空间通常是不相同的。

(8)int (*(*func)[5][6])[7][8];

func是一个指向数组的指针,这类数组的元素是一个具有5X6个int元素的二维数组,而这个二维数组的元素又是一个二维数组。typedef分解:

typedef int (*PARA)[7][8]; typedef PARA (*func)[5][6];

(9)int (*(*(*func)(int *))[5])(int *);

func是一个函数指针,这类函数的返回值是一个指向数组的指针,所指向数组的元素也是函数指针,指向的函数具有int*形参,返回值为int。typedef分解:

typedef int (*PARA1)(int*); typedef PARA1 (*PARA2)[5]; typedef PARA2 (*func)(int*);

(10)int (*(*func[7][8][9])(int*))[5];

func是一个数组,这个数组的元素是函数指针,这类函数具有int*的形参,返回值是指向数组的指针,所指向的数组的元素是具有5个int元素的数组。typedef分解:

typedef int (*PARA1)[5]; typedef PARA1 (*PARA2)(int*); typedef PARA2 func[7][8][9];

【小结】实际当中,需要声明一个复杂指针时,如果把整个声明写成上面所示的形式,对程序可读性是一大损害。应该用typedef来对声明逐层分解,增强可读性。例子(8)(9)(10)给出了typedef分解。另外,函数不能声明返回一个函数类型。

练习答案:

1、 定义一个指针指向一个函数,函数返回值 为一个指针,指向有10个元素组成的数组,数组里存的是一个指针,指向一个函数,函数返回值为double型。 2、 Func是一个参数类型为空,返回值为具有5个int型的数组的函数。函数的返回值不能为数组,数组只能作为右值,所以此函数非法。 3、 定义一个指针,指向一个函数,函数参数类型为int型,返回值为一个指针,指向10个元素组成的int型的指针数组。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏程序员互动联盟

【面试宝典】static 关键字

面试官:static关键字你了解吗?说一下你的认识。 小白:啊.....有点晕呀,这么宽泛的问题,我该从哪回答呢?头脑一片空白。让我想想...... 面试官:没...

37160
来自专栏Python小屋

Python求解进制问题(阿里巴巴2015笔试题)

问题描述:用十进制计算30的阶乘,然后把结果转换成三进制表示,那么该进制表示的结果末尾会有多少个连续0? 解析:作为笔试题的话,要想按照题意先把阶乘结果计算出来...

39970
来自专栏iOS开发随笔

iOS Swift基础语法(一)

12540
来自专栏小古哥的博客园

秒懂JS对象、构造器函数和原型对象之间的关系

学习JS的过程中,想要掌握面向对象的程序设计风格,对象模型(原型和继承)是其中的重点和难点,拜读了各类经典书籍和各位前辈的技术文章,感觉都太过高深,花费了不少时...

33770
来自专栏老九学堂

一分钟掌握C语言结构体常见方法

把结构体名称去掉,这样更简洁,不过也不能定义其他同结构体变量了——至少我现在没掌握这种方法。

16220
来自专栏程序员互动联盟

【面试宝典】continue、break和return

面试官:continue会用吧。 小白:用来结束当前循环的。 面试官:那break呢? 小白:也是用来结束循环的。 面试官:那么它们的区别呢? 面试解析: 面试...

37080
来自专栏编程心路

Java基础-抽象类和接口

抽象类和接口也是 Java 面试中常考的,下面就来总结一下抽象类和接口的相关知识。

15550
来自专栏编舟记

Monad

什么是函数(Function)? 函数表达的映射关系在类型上体现在特定类型(proper type)之间的映射。

8650
来自专栏老马说编程

(26) 剖析包装类 (上) / 计算机程序的思维逻辑

包装类 Java有八种基本类型,每种基本类型都有一个对应的包装类。 包装类是什么呢?它是一个类,内部有一个实例变量,保存对应的基本类型的值,这个类一般还有一些...

237100
来自专栏小樱的经验随笔

KMP算法学习(详解)

kmp算法又称“看毛片”算法,是一个效率非常高的字符串匹配算法。不过由于其难以理解,所以在很长的一段时间内一直没有搞懂。虽然网上有很多资料,但是鲜见好的博客能简...

32350

扫码关注云+社区

领取腾讯云代金券