00. 目錄

• • 00. 目錄
  • 01. 測試程序和結(jié)果分析
  • 02. 單繼承空白基類最優(yōu)化問題
  • 03. 多繼承空白基類最優(yōu)化問題

01. 測試程序和結(jié)果分析

測試程序如下:

#include <iostream>using namespace std;//聲明一個(gè)空類 class A{};int main(void) {//使用空類定義兩個(gè)對象A a1;A a2;cout << "sizeof(a1): " << sizeof(a1) << endl;cout << "sizeof(a2): " << sizeof(a2) << endl;cout << "&a1: " << &a1 << endl;cout << "&a2: " << &a2 << endl;return 0; }

編譯和執(zhí)行結(jié)果：

結(jié)果分析：
1) 其實(shí)這是C++中空類占位問題。
2) 在C++中空類會(huì)占一個(gè)字節(jié)，這是為了讓對象的實(shí)例能夠相互區(qū)別。具體來說，空類同樣可以被實(shí)例化，并且每個(gè)實(shí)例在內(nèi)存中都有獨(dú)一無二的地址，因此，編譯器會(huì)給空類隱含加上一個(gè)字節(jié)，這樣空類實(shí)例化之后就會(huì)擁有獨(dú)一無二的內(nèi)存地址。如果沒有這一個(gè)字節(jié)的占位，那么空類就無所謂實(shí)例化了，因?yàn)閷?shí)例化的過程就是在內(nèi)存中分配一塊地址。

注意：當(dāng)該空白類作為基類時(shí)，該類的大小就優(yōu)化為0了，這就是所謂的空白基類最優(yōu)化。

02. 單繼承空白基類最優(yōu)化問題

測試程序如下：

#include <iostream>using namespace std;//聲明一個(gè)空類 基類 class A{};//公有繼承 class B : public A { public:int a; };int main(void) {//使用空類定義兩個(gè)對象A a1;B b1;cout << "sizeof(a1): " << sizeof(a1) << endl;cout << "sizeof(b1): " << sizeof(b1) << endl;cout << "&a1: " << &a1 << endl;cout << "&b1: " << &b1 << endl;return 0; }

編譯和執(zhí)行結(jié)果如下：

現(xiàn)象分析：
在上例中，大部分編譯器對于sizeof(b1)的結(jié)果是4，而不是8。這就是所謂的空白基類最優(yōu)化在（empty base optimization-EBO 或 empty base classopimization-EBCO）。在空基類被繼承后由于沒有任何數(shù)據(jù)成員，所以子類優(yōu)化掉基類所占的1 byte。EBO并不是c++標(biāo)準(zhǔn)所規(guī)定必須的，但是大部分編譯器都會(huì)這么做。由于空基類優(yōu)化技術(shù)節(jié)省了對象不必要的空間，提高了運(yùn)行效率，因此成為某些強(qiáng)大技術(shù)的基石，基于類型定義類如stl中的binary_function、unary_function、iterator、iterator_traits的實(shí)現(xiàn)復(fù)用；基于策略類如內(nèi)存管理、多線程安全同步的實(shí)現(xiàn)復(fù)用。當(dāng)某個(gè)類存在空類類型的數(shù)據(jù)成員時(shí)，也可考慮借助EBO優(yōu)化對象布局.

注意：空白基類最優(yōu)化無法被施加于多重繼承上只適合單一繼承。

03. 多繼承空白基類最優(yōu)化問題

測試程序:

#include <iostream>using namespace std;//聲明一個(gè)空類 基類 class A{};//聲明另外一個(gè)空類 基類 class B{};//公有繼承 class C : public A { public:int a; };class D : public A, public B { public:int a; };int main(void) {//使用空類定義兩個(gè)對象A a1;C c1;D d1;cout << "sizeof(a1): " << sizeof(a1) << endl;cout << "sizeof(c1): " << sizeof(c1) << endl;cout << "sizeof(d1): " << sizeof(d1) << endl;cout << "&a1: " << &a1 << endl;cout << "&c1: " << &c1 << endl;cout << "&d1: " << &d1 << endl;return 0; }

編譯和執(zhí)行結(jié)果：

1) Linux 64系統(tǒng)執(zhí)行的結(jié)果:

2) Vs2015執(zhí)行的結(jié)果

現(xiàn)象分析
該現(xiàn)象隨著編譯器不同可能不一樣

總結(jié)

以上是生活随笔為你收集整理的【C++】 为什么C++空类占一个字节的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

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