大牛请授课，为啥空的结构体sizeof输出为1

倒数第二位

代码如下：

1. #include <iostream>
   
2. using namespace std;
   
3. 
   
4. struct CZeroLenArray
   
5. {
   
6.         char m_Data[];
   
7. };
   
8. 
   
9. struct CEmptyStruct
   
10. {
    
11.        
    
12. };
    
13. 
    
14. #define PRINT(X) do{cout<<#X<<":"<<X<<endl;}while(0)
    
15. 
    
16. int main()
    
17. {
    
18.         PRINT(sizeof(CZeroLenArray));
    
19.         PRINT(sizeof(CEmptyStruct));
    
20.         return 0;
    
21. }

复制代码

输出如下：
sizeof(CZeroLenArray):0
sizeof(CEmptyStruct):1

求大牛们指点一二。为啥空结构体要占用1个字节，相反灵活数组却占用空间为0

sonicling

假设有这么个应用：

CEmptyStruct arr[] = {... };

for (CEmptyStruct *p = arr; p != arr + sizeof(arr)/sizeof(*arr); p++)
{
    // do some thing with p
}

如果sizeof(CEmptyStruct) = 0，你想想这段代码会有哪些问题？

CZeroLenArray是不会有这种应用的。

iamqk

假设有这么个应用：

CEmptyStruct arr[] = {... };

for (CEmptyStruct *p = arr; p != arr + sizeof( ...
sonicling 发表于 2011-12-01 23:33

    CZeroLenArray是不会有这种应用的。 为什么？

hellioncu

就是就是一个空的class，需要个地址

shimmey

侯捷的深入解析C++一書有過介紹
當時看過，不過現在記不起來
樓主可以再去查下

damingstudio

不是侯捷写的，是侯捷翻的。

侯捷的深入解析C++一書有過介紹
當時看過，不過現在記不起來
樓主可以再去查下
shimmey 发表于 2011-12-02 11:13

crazyhadoop

c++ 中struct是个类，怎么也有的地方放吧。空类也是类啊

linuxwyc

msdn:The sizeof operator never yields 0, even for an empty class.

sizeof(CZeroLenArray):0是在什么环境下运行的结果，应该都是1

sonicling

回复 8# linuxwyc


    起先我也觉得奇怪，char arr[];这样的成员声明能通过吗？看lz的代码似乎是通过了，所以也就算了。

后来查了一下，数组声明不指定bound，那么该数组的类型是incomplete type。C++白皮书3.9说：

A class that has been declared but not defined, or an array of unknown size or of incomplete element type, is an incompletely-defined object type. Incompletely-defined object types and the void types are incomplete types (3.9.1). Objects shall not be defined to have an incomplete type.

也就是说这样的成员声明是不符合标准的。但是实际使用的时候，gcc和vc都支持这种写法，并且自动指定bound为0，也就是等效于char arr[0];，因为效果一样，而且vc的警告都是“warning C4200: 使用了非标准扩展 : 结构/联合中的零大小数组”。但是再参看白皮书8.3.4说：

In a declaration T D where D has the form
D1 [constant-expression opt]

... If the constant-expression(5.19) is present, it shall be an integral constant expression and its value shall be greater than zero.

所以bound为0也不符合标准，所以vc给警告，但是允许。

而对于这种object with incomplete type，标准不允许，更不会说size是多少，所以他们的sizeof是unspecified的，我试了一下，vc下给的是1，和空结构一样，gcc给0，因为它支持这种用法，而且就是为了达到数组的越界或内存的重叠的目的。

wells-xu

9楼给力