如何促使无多态场景下抽象基类的去虚拟化优化？

问题背景 #

我采用扁平类层次结构，以抽象基类存放多个相关类的通用逻辑，子类通过重写虚函数modifier()来影响父类共享方法logic()的行为。代码中无实际多态操作：基类仅用于子类声明（置于匿名命名空间以保证静态链接），子类均声明为final，始终以自身类型创建和使用，对外界而言类层次结构近乎不存在，仅通过继承机制减少代码复制。但当前GCC 13.2、Clang 17.0等编译器在-O3优化下，仅能在极简单场景下去虚拟化，稍有间接操作就会生成并使用虚函数表。实际场景为树节点迭代类，虚函数用于控制遍历终止条件。

测试代码如下：

// devirtualisation test

namespace ns {

namespace {

struct Base {
    int common() { return 3; }
    virtual int modifier() = 0;
    int logic(int n) {
        return (n * modifier()) % common();
    }
};

} // namespace <anonymous>

struct ChildA final : Base {
    int modifier() { return 2; }
};

struct ChildB final : Base {
    int modifier() { return 3; }
};

struct ChildC final : Base {
    int modifier() { return 4; }
};

} //namespace ns

using namespace ns;

#include <iostream>
using namespace std;

// get* functions to confuse compilers a little

ChildA getA() {
    return ChildA();
}

ChildB getB() {
    return ChildB();
}

int main() {
    cout << getA().logic(2) << "\n";
    cout << getB().logic(2) << "\n";
    cout << ChildC().logic(2) << "\n";
}

核心疑问：

• 如何优化代码以可靠消除虚函数表？
• C++标准对此优化有相关规定吗，还是完全依赖编译器实现？
• 抑或只能通过手动去虚拟化（将logic()复制到每个子类）解决？

优化方案 #

1. CRTP（奇异递归模板模式）替代虚函数机制 #

这是最可靠的解决方案，能在编译期绑定子类实现，彻底避免虚函数表。将基类改为模板类，子类继承时传入自身类型作为模板参数，基类直接调用子类的非虚modifier()方法：

namespace ns {

namespace {

template<typename Derived>
struct Base {
    int common() { return 3; }
    int logic(int n) {
        return (n * static_cast<Derived*>(this)->modifier()) % common();
    }
};

} // namespace <anonymous>

struct ChildA final : Base<ChildA> {
    int modifier() { return 2; }
};

struct ChildB final : Base<ChildB> {
    int modifier() { return 3; }
};

struct ChildC final : Base<ChildC> {
    int modifier() { return 4; }
};

} //namespace ns

// 其余代码保持不变

该方式在编译期即可确定modifier()的调用目标，完全不会生成虚函数表，同时保留了代码复用的优势。

2. 强制编译器去虚拟化（针对现有虚函数结构） #

若不想重构为CRTP，可尝试给子类的modifier()添加final修饰（增强编译器类型推导信心），或在基类logic()中显式通过static_cast调用子类方法：

struct ChildA final : Base {
    int modifier() final { return 2; }
};

但这种方式依赖编译器的优化能力，在存在间接操作（如示例中的getA()函数）时，仍无法保证100%去虚拟化，可靠性远低于CRTP。

3. 手动去虚拟化（保底方案） #

将logic()复制到每个子类，彻底消除虚函数依赖，但会引入代码冗余。仅在无法使用模板或CRTP的特殊场景下考虑。

C++标准相关规定 #

C++标准没有强制要求编译器必须执行去虚拟化优化，这属于实现定义的优化范畴。标准仅明确了虚函数的行为语义，而是否能在特定场景下去虚拟化、消除虚函数表，完全由编译器的优化器实现决定。不同编译器、不同版本的优化策略可能存在差异，因此依赖编译器自动去虚拟化无法保证跨版本、跨编译器的可靠性。

总结 #

最可靠的方案是采用CRTP替代虚函数机制，既能保留代码复用，又能在编译期彻底消除虚函数表的生成。依赖编译器自动去虚拟化不可靠，手动复制代码则会引入冗余，仅作为最后备选。

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