C++空基类优化是否适用于仅在继承链中实例化的类？

问题背景 #

递归变长模板继承会实例化链中所有变长尾序列特化，示例代码如下：

template <class...Ts>
class templ;

template <class T>
class templ<T>
{
    virtual void foo() = 0; // 原场景中需使用虚函数
};

template <class F, class...R>
class templ: public templ<F>, templ<R...>
{
    using templ<F>::foo;
    using templ<R...>::foo;
};   

当使用templ<A, B, C, D>时，会实例化templ<A>、templ<B>、templ<C>、templ<D>、templ<B, C, D>和templ<C, D>。有观点认为中间的templ<B, C, D>和templ<C, D>仅存在于继承链中，会导致代码膨胀；但疑问在于：优化器能否省略这些无实际功能的子对象及虚表部分？甚至猜测这是空基类优化的结果，是否正确？

解答 #

1. 优化器的冗余消除能力 #

编译器优化器（如开启-O2及以上级别时的GCC、Clang）确实有可能消除这类冗余的中间基类实例，但这不是空基类优化（EBO）的直接结果，且依赖具体实现：

• 若templ<B, C, D>这类中间类仅作为基类被继承，未被直接实例化对象、取地址或引用其非静态成员（除using引入的foo），优化器可选择不为其生成独立的虚表与冗余代码。但C++标准并未强制要求该优化，不同编译器的处理可能存在差异。

2. 虚表与对象布局的限制 #

你猜测templ<A, B, C, D>会仅有一个含四个条目的虚表、布局类似无基类的类，这在多数情况下不成立：

• 每个带虚函数的基类都会自带虚表指针（vptr），除非编译器能进行虚表合并优化，但此处是线性递归继承而非菱形结构，合并难度更高。即便所有虚函数最终被派生类覆盖，优化器也未必会合并虚表条目，这取决于具体场景与编译器实现。

3. 空基类优化的作用边界 #

空基类优化（EBO）仅针对无数据成员的空类，作用是避免基类占用额外内存空间。但带有虚函数的基类因包含vptr，本身并非空类，因此EBO无法直接应用于此场景，也不能消除中间类的虚表或实例化代码。

4. 根源避免代码膨胀的方案 #

若要彻底规避这类潜在的代码膨胀风险，更可靠的方式是调整继承结构：

• 改用扁平继承：直接让templ<Ts...>继承多个templ<T>特化，而非递归继承变长版本；
• 使用CRTP等技术替代递归变长继承，避免生成中间类实例。

内容的提问来源于stack exchange，提问作者Spencer