C++断言之assert和static_assert的区别
断言分为动态断言和静态断言2种。c++11引入了static_assert关键字，用来实现编译期间的断言，叫静态断言。
1.static_assert 静态断言
static_assert(常量表达式，要提示的字符串);
如果第一个参数常量表达式的值为false，会产生一条编译错误，错误位置就是该static_assert语句所在行，第二个参数就是错误提示字符串。然后通过调用 abort 来终止程序运行。_
使用static_assert优点：
-
可以在编译期间发现更多的错误，用编译器来强制保证一些契约，并帮助我们改善编译信息的可读性，尤其是用于模板的时候。
-
static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。 -
编译器在遇到一个
static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算，但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。 -
性能方面，由于是static_assert编译期间断言，在编译时进行处理，不生成目标代码，因此static_assert不会造成任何运行期性能损失，这就使得它比assert宏具有更好的效率。
示例
1.static_assert（sizeof(void *) == 4, "64位系统上不支持"）
该static_assert用来确保编译仅在32位的平台上进行，不支持64位的平台，该语句可以放在文件的开头处，这样可以尽早检查，以节省失败情况下的编译时间。
2.模板函数使用静态断言static_assert在编译期识别模板实例化错误
#include <cassert>
#include <cstring>
using namespace std;
template <typename T, typename U> int bit_copy(T& a, U& b){
assert(sizeof(b) == sizeof(a));
//static_assert(sizeof(b) == sizeof(a), "template parameter size no equal!");
memcpy(&a,&b,sizeof(b));
};
int main()
{
int aaa = 0x2468;
double bbb;
bit_copy(aaa, bbb);
getchar();
return 0;
}
这里使用assert运行时断言，但如果bit_copy不被调用，我们将无法触发该断言，实际上正确产生断言的时机应该在模版实例化时，即编译时期。使用static_assert替换assert再次编译，即可获得一个错误并显示我们指定的错误信息。
注意：static_assert的断言表达式的结果必须是在编译时期可以计算的表达式，即必须是常量表达式。如果使用变量，则会导致错误。
2.assert 动态断言
assert是运行期断言，它是一个宏，用来发现运行期间的错误，不能提前到编译期发现错误，也不具有强制性，也谈不上改善编译信息的可读性，既然是运行期检查，对性能当然是有影响的，所以经常在发行版本中，assert都会被关掉；
void assert(int expression);
assert的作用是先计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。
由于assert是运行期的判断，并且会强制终止程序，一般要求只能用于debug版本中，是为了尽可能快的发现问题。assert是要从release版本中去掉。所以一般开发会重新定义assert宏。
3.#error 预编译期断言
#error可看做预编译期断言，甚至都算不上断言，仅仅能在预编译时显示一个错误信息，它能做的不多，可以配合#ifdef/ifndef参与预编译的条件检查，由于它无法获得编译信息，当然就做不了更进一步分析了。
#ifndef __GNUC__ // 没有定义 __GNUC__ 宏，表示使用的不是gcc编译器
#error 代码中使用了 gcc 特有的扩展，必须使用 gcc 编译器编译 //这里就是要显示给用户的错误信息
#endif