linux内核中一个特殊宏：BUILD_BUG_ON的分析

最近在看linux内核源码的时候遇到了一个比较有意思的宏定义BUILD_BUG_ON如果去解刨这个宏会发现里面使用到了位域的概念而位域的概念使用到的概率不是很大说白了我不是很熟悉因此今天解刨一下这个有意思的宏BUILD_BUG_ON。#define BUILD_BUG_ON(condition) ((void)BUILD_BUG_ON_ZERO(condition)) #define BUILD_BUG_ON_ZERO(e) (sizeof(struct { int:-!!(e); }))从上面看到BUILD_BUG_ON()宏值为BUILD_BUG_ON_ZERO()因此我们解析一下BUILD_BUG_ON_ZERO()这个宏特别解刨一下宏值。首先内部定义了一个结构体类型成员只有一个并且为int类型的使用了“:”代表的位域位域的意思就是指定多少bit位必须为大于或等于0的数值而后面-!!(e),这个的结果只能为0或1。当e!0时例如3结果为-1int:-!!(e)的结果为int:-1这种情况是不被gcc编译允许的编译会报negative width in bit-field位域宽度为负的错误。当e0时结果为-0也就是0int:-!!(e)的结果为int:0这种情况gcc编译是允许的。因此这个宏BUILD_BUG_ON的作用当e这个条件为0时编译OK继续编译当e这个条件为真事编译报错。