c++标准库里边继承关系为什么这么乱

背景：

在看c++标准库的源码的时候，会经常发现，继承关系错综复杂，感觉莫名其妙，比如下边是侯捷老师的课件的截图

 

他也觉得有点奇怪为什么vector 最终会继承allocator，本文尝试自己理解来回答这个这个问题

原因：

先看下下边的测试代码

struct AA
{

};
struct BB: public AA
{

};
struct CC : public BB
{
        
};
struct DD 
{
        AA aa;
        BB bb;
};
int main()
{
        int aa = sizeof(AA);
        int bb = sizeof(BB);
        int cc = sizeof(CC);
        int dd = sizeof(DD);
    return 0;
}

        运行debug下很容看到aa,bb,cc,dd的大小，接下来看下aa=1，bb=1，cc=1，dd=2，上边代码非常简单，也足够说明问题了，首先strcut AA什么成员都没有，c++没有办法做到0size， 默认给他一个1个字节成员，这样当AA a，AA b，对&a != &b,

        主要看下DD 里边有两个aa, bb成员，每个成员1个字节，总共大小是2，但是 如果采用继承的方式，例如CC 它继承了BB继承AA，根据c++对象模型，这个只有1个字节，从而减少了内存占用

总结：

c++标准库通过继承的方式，而不采用复合的方式，原因在于减少不必须要内存占用，但是这样带来了理解上的不便，二者很难取两全，最终采用继承方式。