菱形继承下虚函数Card::info覆盖歧义问题求解

问题分析 #

你的代码存在两个核心问题导致编译错误：

1. 函数签名不匹配：基类Card、Color、Attack、Deploy中的info都是const成员函数，但Character类中的info()缺少const修饰符，这会被编译器视为全新函数，而非对基类虚函数的重写。
2. 菱形继承的歧义：Attack和Deploy重复声明了纯虚的info函数，结合多层继承链的覆盖关系，编译器无法确定Character的info应该重写哪条路径的虚函数，从而抛出歧义错误。

解决方案 #

只需通过以下步骤，就能在Character中仅实现一次info函数并解决错误：

方案1：修正签名+移除中间类冗余声明 #

去掉Attack和Deploy中对info的重复纯虚声明（它们已继承Color的纯虚info，无需重复定义），同时修正Character的info签名使其与基类完全匹配：

#include <string>

class Card {
public:
    virtual std::string info() const = 0;
};

class Color : public Card {
public:
    virtual std::string info() const = 0;
};

class Deploy : virtual public Color {
    // 移除冗余的info纯虚声明
};

class Attack : virtual public Color {
    // 移除冗余的info纯虚声明
};

class Character : public Attack, public Deploy {
public:
    std::string info() const override { // 添加const和override关键字
        return "My Info";
    }
};

方案2：修正签名+用using消除歧义 #

若需保留Attack和Deploy中的info声明，可通过using语句明确指定继承自Color的info，同时修正Character的函数签名：

#include <string>

class Card {
public:
    virtual std::string info() const = 0;
};

class Color : public Card {
public:
    virtual std::string info() const = 0;
};

class Deploy : virtual public Color {
public:
    using Color::info; // 明确关联Color的info
    virtual std::string info() const = 0;
};

class Attack : virtual public Color {
public:
    using Color::info; // 明确关联Color的info
    virtual std::string info() const = 0;
};

class Character : public Attack, public Deploy {
public:
    std::string info() const override {
        return "My Info";
    }
};

关键说明 #

• const修饰符：虚函数重写时签名必须完全一致，包括const属性，否则编译器不会将其视为重写。
• override关键字：强制编译器检查函数是否正确重写基类虚函数，避免因签名不匹配导致的隐性错误。
• 虚继承作用：你已在Attack和Deploy中使用virtual public Color，这确保Color在Character中仅存一份实例，解决了菱形继承的冗余问题，但虚继承本身无法消除虚函数重写的歧义，需配合签名匹配和冗余声明清理。

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