一种写法：

template 
     
      struct CompileAssert {};#define COMPILE_ASSERT(expr, msg) \    typedef CompileAssert<(bool(expr))> msg[bool(expr) ? 1 : -1]} //endof namespace
     

 

 

第二种写法：　　

1 #define CAT_TOKEN_1(t1,t2) t1##t2 2 #define CAT_TOKEN(t1,t2) CAT_TOKEN_1(t1,t2) 3  4 #define COMPILE_ASSERT(x)  \ 5                     enum {CAT_TOKEN (comp_assert_at_line_, __LINE__) = 1 / !!(x) }; 6  7 #ifndef CHECK_SIZE 8 #define CHECK_SIZE(type, size) extern int sizeof_##type##_is_##size [!!(sizeof(type)==(size_t)size) - 1] 9 #endif//CHECK_SIZE10 11 #ifndef CHECK_OFFSET12 #define CHECK_OFFSET(type, member, value) \13         extern int offset_of_##member##_in_##type##_is_##value \14     [!!(__builtin_offsetof(type,member)==((size_t)(value))) - 1]15 #endif//CHECK_OFFSET