空基类优化

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

C++ 语言

 

类

概述

综述

class/struct 类型

union 类型

注入类名

成员

数据成员

静态成员

this 指针

嵌套类

成员模板

位域

using 声明

成员函数

成员访问指定符

构造函数与成员初始化器列表

默认成员初始化器(C++11)

friend 说明符

explicit 说明符

转换构造函数

特殊成员函数

默认构造函数

复制构造函数

移动构造函数(C++11)

复制赋值运算符

移动赋值运算符(C++11)

析构函数

继承

基与派生类

空基类优化

虚成员函数

纯虚函数与抽象类

override(C++11)

final(C++11)

 

允许空的基类子对象大小为零。

解释

为保证同一类型的不同对象地址始终有别，要求任何对象或成员子对象的大小至少为 1，即使该类型是空的类类型（即没有非静态数据成员的 class 或 struct）（，除非带有 [[no_unique_address]]，见下文） (C++20 起)。

然而，基类子对象不受这种制约，而且可以完全从对象布局中被优化掉：

#include <cassert>
 
struct Base {}; // 空类
 
struct Derived1 : Base {
    int i;
};
 
int main()
{
    // 任何空类类型的对象大小至少为 1
    assert(sizeof(Base) > 0);
 
    // 应用空基类优化
    assert(sizeof(Derived1) == sizeof(int));
}

如果首个非静态数据成员的类型与一个空基类的类型相同或者由该空基类派生，那么禁用空基类优化，因为要求两个同类型基类子对象在最终派生类型的对象表示中必须拥有不同地址。

这种情况的典例是 std::reverse_iterator 的朴素实现（派生自空基类 std::iterator），它持有其底层迭代器（同样派生自 std::iterator）为其首个非静态数据成员。

#include <cassert>
 
struct Base {}; // 空类
 
struct Derived1 : Base {
    int i;
};
 
struct Derived2 : Base {
    Base c; // Base，占用 1 字节，后随对 i 的填充
    int i;
};
 
struct Derived3 : Base {
    Derived1 c; // 从 Base 派生，占用 sizeof(int) 字节
    int i;
};
 
int main()
{
    // 不应用空基优化，
    // 基类占用 1 字节，Base 成员占用 1 字节
    // 后随 2 个填充字节以满足 int 的对齐要求
    assert(sizeof(Derived2) == 2*sizeof(int));
 
    // 不应用空基类优化，
    // 基类占用至少 1 字节加填充，
    // 以满足首个成员的对齐要求（其对齐要求与 int 相同）
    assert(sizeof(Derived3) == 3*sizeof(int));
}

标准布局类型 (StandardLayoutType) 必须应用空基类优化以维持指向标准布局对象的指针在用 reinterpret_cast 转换后还指向其首成员，这是标准要求标准布局类型“在同一个类中声明所有非静态数据成员（全在派生类或全在某个基类）”，并且“不能有与首个非静态数据成员类型相同的基类”的原因。

(C++11 起)

如果空成员子对象使用属性 [[no_unique_address]]，那么允许像空基类一样优化掉它们。取这种成员的地址会产生可能等于同一个对象的某个其他成员的地址。 #include <cassert>   struct Empty {}; // 空类   struct X { int i; [[no_unique_address]] Empty e; };   int main() { // 任何空类类型对象的大小至少为 1 assert(sizeof(Empty) >= 1);   // 空成员被优化掉 assert(sizeof(X) == sizeof(int)); }

(C++20 起)

注解

空基类优化常用于具分配器的标准库类（std::vector、std::function、std::shared_ptr 等），使得当分配器无状态时可避免为其分配器成员占用任何额外存储。这是通过将必要的数据成员之一（例如 vector 的 begin、end 或 capacity 指针）与分配器一起，在 boost::compressed_pair 的某种等价物中存储而实现的。

引用

• C++11 标准（ISO/IEC 14882:2011）：

• 5.10 Equality operators [expr.eq](p: 2)

• 5.3.3 Sizeof [expr.sizeof](p: 2)

• 9 Classes [class](p: 4,7)

• 9.2 Class members [class.mem](p: 20)

• C++98 标准（ISO/IEC 14882:1998）：

• 5.10 Equality operators [expr.eq](p: 2)

• 5.3.3 Sizeof [expr.sizeof](p: 2)

• 9 Classes [class](p: 3)