标签：parameter ret amp template required while UI int anti
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.");
标签：parameter ret amp template required while UI int anti
原文地址：http://www.cnblogs.com/liuxw7/p/6533559.html
