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,也就是静态断言。