C++11 新特性，运行时断言与静态断言

C98或C99中的库为：<cassert> 或<assert.h>

运行时断言，故明思议是当程序在运行的时候才作为判决，可以认为是对参数的有效性的判断。

而静态断言，是对参数的条件判断提前做了，在预编译的时候进行完成的。如：

//demo1.cpp

#include <cassert>

using namespace std;

char *arrayAolloc(int n){
    assert(n>0); 
    return new char [n];
}

int main(){
    char * a = arrayAolloc(0);
    
    return 0;
}

//gcc demo1.cpp -omain

assert(n>0); 该条件只会在当arrayAlloc的时候才会进行判断，要根据程序的传参来处理其有效性。
如下：

template <typename T, typename U>
int bit_copy(T& a, U& b){
    assert(sizeof(b) == sizeof(a));
    memcpy(&a, &b, sizeof(b));
};

上述很明显示，T与U并非是同一个类型，但是assert同样不参在编译的时候检查出来，只有当程序运行后才可以判断到。
下面作一个改进，定义一个宏：

#define assert_static(e) 
    do { 
        enum { assert_static__ = 1/(e)}; 
    } while (0)

template <typename T, typename U>
int bit_copy(T& a, U& b){
    assert_static(sizeof(b) == sizeof(a));
    memcpy(&a, &b, sizeof(b));
};

这样我们在编译时宏替换的过程中，就可以检查到，1/0是一个错误的语法，就直接抛出来了。

在C11中，库函数中已经存在了这样的函数 static_assert(expr, desc);

如果在编译的时候expr==false， 那么将会抛出desc的信息，这样就可以直接从代码中排查出硬性的错误，不必等到程序运行后，才检查出来。

static_assert是编译时的断言，其使用范围不像assert一样受到限制。

static_assert的断言参数expr必须是已知的常量，该常量在编译时就可以判断出来。

无法在编译时判断的常量，不可用static_assert来断言，如下：

template <typename T, typename U>
int bit_copy(T& a, U& b){
    //assert_static(sizeof(b) == sizeof(a));
    static_assert(sizeof(b) == sizeof(a), "the parameters of bit_copy must have the same width.");
    memcpy(&a, &b, sizeof(b));
};

int positive(const int n){
    static_assert(n > 0, "abcd:");
}

$ g++ -std=c++11 -c 2.2.8.cpp
2.2.8.cpp: 在函数‘int positive(int)’中:
2.2.8.cpp:20:2: 错误：静态断言中出现非常量条件
  static_assert(n > 0, "abcd:");
  ^
2.2.8.cpp:20:2: 错误：‘n’不是一个常量表达式
2.2.8.cpp: In instantiation of ‘int bit_copy(T&, U&) [with T = int; U = double]’:
2.2.8.cpp:25:15:   required from here
2.2.8.cpp:15:2: 错误：static assertion failed: the parameters of bit_copy must have the same width.
  static_assert(sizeof(b) == sizeof(a), "the parameters of bit_copy must have the same width.");