静态断言会使程序员在编译期找出一些程序员vu不小心疏漏的东西。
比如下面这个代码。对两个未知类型的size做规定，必须使相同大小

摘至Imperfect C++
#include <cassert>
#define STATIC_ASSERT(x) do{int a[x]={0};}while(0)

template<class T,class T1>
struct must_same_size 
{
~must_same_size()
{
  void (*p)(T*,T1*)=Construct;
}
private:
static void Construct(T*pt,T1*pt1)
{
  STATIC_ASSERT(sizeof(T)==sizeof(T1));
}
};
int _tmain(int argc, _TCHAR* argv[])
{
must_same_size<int ,int > mii;
must_same_size<int ,double > mil;
return 0;
}

这里的STATIC_ASSERT一共有三种实现机制。上面一种，下面两种。

#define STATIC_ASSERT(x)    \
    switch(x){case 0:case x:break;}
#define STATIC_ASSERT(x)    \
    struct s{unsigned int a:x;}

但是书上也说到，编译时产生的信息比较混淆人，所以有更好的机制。
好像时什么Alex2001里有说到，还请达人指教，或者大家说说自己看到
的哪些机制。。。

[此贴子已经被作者于2007-7-6 13:07:55编辑过]

研究了一下，上面STATIC_ASSERT 宏的实现主要是运用一些已有的编译错误，在x==0时引起错误
还没有看到关于这方面的东西
自己的想法是这样的，可以在文件里加上
＃ifndef SIZEOFCLASST1
#error your error msg
#ifndef SIZEOFCLASST2
#error your error msg
#if SIZEOFCLASST1!=SIZEOFCLASST2
#error your error msg
#endif
这样强制要求程序员定义SIZEOFCLASST1 SIZEOFCLASST2 宏，然后去判断错误
不过这样好像就没有多大的意义了～～

对宏没研究，帮不上忙，看看~

这不是宏的问题，只是这种实现机制很巧妙。。。