[求助]关于静态编译断言

释放压力

静态断言会使程序员在编译期找出一些程序员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里有说到，还请达人指教，或者大家说说自己看到
的哪些机制。。。

芯頽廢.。﹖

研究了一下，上面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 宏，然后去判断错误
不过这样好像就没有多大的意义了～～

逊一

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

√wo

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