C/C++编程笔记：为什么在C++中空类的大小不为零？

Posted 2021-04-23 C语言编程学习基地

首先，我们来预测以下程序的输出？

#include<iostream>using namespace std;
class Empty {};
int main()
{
cout << sizeof(Empty);
return 0;
}

输出：1

#include<iostream>using namespace std;
class Empty { };
int main()
{
Empty a, b;
if (&a == &b)
cout << "impossible " << endl;
else
cout << "Fine " << endl;
return 0;
}

输出：Fine

#include<iostream>using namespace std;
class Empty { };
int main()
{
Empty* p1 = new Empty;
Empty* p2 = new Empty;
if (p1 == p2)
cout << "impossible " << endl;
else
cout << "Fine " << endl;
return 0;
}

输出：Fine

现在猜测以下程序的输出（这很棘手）

#include<iostream>using namespace std;
class Empty { };
class Derived: Empty { int a; };
int main()
{
cout << sizeof(Derived);
return 0;
}

输出：4

请注意，输出不大于4。有一个有趣的规则，说空的基类不需要用单独的字节表示。因此，在基类为空的情况下，编译器可以自由进行优化。作为练习，请在编译器上尝试以下程序。

// Thanks to Venki for suggesting this code.
#include <iostream>using namespace std;
class Empty {
};
class Derived1 : public Empty {
};
class Derived2 : virtual public Empty {
};
class Derived3 : public Empty {
char c;
};
class Derived4 : virtual public Empty {
char c;
};
class Dummy {
char c;
};
int main()
{
cout << "sizeof(Empty) " << sizeof(Empty) << endl;
cout << "sizeof(Derived1) " << sizeof(Derived1) << endl;
cout << "sizeof(Derived2) " << sizeof(Derived2) << endl;
cout << "sizeof(Derived3) " << sizeof(Derived3) << endl;
cout << "sizeof(Derived4) " << sizeof(Derived4) << endl;
cout << "sizeof(Dummy) " << sizeof(Dummy) << endl;
return 0;
}

输出：

sizeof(Empty) 1

sizeof(Derived1) 1

sizeof(Derived2) 8

sizeof(Derived3) 1

sizeof(Derived4) 16

sizeof(Dummy) 1

每日分享小知识，希望对你有帮助~

另外如果你想更好的提升你的编程能力，学好C语言C++编程！弯道超车，快人一步！笔者这里或许可以帮到你~

分享（源码、项目实战视频、项目笔记，基础入门教程）

欢迎转行和学习编程的伙伴，利用更多的资料学习成长比自己琢磨更快哦！