Class Layout

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

文档主要讨论了C++类布局的相关内容，包括静态成员数据、枚举、非虚拟成员函数以及基类布局对类布局的影响。标准布局类是指没有虚函数、基类和非静态数据成员的类，其布局类似于C结构。文档还提到编译器可能对基类子对象的顺序进行优化，以及如何通过静态断言来验证类成员的偏移量。此外，文档指出非虚拟成员函数不会影响类布局，而虚函数和基类可能会增加类的复杂性和布局不确定性。

AI总结

文档主要讨论了C++类布局的相关内容，重点总结如下：

1. **标准布局类的定义**
- 标准布局类类似于C语言的结构体，具有确定的布局特性。
- 标准布局类不能包含以下内容：
- 私有或保护的非静态数据成员
- 用户定义的构造函数
- 基类

2. **成员对布局的影响**
- **静态成员数据**：不占用对象空间，存储在静态区域。
- **虚函数**：会影响类布局，导致额外开销。
- **非虚成员函数**：不影响布局，通过this指针调用。

3. **布局保证**
- 第一个非静态成员偏移为0。
- 成员按顺序排列，但可能存在填充字节（slack bytes）。
- 对象存储在连续内存中。

4. **基类布局**
- 基类子对象通常位于派生类数据之前。
- 编译器可能优化基类顺序，导致布局不可预测。

5. **空类与状态类**
- 空类（无非静态成员、无虚函数）仍需占用空间（通常为1字节）。
- 状态类（stateless）可能用于设备建模，需确保布局正确。

6. **非虚拟成员函数**
- 不占用对象空间，调用方式与自由函数类似。

7. **编译器优化**
- 编译器可能合并空基类或调整布局，导致不可预测的结果。

8. **静态断言与布局验证**
- 使用静态断言（`static_assert`）验证成员偏移，避免运行时错误。

9. **void指针中间件风险**
- 通过void指针传递对象地址可能导致类型信息丢失，引发地址比较问题。

总结：标准布局类的布局特性有助于预测和控制内存分配，但在复杂继承或优化场景下，布局可能不可预测。建议通过静态断言和标准布局特性确保布局的正确性。