BOOST_STATIC_ASSERT和assert的区别

assert在c/c++中是宏，而非函数。assert宏定义在头文件<assert.h>中。其原型如下：

#define assert(_Expression) (void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0) )

assert的作用是先计算表达式_Expression，如果其值为假（即为0），那么它会打印出来assert的内容和__FILE__, __LINE__，然后执行abort()函数使kernel杀掉自己并coredump（是否生成coredump文件，取决于系统配置）；否则，assert()无任何作用。宏assert（）一般用于确认程序的正常操作，其中表达式构造无错时才为真值。完成调试后，不必从源代码中删除assert()语句，因为宏NDEBUG有定义时，宏assert()的定义为空。

下面是assert宏的使用例子：

#include <iostream>
//#define NDEBUG
#include <assert.h>

using namespace std;

int main(void)
{
	cout << "请输入一个非零值：" << endl;

	int iValue;
	cin >> iValue;

	assert(iValue);		//我们的要求是输入的值不为0，如果输入的值为0，我们不希望继续运行下去，避免产生未定义的结果
	cout << "iValue = " << iValue << endl;

	return 0;
}

当我们输入0时，正如我们所希望的那样，程序输出一条错误信息，并终止了程序的运行。

当我们不想使用assert进行断言时候， 可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用。

#include <iostream>
#include <boost/static_assert.hpp>

using namespace std;

typedef struct
{
	char m_cChar;
	int m_iValue;
}MyTest;

int main(void)
{
	BOOST_STATIC_ASSERT(sizeof(MyTest) == 5);

	return 0;
}

上面的代码，看上去没什么问题。但编译期就已经提示错误了。

之后就可以顺利的编译通过了。