c++11 static_assert

c++中想要在编译时期进行断言，在之前的标准中可以采用1/0来判断，如下：

#include <cstring>
using namespace std;

#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(a) == sizeof(b));
 memcpy(&a, &b, sizeof(b));          
}

int main() {
 int a = 0x2468;
 double b;
 bit_copy(a, b);   
}

在c++11中，可以使用static_assert断言，且可以打印出具体的出错信息。static_assert接收两个参数，一个是断言表达式，此表达式需要返回一个bool值；另一个则是警告信息，通常是字符串。以上代码可以修改如下：

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

编译会得到如下信息：

error:static assertion failed: "the parameters of bit_copy must have same width."