C++惯用法之空基类优化-编程知识

相关系列文章

C++惯用法之Pimpl

C++惯用法之CRTP(奇异递归模板模式)

C++之std::tuple(二) : 揭秘底层实现原理

1.空类

2.空基类优化

3.内存布局原则

4.实例分析

5.总结

1.空类

C++ 中每个对象的实例都可以通过取地址运算符获取其在内存布局中的开始位置，因此每个类对象至少需要占用一个字节的空间。空类是指不包含非静态数据成员的类，但是可以包含成员函数及静态成员。C++ 中空类的大小是 1 字节。

class CEmpty1
{};
class CEmpty2
{static int i;
};class CEmpty3
{
public:void func1() {};void func2() {};
};int main()
{cout << "CEmpty1大小:" << sizeof(CEmpty1) << endl; //输出: 1cout << "CEmpty2大小:" << sizeof(CEmpty2) << endl; //输出: 1cout << "CEmpty3大小:" << sizeof(CEmpty3) << endl; //输出: 1return 0;
}

结果是1，它是空的怎么不是0呢？

因为空类同样可以被实例化，每个实例在内存中都有一个独一无二的地址，为了达到这个目的，编译器往往会给一个空类隐含的加一个字节，这样空类在实例化后在内存得到了独一无二的地址．所以上述大小为1。

2.空基类优化

注：空基类优化可简称为EBO （empty base optimization）或者 EBCO （empty base class optimization）

在没有歧义的情况下，C++ 允许空基类的子对象大小为 0。

一般来讲，对一个既有类进行扩展时，除非有更好的理由采用继承（有虚函数需要重新实现、有受保护的私有成员需要访问，否则采用组合的方式进行扩展。

现对比一下两种模式，第一种，类中把空类做为成员变量使用，然后通过这个来获得被包含类的功能，如：

class CEmpty {};
class CDerived1 {CEmpty m_base;int m_i;//other function...
};

另一种直接采用继承的方式来获得基类的成员函数及其他功能等等。如：

class CDerived2 : public CEmpty {int m_i;//other function...
};

接下来做个测试：

std::cout<<sizeof(CDerived1)<<std::endl; //输出: 8
std::cout<<sizeof(CDerived2)<<std::endl; //输出：4

第一种，本来只占1字节，会因为字节对齐，进行扩充到4的倍数，最后就是8字节。
对比这两个发现，第二种通过继承方式来获得基类的功能，并没有产生额外大小的优化称之为EBO(空基类优化)。

3.内存布局原则

C++的设计者不允许类的大小为0，其原因有很多，比如由它们构成的数组，其大小必然也是0，这会导致指针运算中普遍使用的性质失效。比如，假设类型ZeroSizedT的大小为0，则下面的操作会出现错误：

ZeroSizedT  z[10];
auto v =  &z[9]  - &z[2];  // 计算指针/地址之间的距离

正常情况下，上例中的差值是通过将两个地址之间的字节数除以指针指向的类型的大小得出来的，但是它们的大小是0时，该关系就显然就不成立了。

尽管C++中没有大小为0的类型，但是C++规定，当空类作为基类时，不需要为其分配空间，前提是这样做不会导致它被分配到与其他对象或者同类型的子对象相同的地址上。看个例子：

#include <iostream>
class EmptyClass{using Bool = bool; //类型别名成员不会让一个类成为非空类
};
class EmptyFoo : public EmptyClass{
};
class EmptyThree : public EmptyFoo{
};
int main(){std::cout << sizeof(EmptyClass) << std::endl; //输出：1std::cout << sizeof(EmptyFoo) << std::endl; //输出：1std::cout << sizeof(EmptyThree ) << std::endl; //输出：1
}

如果编译器支持空基类优化，上面程序的所有输出结果相同，但是均不为0。也就是说，在类EmptyFoo 中的类 EmptyClass没有分配空间。如下图：

如果不支持空基类优化，上面程序的输出结果不同。布局如下图：

再看个例子：

#include <iostream>
class EmptyClass{using Bool = bool;  //类型别名成员不会让一个类成为非空类
};
class EmptyFoo : public EmptyClass{
};
class NoEmpty :public EmptyClass,  public EmptyFoo{
};
int main(){std::cout << sizeof(EmptyClass) << std::endl; //输出：1std::cout << sizeof(EmptyFoo) << std::endl; //输出：1std::cout << sizeof(NoEmpty) << std::endl; //输出：2
}

NoEmpty 为什么不为空类呢？这是因为NoEmpty 的基类EmptyClass和EmptyFoo 不能分配到同一地址空间，否则EmptyFoo 的基类EmptyClass和NoEmpty 的EmptyClass会撞到同一地址空间上。换句话说，两个相同类型的子对象偏移量相同，这是C++布局规则不允许的

对空基类优化进行限制的根据原因在于：我们需要能比较两个指针是否指向同一对象。由于指针几乎总是用地址内部表示，所以我们必须保证两个不同的地址（即两个不同的指针）对应两个不同的对象。

这个限制也许看起来不是非常重要。然而，在实践中经常会遇到相关问题，因为许多类往往继承自某些空类的一个小集合，而这些空类又往往定义了一些共同的类型别名。当这样的类的两个子对象被用在同一个完整对象中时，优化就会被阻止。

就算有此限制，EBCO仍是模板库的一个重要优化，因为有些技巧要依赖于某些基类的引入，而引入这些基类只是为了引入新的类型别名或者在不增加新数据的情况提供额外功能。

4.实例分析

std::tuple实际也应用了空基类优化,如：

struct Base1 {}; // 空类
struct Base2 {}; // 空类
struct Base3 {}; // 空类int main()
{std::cout << sizeof(std::tuple<Base1, Base2, Base3>) << "," << sizeof(std::tuple<Base1, Base2, Base3, int>);
}
// 输出为1,4

本节介绍std::tuple中如何应用EBO，本文以mingw平台上的实现为例进行讲解。

tuple的模板参数可以支持接收任意类型，熟悉可变模板参数的同学可以快速实现如下代码：

template<typename ...Args>
struct Tuple;
template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...> {Head h;Tuple<Tail...> t;
};

此时模板参数类型为空类时存在内存浪费；下一步应用EBO优化得到：

template<typename ...Args>
struct Tuple;
template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...> : private Head, Tuple<Tail...> {
};

但Head可能为int或者final类等不可继承类型，因此引入TupleEle：

template<typename T, bool = std::is_class<T>::value && !std::is_final<T>::value>
struct TupleEle;template<typename T>
struct TupleEle <T, false> {T value;T& Get() { return value; }
};template<typename T>
struct TupleEle <T, true> : private T {T& Get() { return *this; }
};template<typename ...Args>
struct Tuple;template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...>: private TupleEle<Head>, private Tuple<Tail...> {
};

此时如果送入重复类型，则重复继承了TupleEle<xxx>，导致派生类转换到基类存在歧义，因此进一步修改为：

template<size_t index, typename T, bool = std::is_class<T>::value && !std::is_final<T>::value>
struct TupleEle;template<size_t index, typename T>
struct TupleEle <index, T, false> {T value;T& Get() { return value; }
};template<size_t index, typename T>
struct TupleEle <index, T, true> : private T {T& Get() { return *this; }
};template<typename ...Args>
struct Tuple;
template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...>: private TupleEle<sizeof...(Tail), Head>, private Tuple<Tail...> {
};

得益于EBO继承关系，在实现Get<xxx>(tuple)利用模板参数推导，可以在常量时间内获取对应元素，补充Get之后的完整代码如下：

template<size_t index, typename T, bool = std::is_class<T>::value && !std::is_final<T>::value>
struct TupleEle;template<size_t index, typename T>
struct TupleEle <index, T, false> {template<typename U>TupleEle(U&& u) : value(std::forward<U>(u)) {};T& Get() { return value; }
private:T value;
};template<size_t index, typename T>
struct TupleEle <index, T, true> : private T {template<typename U>TupleEle(U&& u) : T(std::forward<U>(u)) {};T& Get() { return *this; }
};template<typename ...Args>
struct Tuple;
template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...>: TupleEle<sizeof...(Tail), Head>, private Tuple<Tail...> {template<typename H, typename ...Rest>Tuple(H&& h, Rest&&...rest) : TupleEle<sizeof...(Tail), Head>(std::forward<H>(h)),Tuple<Tail...>(std::forward<Rest>(rest)...){}template<size_t index, typename ...Ts>friend decltype(auto) Get(Tuple<Ts...>& t);
};template<size_t index, typename T>
T& GetIndex(TupleEle<index, T>& te) { return te.Get(); }template<size_t index, typename ...Ts>
decltype(auto) Get(Tuple<Ts...>& t) { return GetIndex<sizeof...(Ts) - index -1>(t); }

在GetIndex调用时通过模板参数推导，index确定，推导出对应T；

std::tuple在vs2019平台上的实现跟mingw上的实现还是有些差异，具体的差异可以查看我的另外一篇博客：