为什么 sizeof(Derived4) 是 8 字节？我认为应该是5个字节

这是给定程序的输出：

sizeof(Empty) 1
sizeof(Derived1) 1
sizeof(Derived2) 4
sizeof(Derived3) 1
sizeof(Derived4) 8
sizeof(Dummy) 1

这是程序：

#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;
}

Derived3 的大小为 1 字节。那为什么Derived 4的大小是8字节呢？如果对齐是答案，那么为什么在导出3的情况下没有对齐？

它取决于类内数据成员的对齐方式。看起来，如果一个类有一个虚拟基类，那么它的实现包含对此虚拟基类的引用，在您的情况下，该引用等于 4 个字节。当您添加 char 类型的数据成员时，它将用三个字节填充，以提供对基虚拟类的引用的对齐方式。