10-11 21:01 华为_系统工程师

发布于四川

关注

9、基础 | C++ 对象内存模型

@[toc]

1. 数据成员

在C++中，对象的内存模型主要涉及到对象如何在内存中布局以及它的数据成员如何被存储。对象的内存模型是理解对象行为、内存管理、以及对象间交互的关键。下面，我将从几个方面详细解释对象内存模型及其数据成员的布局。

1. 对象的内存布局

当一个C++对象被创建时，它的内存布局主要由以下几个方面组成：

数据成员（Data Members）：对象的数据成员是对象中存储数据的部分。它们的布局和顺序取决于它们在类定义中的声明顺序，并遵循对齐规则（Alignment Rules），这通常是为了提高内存访问效率。
虚函数表（Virtual Function Table, VTable）（如果对象包含虚函数）：对于包含至少一个虚函数的类，编译器会为该类的每个对象添加一个指向虚函数表的指针（通常位于对象内存布局的最前面，但这不是绝对的，取决于编译器和平台）。虚函数表包含了该类及其所有基类中虚函数的地址。
基类成员（如果有继承）：如果有继承，基类成员（包括基类的数据成员和虚函数表指针，如果基类也有虚函数）将按照基类声明的顺序在派生类对象内存布局中出现。基类成员可能受到虚继承（Virtual Inheritance）的影响，这会引入额外的偏移量或指针来管理多重继承中的共享基类。

2. 数据成员的对齐

为了提高访问速度，编译器会根据目标平台的架构对对象的数据成员进行对齐。这意味着数据成员可能会在内存中占据比其类型大小更多的空间，以确保每个数据成员的地址是某个数的倍数（如2的幂次）。

3. 访问数据成员

在C++中，通过对象指针或引用访问其数据成员通常使用点（.）操作符（对于对象）或箭头（->）操作符（对于指针）。这些操作符在内部会转换为对对象内存地址的偏移量计算，以访问具体的数据成员。

4. 构造函数和析构函数的影响

对象的构造函数和析构函数负责初始化和清理对象的状态，但它们本身不直接影响对象的内存布局。然而，构造函数可能会初始化数据成员到特定的值，而析构函数则负责释放由对象管理的资源（如动态分配的内存、文件句柄等）。

5. 注意事项

内存对齐：了解目标平台的内存对齐规则对于优化性能至关重要。
对象大小：使用sizeof运算符可以获得对象在内存中占用的总字节数，但这不包括运行时动态分配的内存。
继承和多态：继承（特别是虚继承和多重继承）以及多态（通过虚函数实现）会显著增加对象内存模型的复杂性。

综上所述，C++对象的内存模型是一个复杂的主题，涉及到数据成员的布局、内存对齐、虚函数表、继承以及构造函数和析构函数的行为等多个方面。理解这些概念对于编写高效、可维护的C++代码至关重要。

2. 成员变量在类对象中的布局规则

在C++中，对象的内存模型，特别是成员变量的布局，是理解对象如何存储在内存中的关键。这种布局规则主要受到编译器实现、目标平台的内存对齐要求、以及C++标准（特别是C++11及以后版本中对内存模型的改进）的影响。下面将详细解释这些布局规则：

1. 成员变量的声明顺序

C++对象的成员变量在内存中的布局基本上是按照它们在类中声明的顺序排列的。即，第一个声明的成员变量位于对象内存的最开始位置，紧接着是第二个声明的成员变量，依此类推。

2. 内存对齐

为了优化内存访问性能，编译器会对成员变量进行内存对齐。内存对齐意味着成员变量（以及对象本身）的起始地址是其大小（或特定对齐要求）的倍数。例如，如果编译器为int类型指定了4字节对齐，那么任何int类型的成员变量的起始地址都将是4的倍数。

对齐要求可能因编译器和目标平台而异，但通常遵循硬件平台的最佳实践。例如，在x86架构上，很多编译器默认将int、float等4字节类型对齐到4字节边界，而double和long long类型可能对齐到8字节边界。

3. 填充字节（Padding）

由于内存对齐的要求，编译器可能会在成员变量之间或成员变量与对象末尾之间插入填充字节（Padding），以确保每个成员变量的地址都符合其对齐要求。这些填充字节不参与对象的实际数据，但会占用内存空间。

4. 继承与布局

在涉及继承时，基类对象通常位于派生类对象的起始位置，紧接着是派生类新增的成员变量。如果基类或派生类中有虚函数，编译器可能会引入虚函数表指针（vtable pointer），该指针通常位于对象的最开始位置（对于单继承情况），用于在运行时确定对象的实际类型并调用相应的虚函数。

5. 编译器和平台的差异

不同编译器和不同平台（如x86、x64、ARM等）的内存布局可能会有所不同，这主要体现在内存对齐规则上。因此，在跨平台开发时，需要特别注意这些差异。

6. 结构体（Struct）与类（Class）

在C++中，结构体（struct）和类（class）在语法上非常相似，但它们在默认访问权限上有所不同（struct默认为public，class默认为private）。然而，在内存布局方面，结构体和类通常遵循相同的规则。

7. C++11及以后的改进

C++11及以后的版本对内存模型进行了改进，引入了如alignas和alignof等关键字，允许程序员显式指定对齐要求和查询类型的对齐要求。这些特性提供了更灵活的控制，但也需要开发者对目标平台的内存对齐规则有深入的理解。

总之，C++对象的内存模型成员变量布局是一个复杂但至关重要的主题，它受到多种因素的影响。在面试中，能够准确、全面、深入地解释这些布局规则，将展示你对C++内存模型的深刻理解和熟练掌握。

3. 通过指针和通过 `.` 进行 Data Member 存取的区别

在C++中，通过指针访问对象的成员（使用->操作符）与直接通过对象本身使用.操作符访问其成员，在底层实现和效果上存在一些关键的区别，这些区别主要涉及到访问方式、语法、以及在某些情况下的性能考量（尽管在大多数情况下，现代编译器优化会消除这些差异）。

1. 访问方式

.操作符：当你有一个对象的实例时，你可以直接使用.操作符来访问其成员（包括数据成员和成员函数）。这种访问方式是直接的，因为它直接作用于对象本身。
```
MyClass obj;
obj.member = 10; // 直接访问obj的member成员
```
->操作符：当你有一个指向对象的指针时，你需要使用->操作符来访问其成员。这是因为指针本身不直接存储对象的数据，而是存储对象在内存中的地址。->操作符首先解引用指针以获取对象，然后访问该对象的成员。
```
MyClass* ptr = &obj;
ptr->member = 20; // 间接访问ptr指向对象的member成员
```

2. 语法和可读性

语法：使用.和->的语法差异是直观的。.用于直接对象，而->用于指针指向的对象。
可读性：在代码中，->的使用通常意味着存在一个指针，这有助于读者理解代码的意图和可能的内存管理问题（如空指针解引用）。

3. 性能

在大多数现代编译器和硬件架构上，通过.和->访问对象成员的性能差异几乎可以忽略不计。编译器会进行大量的优化，以确保无论使用哪种方式，生成的机器代码都是高效的。
然而，在某些特定情况下（如涉及复杂指针运算或大量间接访问时），直接使用.可能会比->（需要额外的解引用操作）稍微快一点。但这种差异通常非常微小，并且在大多数情况下，代码的可读性和维护性更为重要。

4. 安全性

使用.时，如果对象本身不是有效的（例如，未初始化或已销毁的对象），那么访问其成员将导致未定义行为。
使用->时，如果指针是nullptr或指向无效的内存位置，则解引用该指针将导致未定义行为（通常是程序崩溃）。因此，在使用->时，需要更加注意指针的有效性。

总结

在C++中，通过.和->访问对象成员的主要区别在于它们的访问方式和语法。.用于直接对象，而->用于通过指针间接访问对象。尽管在底层实现和性能上可能存在微小的差异，但这些差异通常被现代编译器的优化所掩盖。更重要的是要考虑代码的可读性、维护性和安全性。

4. 数据成员的布局——无继承

在C++中，对象的内存模型，特别是在没有继承的情况下，主要关注于其数据成员的布局。当一个类没有继承自其他类时，其对象的内存布局相对直接和简单。下面将详细解释这种内存布局的几个关键点：

1. 成员变量的顺序

对象的内存布局中，成员变量的顺序通常与它们在类定义中出现的顺序一致。这意味着在类的内存表示中，第一个声明的成员变量将位于内存的最低地址（或起始地址），而最后一个声明的成员变量将位于最高地址（或结束地址之前）。这种顺序保证了内存布局的可预测性，使得访问成员变量变得直接且高效。

2. 对齐和填充

由于硬件访问内存的限制（如某些硬件要求特定类型的数据（如int、double等）必须在特定的内存地址上对齐），编译器可能会在每个成员变量之间插入填充字节（padding）以确保每个成员变量都满足其对齐要求。这种填充可能会导致对象占用的总内存大小比其所有成员变量大小之和要大。

3. 静态成员变量

静态成员变量不属于类的任何特定对象实例，而是属于类本身。因此，静态成员变量在内存中不存储在对象实例的内存布局中，而是存储在程序的静态数据段中。每个静态成员变量在程序中有且仅有一个实例，无论创建了多少个类的对象。

4. 访问成员变量

在C++中，通过对象实例访问其成员变量是通过在成员变量名前加上对象实例名和点操作符（.）来完成的。由于成员变量在对象内存布局中的位置是固定的，这种访问方式允许编译器生成直接且高效的代码来访问这些变量。

5. 构造函数和析构函数

虽然构造函数和析构函数与对象的生命周期管理紧密相关，但它们并不直接属于对象的内存布局。然而，当创建或销毁对象时，这些函数会被自动调用，以初始化或清理对象的状态。

6. 示例

假设有以下类定义：

class Example {
public:
    char a; // 1字节
    int b;  // 通常是4字节（取决于编译器和平台）
    double c; // 通常是8字节（取决于编译器和平台）
};

在没有对齐和填充的情况下，你可能会期望Example类的对象占用1 + 4 + 8 = 13字节的内存。然而，由于对齐要求，实际占用的内存可能会更多。例如，如果编译器要求int和double在4字节或8字节边界上对齐，那么a后面可能会有3字节的填充，b后可能不需要填充（因为它已经是4字节对齐），但c前面可能会有4字节的填充以确保其8字节对齐。因此，Example对象可能占用1 + 3（填充）+ 4 + 4（填充）+ 8 = 20字节的内存。

结论

了解无继承情况下对象的内存布局对于深入理解C++的内存管理、性能优化以及调试都是至关重要的。通过理解成员变量的顺序、对齐和填充，开发者可以编写出更高效、更可靠的C++代码。

5. 数据成员的布局——不含多态的继承

C++标准并未强制指定派生类和基类成员的排列顺序；理论上编译器可以自由安排。在大部分编译器上，基类成员总是先出现，虚基类除外

在C++中，当涉及到不含多态（即没有虚函数或虚继承）的继承时，对象的内存模型数据成员的布局确实是一个复杂但有趣的话题。虽然C++标准没有明确规定派生类和基类成员的具体排列顺序，但大多数编译器在实现时遵循了一些通用的约定，这些约定有助于开发者理解和预测对象的内存布局。

1. 基类成员先出现（非虚基类）

在不含多态（即没有虚函数和虚继承）的情况下，大多数编译器会将基类的成员变量先放置在派生类对象的内存布局中，紧接着是派生类自己定义的成员变量。这种布局方式使得通过基类指针或引用来访问基类成员时，可以直接通过指针或引用的偏移量来定位，而无需额外的间接寻址或计算。

2. 虚基类成员的位置

然而，当涉及到虚基类时，情况就有所不同了。虚基类是为了解决多重继承中的菱形继承问题而引入的。在包含虚基类的继承体系中，虚基类的成员在派生类对象中的位置并不是简单地先于非虚基类成员。相反，编译器会采用一种策略来确保虚基类在继承体系中的每个派生类对象中只被实例化一次，并且其位置可能根据编译器的实现而有所不同。通常，虚基类的成员会被放置在派生类对象内存的某个特定位置，这个位置可能不是最前面，也可能通过某种方式（如偏移表）来间接访问。

3. 编译器自由度

尽管大多数编译器在不含多态的继承中遵循了基类成员先出现的约定，但C++标准确实没有强制要求这一点。编译器在实现时有一定的自由度来优化对象的内存布局，以提高访问速度或减少内存占用。因此，开发者在编写依赖于特定内存布局的代码时需要格外小心，避免因为编译器差异而导致的兼容性问题。

4. 访问基类成员

无论基类成员在派生类对象中的具体位置如何，通过基类指针或引用来访问基类成员都是安全的。这是因为编译器会负责处理必要的偏移和类型转换，以确保访问的正确性。然而，如果直接通过派生类对象的指针或引用来访问基类成员（特别是在多重继承或虚继承的情况下），可能需要使用特定的类型转换或偏移计算来确保访问的是正确的成员。

5. 注意事项

内存对齐：成员变量的内存对齐也会影响对象的总大小。编译器可能会在每个成员变量之间插入填充字节以满足对齐要求。
性能考虑：了解对象的内存布局有助于开发者优化代码性能，比如通过合理安排成员变量的顺序来减少填充字节的数量。
可移植性：由于不同编译器可能采用不同的内存布局策略，因此依赖于特定内存布局的代码可能会降低代码的可移植性。

综上所述，虽然C++标准没有强制指定派生类和基类成员的排列顺序，但大多数编译器在不含多态的继承中遵循了基类成员先出现的约定（虚基类除外）。开发者在编写代码时应该考虑到这一点，并避免编写依赖于特定内存布局的代码。

6. 数据成员的布局——含多态的继承

vptr 的位置也没有强制规定，放在不同位置分别有什么好处？

在C++中，当类包含多态（即至少含有一个虚函数）并涉及到继承时，对象的内存模型会变得稍微复杂，主要是因为引入了虚函数表（vtable）和虚指针（vptr）来支持多态性。关于vptr在对象内存布局中的位置，虽然C++标准没有强制规定其具体位置，但不同的编译器和平台可能会选择不同的实现方式。这里讨论几种可能的vptr位置及其好处：

1. vptr位于对象内存的最前端

好处：

统一访问：无论对象如何继承，虚函数的调用总是从对象的起始位置开始寻找vptr，这使得虚函数的调用在编译时更加统一和简单。
性能优化：由于vptr位置固定，编译器可以生成更加高效的代码来访问虚函数表，因为不需要在运行时计算vptr的偏移量。
兼容性：这种布局方式有助于保持与早期C++编译器和库的兼容性，因为许多早期的实现都采用了这种方式。

2. vptr位于对象内存的末尾或其他非固定位置

好处：

减少内存浪费：对于不包含虚函数的小对象，将vptr放在末尾或其他非固定位置可以减少由于对齐和填充导致的内存浪费。特别是当对象的其他成员变量大小与vptr对齐要求相近时，这种布局可能更加高效。
灵活性：允许编译器根据对象的实际大小和类型优化内存布局，可能有助于提高内存利用率和缓存效率。
特殊用途：在某些特殊情况下，如需要确保对象的前部内存布局与C结构体兼容时，将vptr放在非前端位置可能更为合适。

3. 编译器和平台的差异

需要注意的是，由于C++标准没有强制规定vptr的位置，不同的编译器和平台可能会选择不同的实现方式。例如，GCC通常将vptr放在对象内存的最前端，而某些其他编译器可能选择不同的布局策略。

4. 虚继承和多态

当涉及到虚继承时，情况会变得更加复杂。虚继承引入了虚基类表（vbtable）和虚基类指针（vbptr），这些额外的信息也需要被存储在对象的内存布局中。此时，vptr和vbptr的位置和布局可能会根据编译器的实现而有所不同。

结论

在选择vptr的位置时，编译器会权衡多种因素，包括内存利用率、性能、兼容性和灵活性等。因此，了解不同编译器和平台下的对象内存布局差异对于编写可移植和高性能的C++代码至关重要。在面试中，能够深入探讨这些概念并理解其背后的原理将能够展示出你的专业知识和深入理解。

7. 数据成员的布局——多重继承

基类子对象的排列顺序也没有硬性规定；指针的调整方式？

在C++中，多重继承（Multiple Inheritance）是一个复杂但强大的特性，它允许一个类继承自多个基类。关于多重继承下对象内存模型中基类子对象的排列顺序以及指针的调整方式，我们可以从以下几个方面来详细解答：

1. 基类子对象的排列顺序

在多重继承中，基类子对象在派生类对象中的排列顺序并没有由C++标准直接规定，这意味着不同的编译器可能会采用不同的布局策略。然而，大多数编译器会按照基类在派生类定义中的声明顺序来排列这些基类子对象。但这是一个实现细节，程序员不应依赖于此。

2. 指针的调整方式

在多重继承的情况下，由于基类子对象可能不在派生类对象的起始位置，因此直接通过基类指针访问派生类对象的成员时，可能需要进行指针调整（Pointer Adjustment）。这种调整是为了确保正确地定位到基类子对象在派生类对象中的实际位置。

静态类型转换（Static Cast）：当使用static_cast将派生类指针转换为基类指针时，编译器会根据基类在派生类中的偏移量自动调整指针。这是编译器在编译时确定的，不需要程序员手动干预。
动态类型转换（Dynamic Cast）：虽然dynamic_cast主要用于处理多态类型之间的转换，并涉及到运行时类型检查，但在多重继承中，它也可以用来安全地将派生类指针或引用转换为基类指针或引用，并在必要时进行指针调整。

3. 虚基类（Virtual Base Classes）

在多重继承中，如果多个基类继承自同一个基类（称为“菱形继承”），并且派生类希望只继承一份这个共同基类的实例，那么可以使用虚基类。虚基类的存在使得派生类对象中的虚基类子对象只会被实例化一次，并且其位置由编译器确定，以确保所有从该虚基类继承的基类子对象都能正确地访问到这个唯一的虚基类子对象。

在虚继承的情况下，指针调整变得更加复杂，因为编译器需要确保无论通过哪个基类路径访问虚基类子对象，都能得到相同的地址。这通常涉及到额外的偏移量计算。

4. 编译器实现差异

由于C++标准没有规定具体的内存布局策略，不同的编译器可能会采用不同的策略来优化内存使用或提高访问速度。因此，在跨编译器编程时，应当避免依赖特定的内存布局细节。

结论

在C++的多重继承中，基类子对象的排列顺序没有硬性规定，指针调整是自动进行的，但程序员需要了解这些概念以编写可移植且高效的代码。此外，对于复杂的继承结构，使用虚基类可以避免一些常见问题，如菱形继承中的多重实例化问题。

8. 数据成员的布局——虚继承

虚基类子对象的偏移信息记录在虚函数表之前与使用一个额外指针来记录的对比？

在C++中，虚继承是处理多重继承时解决菱形继承（或钻石继承）问题的一种机制。它确保了从同一虚基类派生的多个基类在派生类中只实例化一次。关于对象内存模型中虚基类子对象的偏移信息记录方式，主要有两种常见的实现策略：一种是直接在虚函数表（vtable）之前或与之相关联的地方记录偏移信息，另一种则是使用一个额外的指针（如vbptr，即虚基类指针）来记录。下面是对这两种策略的详细对比：