如何向拥有多派生类的抽象基类新增方法且不破坏二进制兼容性

方案1：独立扩展接口模式（推荐，无任何ABI兼容性风险） #

你遇到的菱形继承问题根源是Base_Ext继承了Base，直接调整Base_Ext的设计为独立纯虚接口即可完全规避该问题，不需要修改任何原有类的继承逻辑：

1. 保留原有Base和所有派生类的定义完全不变，避免修改ABI
2. 将Base_Ext改为独立的扩展接口，不继承Base：

#if ABI_VERSION_ATLEAST2
class Base_Ext
{
public:
    virtual ~Base_Ext() = default;
    virtual void food1() = 0;
};
#endif

3. 需要支持新方法的派生类直接多继承原有派生类和扩展接口即可，无菱形继承问题，不需要虚继承：

#if ABI_VERSION_ATLEAST2
class Derived1_Ext : public Derived1, public Base_Ext
{
public:
    // 原有Base接口的实现复用Derived1的逻辑，仅新增扩展接口实现
    void food1() override {
        // 新方法逻辑
    }
};
#endif

4. 调用侧通过动态类型检测判断对象是否支持扩展能力，兼容所有新旧派生类：

void process(Base* obj) {
    // 调用原有接口，所有派生类都支持
    obj->food();
    // 检测是否支持扩展接口
    if (auto* ext_obj = dynamic_cast<Base_Ext*>(obj)) {
        ext_obj->food1();
    } else {
        // 老版本派生类的降级逻辑
    }
}

方案2：虚表末尾追加方案（适合全链路编译可控场景） #

如果你的使用场景满足以下全部条件，可以直接在原有Base类末尾新增虚函数，不需要新增扩展类：

• 所有继承Base的派生类都由你方团队编译维护，没有外部第三方继承该类
• 新增的虚函数必须追加到原有虚函数声明的最后位置，不能调整原有虚函数的顺序
• 新增的虚函数不能是纯虚函数，必须提供默认实现，避免原有派生类变成不可实例化的抽象类
  示例代码：

#if ABI_VERSION_ATLEAST1
class Base
{
public:
    virtual void food() = 0;
    // 新增方法放到最后，提供默认实现
    #if ABI_VERSION_ATLEAST2
    virtual void food1() {
        // 默认实现或者空实现
    }
    #endif
};
#endif

该方案的原理是C++编译器的虚表按虚函数声明顺序生成，末尾追加虚函数不会修改原有虚表条目的偏移量，原有编译好的二进制文件可以正常运行，不会出现ABI兼容问题。

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