今天面試遇到了一個很有意思的問題，即空結(jié)構(gòu)體在C++中所占的內(nèi)存大小是多少？參見如下代碼：

#include <iostream> struct S0 { };int main() {std::cout << sizeof S0 << std::endl;return 0; }

　　面試官當場提醒了我一下，說如果S0對象所占用的內(nèi)存大小為0，那么將可以申請無限多個此類型的對象數(shù)組，并且大小永遠為0。我當時覺得有點道理，不過轉(zhuǎn)念一想，還是有點疑惑。

　　回來研究了一下，原來在C++語言中的確規(guī)定了空結(jié)構(gòu)體和空類所占內(nèi)存大小為1，而C語言中空類和空結(jié)構(gòu)體占用的大小是0（在gcc中測試為0，其他編譯器不一定）。由此又產(chǎn)生了一個新的疑問：為什么C++會有這樣的規(guī)定呢？

　　原來，C++語言標準中規(guī)定了這樣一個原則：“no object shall have the same address in memory as any other variable”，即任何不同的對象不能擁有相同的內(nèi)存地址。如果空類對象大小為0，那么此類數(shù)組中的各個對象的地址將會一致，明顯違反了此原則。

　　進一步地，C++做出這樣規(guī)定的原因究竟有什么道理呢？請看下面這個計算元素個數(shù)的例子：

T array[5]; int count = &array[4] - &array[0];

　　這種指針相減的運算在編譯器中會等價于如下步驟：

count = ((char *)&array[4] - (char *)&array[0]) / sizeof T;

　　如果允許C++對象大小為0，那么這里的運算將產(chǎn)生兩個問題：（1）不能通過指針區(qū)分不同的數(shù)組對象；（2）sizeof T為0導致非法的除0操作。這樣一來，編譯器還需要用一些復(fù)雜的代碼來處理這些異常情況信息。

　　為了滿足C++標準規(guī)定的不同對象不能有相同地址，C++編譯器保證任何類型對象大小不能為0。C++編譯器會在空類或空結(jié)構(gòu)體中增加一個虛設(shè)的字節(jié)（有的編譯器可能不止一個），以確保不同的對象都具有不同的地址。

轉(zhuǎn)載于:https://www.cnblogs.com/kuliuheng/p/4104213.html

總結(jié)

以上是生活随笔為你收集整理的C++中的空类与空结构体大小的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。