如何让编译器消除基类中未被调用的虚函数实现？

我完全理解你的困扰——明明基类Base的构造和析构空得离谱，连触发虚函数foo的机会都没有，编译器却还是固执地把Base的vtable和臃肿的foo实现塞进程序里，平白增加体积。下面我们来拆解可行的解决方案，从编译器特定的优化技巧到标准C++的代码重构都有：

一、编译器特定的优化选项（快速解决，针对GCC/Clang） #

这些方法利用编译器的非标准优化或激进优化能力，不需要修改核心代码：

1. GCC的-fno-vtable-ctors选项 #

这个选项专门适配你的场景：如果基类的构造/析构函数没有调用任何虚函数，GCC会跳过构造函数中vtable指针的赋值操作。在你的代码里，Base的构造和析构都是空的，完全满足安全条件。

开启这个选项后，编译器不会生成Base vtable的引用，Base::foo因为没有被任何代码调用，会被链接器直接剔除。这正好达到你想要的效果：对象的动态类型从始至终都是Sub，哪怕在Base构造/析构的空执行阶段。

2. 链接时优化（LTO）+ 代码段剔除 #

如果你的编译器不支持-fno-vtable-ctors，可以组合使用以下编译选项：

-O3 -ffunction-sections -fdata-sections -Wl,--gc-sections -flto

• -ffunction-sections -fdata-sections：让编译器把每个函数/数据项放在单独的代码段/数据段里；
• -Wl,--gc-sections：告诉链接器剔除所有未被引用的代码段；
• -flto：开启链接时优化，让编译器能跨整个程序分析符号的引用关系，精准识别出Base::foo从未被调用，进而彻底删掉它的实现。

3. Clang的自动优化 #

Clang在-O3优化级别下，可能会自动检测到Base构造/析构中没有调用虚函数，进而优化掉vtable的赋值操作。如果你的编译器没自动做到，试试手动开启上述LTO和段剔除选项。

二、标准C++代码重构（可移植性强） #

如果需要跨编译器的解决方案，或者不想依赖非标准选项，可以通过代码重构消除不必要的vtable引用：

1. 把基类改为带纯虚函数的抽象类 #

你可以把Base::foo声明为纯虚函数，但同时在类外提供实现：

class Base {
protected:
    Base() {}
    virtual ~Base() {}
    virtual int foo(int x) = 0; // 纯虚函数
};

// 类外提供纯虚函数的实现
int Base::foo(int x) {
    // Lots of bloated code here
    return SomeExpression;
}

class Sub : public Base {
public:
    Sub() {}
    ~Sub() {}
    int foo(int x) override {
        // Small useful code here
    }
};

这样Base不能被实例化，编译器会更清楚Base的vtable只有在子类重写后才会被用到。配合链接器的段剔除选项，Base::foo的实现会因为未被调用而被删掉。

2. 用CRTP静态多态替代动态多态 #

如果你的场景不需要真正的动态多态（比如不需要用基类指针指向任意子类），可以用CRTP（奇异递归模板模式）实现静态分派，彻底消除vtable：

template <typename Derived>
class Base {
public:
    int foo(int x) {
        // 静态分派到子类的实现
        return static_cast<Derived*>(this)->foo_impl(x);
    }
};

class Sub : public Base<Sub> {
public:
    int foo_impl(int x) {
        // Small useful code here
    }
};

这种方式没有虚函数和vtable，Base中臃肿的foo代码因为不会被调用，会被编译器直接优化掉，从根源解决程序体积问题。

三、非标准语言扩展（针对特定编译器） #

你提到的Borland/Embarcadero Pascal的OOP扩展思路，在部分C编译器中也有对应的非标准支持。比如Embarcadero C编译器可能有选项允许在基类构造/析构期间保持子类的动态类型，从而跳过vtable的切换。如果你使用这类编译器，可以查阅官方文档寻找对应的扩展选项（比如-Vx或类似的初始化控制选项）。

注意事项 #

所有跳过vtable赋值的方法，都严格依赖于基类构造/析构中没有调用虚函数——如果后续修改Base的构造/析构，加入了虚函数调用，会直接导致未定义行为。记得在修改代码时同步调整编译器选项或重构方案。

内容来源于Stack Exchange