这种assert你见过没？【ASSERT_AT_COMPILE()】

ilex

#define    ASSERT_AT_COMPILE(A)    switch(0){case 0: case (A):;}


【应用场景之一】
  A ------------->adaptor---------------->B
A和adaptor之间有接口(struct 1), 某字段为char  name[fix_length_a];
B和adaptor之间有接口(struct 2), 某字段位char  name[fix_length_b];

并且fix_length_a和fix_length_b【严格】要求相等，否则会出BUG（踩内存等）。

代码中可用ASSERT_AT_COMPILE(fix_length_a == fix_length_b)
可由编译器保证二者相等。

tyc611

实现编译时断言的宏定义很多，都是利用了语法规则，但错误提示很难看，不直观，还是要语言本身直接才好，比如C++0x

皇家救星

静态断言   你上网找找  很流行的