如何添加final overrider？解决C++多继承虚函数重写冲突

我来帮你搞定这个C++菱形继承里的虚函数歧义问题～你的代码里GeoDisc同时继承了Box和Sphere，这两个类都重写了共同虚基类Shape的print方法，编译器没法确定通过Shape*调用print时该选哪个版本。解决核心就是给GeoDisc加一个final overrider（最终覆盖函数），明确指定要使用的实现，或者自定义新逻辑。

解决方案1：用using声明指定继承某一基类的实现 #

最简单的方式是通过using声明，直接把其中一个基类的print方法提升为GeoDisc的final overrider：

struct GeoDisc : public Box, public Sphere {
    // 明确指定使用Sphere的print作为最终覆盖函数
    using Sphere::print;
};

这样编译器就会明确选用Sphere的print实现，运行程序会输出SPHERE。要是你想选Box的实现，把Sphere换成Box就行。

解决方案2：重写print自定义逻辑 #

如果你需要GeoDisc有自己的打印行为，或者要组合两个基类的逻辑，可以直接重写print方法：

struct GeoDisc : public Box, public Sphere {
    void print() override {
        // 自定义逻辑示例：先调用Box的print，再调用Sphere的
        Box::print();
        Sphere::print();
        // 也可以只输出自己的内容
        std::cout << "GEODISC" << std::endl;
    }
};

要是不想让GeoDisc的派生类再覆盖这个方法，还可以加上final关键字：

void print() final override {
    std::cout << "GEODISC" << std::endl;
}

完整修改后的代码示例 #

下面是采用using声明方案的完整代码：

#include <iostream>
struct Shape {
    virtual void print() { std::cout << "SHAPE" << std::endl; }
    virtual ~Shape() {}
};
struct Box : public virtual Shape {
    void print() { std::cout << "BOX" << std::endl; }
};
struct Sphere : public virtual Shape {
    void print() final override { std::cout << "SPHERE" << std::endl; }
};
struct GeoDisc : public Box, public Sphere {
    using Sphere::print; // 添加final overrider消除歧义
};
int main(int argc, char** argv) {
    Shape* s = new GeoDisc();
    s->print(); // 输出：SPHERE
}

原理说明 #

在C++虚继承体系里，当多个直接基类对同一虚函数有不同实现时，派生类必须提供final overrider来解决歧义，否则编译器会报错。这个final overrider要么直接继承某一基类的实现，要么是派生类自己重新实现的版本，本质就是告诉编译器：通过这个派生类调用该虚函数时，该执行哪段代码。

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