自定义静态断言static_assrt常用实现方法

前言

1. static_assert是编译时期的断言，其使用范围不像assert一样受到限制。static_assert的断言表达式的结果必须是在编译时期可以计算的表达式，即必须是常量表达式。如果读者使用了变量，则会导致错误

2. static_assert可以独立于任何调用之外运行

自定义静态断言static_assrt常用实现方法

 

1. 我们可以利用“除0”会导致编译器报错这个特性来实现静态断言。

在理解这段代码时，读者可以忽略do while循环以及enum这些语法上的技巧。真正起作用的只是1/(e)这个表达式。

代码清单2-11使用了参数变量n（虽然是个const参数），因而static_assert无法通过编译。对于此例，如果程序员需要的只是运行时的检查，那么还是应该使用assert宏。

2. 利用数组大小不能为 负数

在没有支持C++11的地方，我们可以借助编译器的其他特性实现static_assrt

#define STATIC_ASSERT(expr) {char unnamed[(expr)?1:-1];}
int main(){