空结构和空类

问题引入:经常看到有人说，在C++中如果定义空类/空结构，用sizeof对其取长度结果是1，
疑问:对于这个结果个人比较困惑，无法确定是否正确，所以做了一系列测试来验证说法

测试环境:gcc 3.4.4，vc++6.0，CVI8.0.0

在msdn中对sizeof的使用中有如下一句话
引用:"...The sizeof operator never yields 0, even for an empty class...."
也就是说sizeof不会返回0，那是不是确实是这样的呢?
具体sizeof的使用可以参见msdn!

由于结构体和类的性质基本上相同，而且为了使代码可以在gcc中编译
因此在测试程序中只定义了结构体

约定:为了方便阐述问题，先在叙述前确定几个名词
空结构或者空类:只有关键字的空壳结构或者类
类空结构或者类空类:在空结构或者空类基础上在其内部添加一个成员变量char a[0]; (无任何参考，只是人为约定)

程序保存在test.c中

测试程序如下:

类空结构或者类空类:

#include <stdio.h>
struct A
{
 char a[0];
};
int main()
{ 
 printf("%d", sizeof(struct A));
 return 0;
}

GCC下:
用gcc编译指令
$ gcc -g -Wall test.c -o test
或者g++编译指令
$ g++ -g -Wall test.c -o test

$ ./test
运行输出:
0   ->这个结果直接推翻了sizeof不返回0的说法，看来是gcc编译器扩展后的一些问题

在VC6.0下
直接编译运行输出:
1   ->与预期一致，因为char a[0]，a确实未占用任何空间，此时A相当于是个空类

将上面的程序进行修改一下

空结构或者空类:

#include <stdio.h>
struct A
{
 //直接定义一个空类
};
int main()
{ 
 printf("%d", sizeof(struct A));
 return 0;
}

GCC下:
用gcc编译运行输出:
0
但是用g++编译运行却输出:
1

在VC6.0下
直接编译运行输出:
1

为了确定gcc的正确性，笔者特地将代码转换成汇编查看了一下，结果确实如前面所述，丝毫不差!

另外，再次说明如果将结构体换成类，其余不变，结果也如上面所说

总结:
1。gcc下空类或者空结构，类空类或者类空结构，其sizeof返回0
2。g++下空类或者空结构其sizeof返回1，对类空类或者类空结构体其sizeof返回0
3。VC6.0下空类或者空结构，类空类或者类空结构，其sizeof返回1
4。在上述测试环境下，在CVI8.0.0(一个C编译器中)，上述代码无一能进行编译，所以重申一点，编译器对一些代码的写法的
支持是测试代码的前提，比如上述代码编译器必须支持空类/空结构的定义，和类空类/类空结构的定义!