超酷的C语言
C语言常常让人觉得它所能表达的东西非常有限。它不具有类似第一级函数和模式匹配这样的高级功能。但是C非常简单,并且仍然有一些非常有用的语法技巧和功能,只是没有多少人知道罢了。
一、指定的初始化
很多人都知道像这样来静态地初始化数组: int fibs[] = {1, 1, 2, 3, 5};
C99标准实际上支持一种更为直观简单的方式来初始化各种不同的集合类数据(如:结构体,联合体和数组)。
二、数组
我们可以指定数组的元素来进行初始化。这非常有用,特别是当我们需要根据一组#define来保持某种映射关系的同步更新时。来看看一组错误码的定义,如:
/* Entries may not correspond to actual numbers. Some entries omitted. */ #define EINVAL 1 #define ENOMEM 2 #define EFAULT 3 /* ... */ #define E2BIG 7 #define EBUSY 8 /* ... */ #define ECHILD 12 /* ... */
现在,假设我们想为每个错误码提供一个错误描述的字符串。为了确保数组保持了最新的定义,无论头文件做了任何修改或增补,我们都可以用这个数组指定的语法。 char *err_strings[] = { [0] = "Success", [EINVAL] = "Invalid argument", [ENOMEM] = "Not enough memory", [EFAULT] = "Bad address", /* ... */ [E2BIG ] = "Argument list too long", [EBUSY ] = "Device or resource busy", /* ... */ [ECHILD] = "No child processes" /* ... */ };
这样就可以静态分配足够的空间,且保证最大的索引是合法的,同时将特殊的索引初始化为指定的值,并将剩下的索引初始化为0。
三、结构体与联合体
用结构体与联合体的字段名称来初始化数据是非常有用的。假设我们定义: struct point { int x; int y; int z; }
然后我们这样初始化struct point: struct point p = {.x = 3, .y = 4, .z = 5};
当我们不想将所有字段都初始化为0时,这种作法可以很容易的在编译时就生成结构体,而不需要专门调用一个初始化函数。
对联合体来说,我们可以使用相同的办法,只是我们只用初始化一个字段。
四、宏列表
C中的一个惯用方法,是说有一个已命名的实体列表,需要为它们中的每一个建立函数,将它们中的每一个初始化,并在不同的代码模块中扩展它们的名字。这在Mozilla的源码中经常用到,我就是在那时学到这个技巧的。例如,在我去年夏天工作的那个项目中,我们有一个针对每个命令进行标记的宏列表。其工 作方式如下:
#define FLAG_LIST(_) _(InWorklist) _(EmittedAtUses) _(LoopInvariant) _(Commutative) _(Movable) _(Lowered) _(Guard)
它定义了一个FLAG_LIST宏,这个宏有一个参数称之为 _ ,这个参数本身是一个宏,它能够调用列表中的每个参数。举一个实际使用的例子可能更能直观地说明问题。假设我们定义了一个宏DEFINE_FLAG,如:
#define DEFINE_FLAG(flag) flag, enum Flag { None = 0, FLAG_LIST(DEFINE_FLAG) Total }; #undef DEFINE_FLAG
对FLAG_LIST(DEFINE_FLAG)做扩展能够得到如下代码:
enum Flag { None = 0, DEFINE_FLAG(InWorklist) DEFINE_FLAG(EmittedAtUses) DEFINE_FLAG(LoopInvariant) DEFINE_FLAG(Commutative) DEFINE_FLAG(Movable) DEFINE_FLAG(Lowered) DEFINE_FLAG(Guard) Total };
接着,对每个参数都扩展DEFINE_FLAG宏,这样我们就得到了enum如下: enum Flag { None = 0, InWorklist, EmittedAtUses, LoopInvariant, Commutative, Movable, Lowered, Guard, Total };
接着,我们可能要定义一些访问函数,这样才能更好的使用flag列表:
#define FLAG_ACCESSOR(flag) bool is##flag() const { return hasFlags(1 << flag); } void set##flag() { JS_ASSERT(!hasFlags(1 << flag)); setFlags(1 << flag); } void setNot##flag() { JS_ASSERT(hasFlags(1 << flag)); removeFlags(1 << flag); } FLAG_LIST(FLAG_ACCESSOR) #undef FLAG_ACCESSOR
一步步的展示其过程是非常有启发性的,如果对它的使用还有不解,可以花一些时间在gcc –E上。
五、编译时断言
这其实是使用C语言的宏来实现的非常有"创意"的一个功能。有些时候,特别是在进行内核编程时,在编译时就能够进行条件检查的断言,而不是在运行时进行,这非常有用。不幸的是, C99标准还不支持任何编译时的断言。
但是,我们可以利用预处理来生成代码,这些代码只有在某些条件成立时才会通过编译(最好是那种不做实际功能的命令)。有各种各样不同的方式都可以做到这一点,通常都是建立一个大小为负的数组或结构体。最常用的方式如下: /* Force a compilation error if condition is false, but also produce a result * (of value 0 and type size_t), so it can be used e.g. in a structure * initializer (or wherever else comma expressions aren"t permitted). */ /* Linux calls these BUILD_BUG_ON_ZERO/_NULL, which is rather misleading. */ #define STATIC_ZERO_ASSERT(condition) (sizeof(struct { int:-!(condition); }) ) #define STATIC_NULL_ASSERT(condition) ((void *)STATIC_ZERO_ASSERT(condition) ) /* Force a compilation error if condition is false */ #define STATIC_ASSERT(condition) ((void)STATIC_ZERO_ASSERT(condition))
如果(condition)计算结果为一个非零值(即C中的真值),即! (condition)为零值,那么代码将能顺利地编译,并生成一个大小为零的结构体。如果(condition)结果为0(在C真为假),那么在试图生成一个负大小的结构体时,就会产生编译错误。
它的使用非常简单,如果任何某假设条件能够静态地检查,那么它就可以在编译时断言。例如,在上面提到的标志列表中,标志集合的类型为uint32_t,所以,我们可以做以下断言: STATIC_ASSERT(Total <= 32)
它扩展为:
(void)sizeof(struct { int:-!(Total <= 32) })
现在,假设Total<=32。那么-!(Total <= 32)等于0,所以这行代码相当于:
(void)sizeof(struct { int: 0 })
这是一个合法的C代码。现在假设标志不止32个,那么-!(Total <= 32)等于-1,所以这时代码就相当于:
(void)sizeof(struct { int: -1 } )
因为位宽为负,所以可以确定,如果标志的数量超过了我们指派的空间,那么编译将会失败。
骗补加价搞阴阳合同!小鹏汽车,又翻车了作者嘉林一纸阴阳合同,把小鹏汽车送上了热搜。近日,有媒体爆料称,消费者在订购小鹏汽车后提车时遭门店加价,门店此举疑似故意做低合同价格以骗取新能源汽车国家补贴。对于骗补的质疑,小鹏汽
广东联通青春卡免流应用范围沃派青春卡2。0产品内定向流量将于2021年9月7日0时起正式升级,升级后的定向流量范围说明详见下文。后续产品会持续更新升级,敬请留意。感谢您对广东联通的支持。1定向流量仅限用户在
国产收音机和日本收音机到底差在哪?炒作的从何而来前阵子入手了一台德生R102收音机(袖珍机),很多网友夸它立体声强大,收台不错,本人实测,效果确实很好,就是塑料壳的手感在手中的感觉显得特别的廉价,当年刚出炉的时候据说销售的价格9
新手主播录书,用什么麦克风呢?最近很多朋友留言私信问到麦的问题,我就跟大家说说。首先我刚开始买的是AKG的莱拉,这是一款USB直插电容麦,价位在1500左右,刚拿到的时候,因为第一次接触,没有对比,觉得声音很干
最新可靠性排名丰田只排第三,特斯拉倒数第二Hello大家好!我是陈杰可靠性始终是大家买车时最关心的问题之一,但和性能配置舒适性等比起来,评价一辆车的可靠性就要困难多了。前者都可以通过严格的数据和亲身的体验即时感受到,但可靠
B站想做微短剧市场的新变量图片来源视觉中国文文娱商业观察,作者富贵市场总是从一个风口到另一个风口,而在当下的互联网中除去元宇宙,微短剧算是最热火朝天的一个。对比元宇宙,微短剧并不新鲜。行业公认的最早代表可以
入坑链游你必须知道的十件事入坑链游你必须知道的十件事!很多朋友在加了我们公会后,对链游的概念依旧还是很模糊不清,今天这一期从各个角度告诉大家,入坑链游,你必须要了解清楚的事!1什么是链游?简单理解就是在区块
EDA软件行业深度研究国产EDA的奋起(报告出品方作者海通证券郑宏达)1。一颗芯片的诞生什么是EDA数字电路和模拟电路半导体市场按照产品可以分为集成电路和OSD(分立器件光电器件和传感器)。集成电路分为模拟IC和数字I
为何最近青睐支付宝的人突然大增?微信支付会被遗忘么?因为支付宝最近有活动,而且力度很大,主要是以前似乎被忽略的菜市场成为了活跃地带。要知道逛菜市场的主要人群是中老年人,他们一般很少用支付宝,现在菜市场小商贩积极推广,而中老年人普遍都
3款涉黄APP被查获,涉及资金近1个亿,互联网色情为何屡禁不止?现阶段,在互联网和手机各种app开放的传播环境中,由于一些企业和个人社会责任感低下,出于各种利益关系使用新媒体手段传播色情与暴力信息的现象日益严重,各种色情暴力信息充斥着网络传播环
推荐三款千元机性能不输旗舰机,每款都想PK旗舰机欢迎回家!请用你发财的手给小编点个关注点个赞,感谢大家支持!目前也有的千元机,采用的是敢越级的经营理念,不输3000以上的旗舰机,让你用最低的价格体验旗舰机的性能,那么有哪三款手机