标签 Blog 下的文章

C复杂声明解析

部门最近在进行C培训,由于有一个新员工需要我来指导,所以看了一下培训用的ppt,了解一下新员工的学习进度,恰看到ppt中有关“如何读懂复杂C声明”的章节。遂想起来自己在看《C专家编程》时,这块儿看得并不是很深刻,万一新员工问到我这块儿…,我不能打没有准备之仗,遂恶补之。

复杂的C声明一般被认为不是很好的编程习惯,当然也就不推荐使用。但是在读很多前辈遗留的代码时,又不得不面对这一问题。知道总比不知道好,我们还是来看看分析复杂C语言声明的规则吧,用例子分析最直观。

一、“right-left”规则
看过《C专家编程》中的分析规则,用起来并不是很舒服,遂在网上寻找,发现还有一个著名的“right-left”规则。规则经翻译总结后如下:

“right-left”规则:
0. 规则中符号
 *  读作 “指向…的指针”  
 []   读作 “…的数组”  
 ()  读作 “返回…的函数”
1. 起始点
 找到声明中的标识符(Identifier),它就是你分析的起始点,读作:“$(Identifier)是…”;

2. 右边
 看你的标识符右边
 a) 如果发现“()”,你将知道这是一个函数声明,这时你可以说“$(Identifier)是返回…的函数”;
 b) 如果发现“[]”,你将知道这是一个数组声明,这时你可以说“$(Identifier)是…的数组”;
 c) 继续向右,直到遇到右边声明结束或者遇到“)”,继续下面。
3. 左边
 看你的标识符左边
 a) 如果碰到的不是我们在0.中定义的符号,则直接说出它;否则按照0.中定义的符号含义说出。继续向左,直到遇到左边声明结束或“(”。
4. 重复2和3的步骤,直到声明分析完毕。

二、例子详解
我们从简单到复杂,循序渐进。
[Example 1] int *p[];
1) 找到标识符:p,读作:“p是…”;
2) 向右看:发现一“[]”,然后遇到右边声明结尾,读作:“p是…的数组”;
3) 向左看:发现一“*”, 读作:“p是指向…的指针的数组”;
4) 继续向左看:没有发现0.中定义的符号,则分析结束,读作:“p是指向int类型的指针的数组”。

[Example 2] int *(*func())();
1) 找到标识符:func,读作:“func是…”;
2) 向右看:发现一“()”,然后遇到“)”,读作:“func是返回…的函数”;
3) 向左看:发现一“*”,然后遇到“(”,读作:“func是返回指向…的指针的函数”;
4) 向右看:发现一“()”,然后右边声明结束,读作:“func是返回指向返回…的函数的指针的函数”;
5) 向左看:发现一“*”,读作:“func是返回指向返回指向…的指针的函数的指针的函数”;
6) 向左看:没有发现.中定义的符号,则分析结束,读作:“func是返回指向返回指向int类型的指针的函数的指针的函数”。

三、常见不合法的声明符号组合
包括:
 []() – cannot have an array of functions
 ()() – cannot have a function that returns a function
 ()[] – cannot have a function that returns an array

现在新员工来问我相关问题,我已经是“来者不拒”了,呵呵。

走马观花ANSI C标准-类型

类型(type)

1、类型分为:
   a) object type — types that fully describe objects
   b) function type — types that describe functions
   c) uncomplete type — types that describe objects but lack information needed to determine their sizes,如void

2、在C99中加入了布尔类型_Bool,其定义为大小足够容纳0和1的类型。检查一下手头的编译器发现GCC 3.4.3支持_Bool,而Microsoft C/C++  Version 12.00.8168(VC6.0)则不支持。

3、char类型被定义为:大小足以容纳任何一个“basic execution charactor set”中的字符。如果任何一个“basic execution charactor set”中的字符存储在一个char中,它的值可以保证为“positive”;其他字符存储在一个char中,其值要根据具体的实现定义了。

4、标准定义了5个有符号整型:signed char, short int, int, long int, and long long int。当然各个不同的实现可以定义自己的扩展有符号整型。我们常说的有符号整型指的是标准的和扩展的统称。一个signed char占用的内存空间和一个"plain" char相同。一个"plain" int拥有执行环境架构建议的“自然大小”。区间在[INT_MIN, INT_MAX](in limits.h)

5、每一个标准定义的有符号整型都对应着一个unsigned int type, 它们称为标准无符号整型。它们占据的内存空间与有符号整型相同。和有符号整型一样,各个不同的实现定义了相关的扩展无符号整型。它们放在一起统称为“无符号整型”。

6、标准定义了3个“浮点实型”,分别为:float , double , long double。float的值的范围是double值范围的子集,同样double的值的范围是long double值范围的子集。

7、char type, signed int和unsigned int types, float type被统称为"basic types"。枚举是一个整型常量的集合。char type, signed int和unsigned int types和枚举统称为integer types。integer types和real floating types统称为"real types"。

8、void是个典型的uncomplete type,而且不能被completed;一个没有指定size的数组类型也是uncomplete type,但是却可以被completed。

9、到目前为止,以上提到都是"unqualified type", 每个"unqualified type"都有若干个qualified type. 通过与几个qualifiers : const、volatile、restrict的组合即可。

如发现本站页面被黑,比如:挂载广告、挖矿等恶意代码,请朋友们及时联系我。十分感谢! Go语言第一课 Go语言进阶课 Go语言精进之路1 Go语言精进之路2 Go语言第一课 Go语言编程指南
商务合作请联系bigwhite.cn AT aliyun.com

欢迎使用邮件订阅我的博客

输入邮箱订阅本站,只要有新文章发布,就会第一时间发送邮件通知你哦!

这里是 Tony Bai的个人Blog,欢迎访问、订阅和留言! 订阅Feed请点击上面图片

如果您觉得这里的文章对您有帮助,请扫描上方二维码进行捐赠 ,加油后的Tony Bai将会为您呈现更多精彩的文章,谢谢!

如果您希望通过微信捐赠,请用微信客户端扫描下方赞赏码:

如果您希望通过比特币或以太币捐赠,可以扫描下方二维码:

比特币:

以太币:

如果您喜欢通过微信浏览本站内容,可以扫描下方二维码,订阅本站官方微信订阅号“iamtonybai”;点击二维码,可直达本人官方微博主页^_^:
本站Powered by Digital Ocean VPS。
选择Digital Ocean VPS主机,即可获得10美元现金充值,可 免费使用两个月哟! 著名主机提供商Linode 10$优惠码:linode10,在 这里注册即可免费获 得。阿里云推荐码: 1WFZ0V立享9折!


View Tony Bai's profile on LinkedIn
DigitalOcean Referral Badge

文章

评论

  • 正在加载...

分类

标签

归档



View My Stats