说说编译时断言(静态断言)

 

Robert C.Seacord的《C安全编码标准》的第3章第3条规则：
DcL03-C．使用静态断言测试常量表达式的值

那么什么是静态断言呢？静态断言就是编译时断言，它是针对动态断言(运行时断言)而言的，
静态断言的用处就是能检查出编译时的错误，避免把错误带入到运行时。

那么静态断言怎么实现呢？ 方法比较简单，利用C/C++的数组声明中的数组下标必须是正值这个规则就可以了。
#define CCASSERT(exp) extern char constraint_violated[2*((exp)!=0)-1];

该宏声明了一个名为constraint_violated的数组， 当exp不为真时，数组下标为-1，会导致编译出错，就可以
达到断言的目的了。

需要注意的是， 上面的宏不适合在C++的类中使用，因为我们不能将C++类成员声明为extern的。
可以考虑用typedef， 比如：
#define CCASSERT2(exp, var) typedef char var[2*((exp)!=0)-1];
因为在同一个范围内，两个typedef的名字不能一样，所以需要以参数的方式来传入。

使用方法：
#define MAX_BUF_SIZE  1024
extern char buf[MAX_BUF_SIZE];

CCASSERT(sizeof(buf) <= MAX_BUF_SIZE);
或者
CCASSERT2(sizeof(buf) <= MAX_BUF_SIZE, ccassert_bufsize);

Enjoy it!