有没有办法使用 using-declaration 来解决“最终覆盖歧义”？

Question

我正在尝试用虚拟类方法解决一个可怕的菱形问题。

让我们首先考虑一个具有最终虚方法特性的多重继承情况。 由于存在 final 方法，因此无法声明覆盖方法，而必须使用 using 声明来指定子类应使用哪种方法。

class Mother {
public:
    virtual void foo() final {}
};

class Father {
public:
    virtual void foo() {}
};

class Child: public Mother, public Father {
public:
    // void foo() {Mother::foo();} // This clashes with Mother::foo being final
    using Mother::foo;
};

上面的代码按预期工作。

但是，如果我们切换到具有抽象基类的菱形结构，则相同的方法将不再适用。

class GrandParent {
public:
    virtual void foo() = 0;
};

class Mother: virtual public GrandParent{
public:
    virtual void foo() override final {};
};

class Father: virtual public GrandParent{
public:
    virtual void foo() override {};
};

class Child: public Mother, public Father {
    using Mother::foo;
};

编译以上代码会报错：no unique final overrider for ‘virtual void GrandParent::foo()’ in ‘Child’。

关于如何解决这个问题的任何想法？

Answer 1

这是告诉您设计错误的语言。它是。继承反映了“is-a”关系。不是“有”。

解决方案是使用组合而不是继承。我会举一个例子，但完全不清楚你真正打算完成什么，也想不出任何合理的例子。