工商营业执照注册网站,优秀企业网站欣赏,ip软件点击百度竞价推广,快速收录域名点击蓝字关注我们因公众号更改推送规则#xff0c;请点“在看”并加“星标”第一时间获取精彩技术分享来源于网络#xff0c;侵删C语言常常让人觉得它所能表达的东西非常有限。它不具有类似第一级函数和模式匹配这样的高级功能。但是C非常简单#xff0c;并且仍然有一些非常…点击蓝字关注我们因公众号更改推送规则请点“在看”并加“星标”第一时间获取精彩技术分享来源于网络侵删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 pointstruct point p {.x 3, .y 4, .z 5};当我们不想将所有字段都初始化为0时这种作法可以很容易的在编译时就生成结构体而不需要专门调用一个初始化函数。对联合体来说我们可以使用相同的办法只是我们只用初始化一个字段。四、宏列表C中的一个惯用方法是说有一个已命名的实体列表需要为它们中的每一个建立函数将它们中的每一个初始化并在不同的代码模块中扩展它们的名字。这在Mozilla的源码中经常用到我就是在那时学到这个技巧的。例如在我去年夏天工作的那个项目中我们有一个针对每个命令进行标记的宏列表。其工 作方式如下#define FLAG_LIST(_) \
_(InWorklist) \
_(EmittedAtUses) \
_(LoopInvariant) \
_(Commutative) \
_(Movable) \
_(Lowered) \
_(Guard)关注公众号C语言中文社区免费获取300G编程资料它定义了一个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 arent 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) })现在假设Total32。那么-!(Total 32)等于0所以这行代码相当于(void)sizeof(struct { int: 0 })这是一个合法的C代码。现在假设标志不止32个那么-!(Total 32)等于-1所以这时代码就相当于(void)sizeof(struct { int: -1 } )因为位宽为负所以可以确定如果标志的数量超过了我们指派的空间那么编译将会失败。如果你年满18周岁以上又觉得学【C语言】太难想尝试其他编程语言那么我推荐你学Python现有价值499元Python零基础课程限时免费领取限10个名额▲扫描二维码-免费领取戳“阅读原文”我们一起进步
