C++断言Assert

动态断言，即大家所熟知的C标准库的assert()宏

assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：

#include <assert.h>  
void assert( int expression );

assert的作用是先计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。

assert是运行期的判断，并且会强制终止程序，一般要求只能用于debug版本中，是为了尽可能快的发现问题。尤其在我所从事的电信软件产品中，assert是要从release版本中去掉。所以一般开发会重新定义assert宏。

静态断言，即在编译期间检查。

静态断言在编译时进行处理，不会产生任何运行时刻空间和时间上的开销，这就使得它比assert宏具有更好的效率。

STATIC_ASSERT(4 == sizeof(long) ); //在 32bit机上OK  
STATIC_ASSERT(4 == sizeof(long) ); //在 64bit机上NG，long为8字节

转载于:https://my.oschina.net/SethFeng/blog/295851