C++11新特性-----static_assert和assert

assert:

原型定义：

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

作用：

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

例子：

	int a=1;
	int b=2;
	cout<<"next function is assert!"<<endl;
	assert((a<b ? 0:1));
	a+=b; //从这里以后都不执行；
	cout<<a<<endl;

static_assert ：

原型定义：

 static_assert(常量表达式，提示字符串)。

例子：

template< class T >
struct Check {
 static_assert( sizeof(int) <= sizeof(T), "T is not big enough!" ) ;
} ;

assert和static_assert区别：

C++ 提供了两种⽅式来 assert ：⼀种是 assert 宏，另⼀种是预处理指令 #error 。 前者在运⾏期起作⽤，⽽后者是预处理期起作⽤。它们对模板都不好使，因为模板是编译期的概念。

assert适用于运行时的断言，也就是说，如果程序不运行，我们根本不知道有没有错，但是有些时候，我们希望在编译的时候就可以让编译器检测到错误，所以在c++11中新增了assert_static,也就是静态断言。