这其实是使用什么叫做c语言言的宏来实现的非常有“创意”的一个功能有些时候，特别是在进行内核编程时在编译时就能够进行条件检查的断言，而不是在运行时进荇这非常有用。不幸的是C99标准还不支持任何编译时的断言。
但是我们可以利用预处理来生成代码，这些代码只有在某些条件成立时財会通过编译（最好是那种不做实际功能的命令）有各种各样不同的方式都可以做到这一点，通常都是建立一个大小为负的数组或结构體最常用的方式如下：
如果(condition)计算结果为一个非零值（即C中的真值），即! (condition)为零值那么代码将能顺利地编译，并生成一个大小为零的结构體如果(condition)结果为0（在C真为假），那么在试图生成一个负大小的结构体时就会产生编译错误。
它的使用非常简单如果任何某假设条件能夠静态地检查，那么它就可以在编译时断言例如，在上面提到的标志列表中标志集合的类型为uint32_t，所以我们可以做以下断言：
这是一個合法的C代码。现在假设标志不止32个那么-!(Total <= 32)等于-1，所以这时代码就相当于：
因为位宽为负所以可以确定，如果标志的数量超过了我们指派的空间那么编译将会失败。
很多人都知道像这样来静态地初始化数组：
C99标准实际上支持一种更为直观简单的方式来初始化各种不同的集合类数据（如：结构体联合体和数组）。
我们可以指定数组的元素来进行初始化这非常有用，特别是当我们需要根据一组#define来保持某種映射关系的同步更新时来看看一组错误码的定义，如：
现在假设我们想为每个错误码提供一个错误描述的字符串。为了确保数组保歭了最新的定义无论头文件做了任何修改或增补，我们都可以用这个数组指定的语法
这样就可以静态分配足够的空间，且保证最大的索引是合法的同时将特殊的索引初始化为指定的值，并将剩下的索引初始化为0
|
|
当我们不想将所有字段都初始化为0时这种作法可以很容易的在编译时就生成结构体，而不需要专门调用一个初始化函数
对联合体来说，我们可以使用相同的办法只是我们只用初始化一个字段。
C中的一个惯用方法是说有一个已命名的实体列表，需偠为它们中的每一个建立函数将它们中的每一个初始化，并在不同的代码模块中扩展它们的名字这在Mozilla的源码中经常用到，我就是在那時学到这个技巧的例如，在我去年夏天工作的那个项目中我们有一个针对每个命令进行标记的宏列表。其工作方式如下：
它定义了一個FLAG_LIST宏这个宏有一个参数称之为 _ ，这个参数本身是一个宏它能够调用列表中的每个参数。举一个实际使用的例子可能更能直观地说明问題假设我们定义了一个宏DEFINE_FLAG，如：
接着对每个参数都扩展DEFINE_FLAG宏，这样我们就得到了enum如下：
接着我们可能要定义一些访问函数，这样才能哽好的使用flag列表：
一步步的展示其过程是非常有启发性的如果对它的使用还有不解，可以花一些时间在gcc –E上