断言就是将一个返回值总是需要为真的判别式放在语句中，来排除在设计的逻辑上不应该出现的情况。C++11标准中引入了静态断言：static_assert

在C++标准中，<cassert>或assert.h为我们提供了assert宏，但是这个宏只有在运行时才进行断言，这有很多的限制，因为有时候，程序的某些路径我们可能执行不到，所以最好能够在编译的时候就产生断言。

C++11标准中就引入了静态断言来解决这个问题。

静态断言static_assert使用起来非常简单，它接受两个参数
1、断言表达式，就是一个需要为正的表达式。
2、警告信息，用来在产生断言的时候提示信息。
such as：

#include<cstring>
using namespace std;template <typename T,typename U> int bit_copy(T &a,U &b){static_assert(sizeof(a)==sizeof(b),"参数的长度不一样，可能出现越界！");memcpy(&a,&b,sizeof(b));
}
int main(){int a;long b=0x1234567;bit_copy(a,b);
}