大牛請授課，為啥空的結(jié)構(gòu)體sizeof輸出為1

倒數(shù)第二位

代碼如下：

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. }

復(fù)制代碼

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

求大牛們指點(diǎn)一二。為啥空結(jié)構(gòu)體要占用1個字節(jié)，相反靈活數(shù)組卻占用空間為0

sonicling

假設(shè)有這么個應(yīng)用：

CEmptyStruct arr[] = {... };

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

如果sizeof(CEmptyStruct) = 0，你想想這段代碼會有哪些問題？

CZeroLenArray是不會有這種應(yīng)用的。

iamqk

假設(shè)有這么個應(yīng)用：

CEmptyStruct arr[] = {... };

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

    CZeroLenArray是不會有這種應(yīng)用的。 為什么？

hellioncu

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

shimmey

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

damingstudio

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

侯捷的深入解析C++一書有過介紹
當(dāng)時看過，不過現(xiàn)在記不起來
樓主可以再去查下
shimmey 發(fā)表于 2011-12-02 11:13

crazyhadoop

c++ 中struct是個類，怎么也有的地方放吧�？疹愐彩穷惏�

linuxwyc

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

sizeof(CZeroLenArray):0是在什么環(huán)境下運(yùn)行的結(jié)果，應(yīng)該都是1

sonicling

回復(fù) 8# linuxwyc


    起先我也覺得奇怪，char arr[];這樣的成員聲明能通過嗎？看lz的代碼似乎是通過了，所以也就算了。

后來查了一下，數(shù)組聲明不指定bound，那么該數(shù)組的類型是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.

也就是說這樣的成員聲明是不符合標(biāo)準(zhǔn)的。但是實際使用的時候，gcc和vc都支持這種寫法，并且自動指定bound為0，也就是等效于char arr[0];，因為效果一樣，而且vc的警告都是“warning C4200: 使用了非標(biāo)準(zhǔn)擴(kuò)展 : 結(jié)構(gòu)/聯(lián)合中的零大小數(shù)組”。但是再參看白皮書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也不符合標(biāo)準(zhǔn)，所以vc給警告，但是允許。

而對于這種object with incomplete type，標(biāo)準(zhǔn)不允許，更不會說size是多少，所以他們的sizeof是unspecified的，我試了一下，vc下給的是1，和空結(jié)構(gòu)一樣，gcc給0，因為它支持這種用法，而且就是為了達(dá)到數(shù)組的越界或內(nèi)存的重疊的目的。

wells-xu

9樓給力