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

1 #include 
     
       2 using namespace std; 3  4 #define assert_static(e) do{ enum{ assert_static__ = 1 / (e) }; } while(0) 5  6 template
      
        7 int bit_copy(T& a, U& b) { 8  assert_static(sizeof(a) == sizeof(b)); 9  memcpy(&a, &b, sizeof(b));          10 }11 12 int main() {13  int a = 0x2468;14  double b;15  bit_copy(a, b);   16 }
      
     

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

template
     
        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."