Блог

У меня есть базовый класс с именем animal, а также dog и cat, которые наследуются от Animal. И класс множественного наследования, называемый dogcat, который наследуется от dog и cat, в Animal у меня есть метод, называемый sleep . Когда я хочу использовать этот метод из dogcat, я получаю сообщение об ошибке «DogCat::sleep» неоднозначно, я понимаю проблему, но я прочитал в книге, что это должно быть возможно, когда вы объявляете sleep виртуальным — но это не работает.

Это невозможно, книга неверна или есть какой-либо обходной путь?

 class Animal
{
public:
    Animal(){}

    virtual void sleep()
    {
        cout << "zzzzzzzzz" << endl;
    }
    virtual void eat() = 0;

};

class Dog: public Animal
{
protected:
    Dog(){}

    virtual void eat() override
    {
        cout << "eats dogfood" << endl;
    } 
};

class Cat :public Animal
{
public:
    Cat(){}
    virtual void eat() override
    {
        cout << "eats catfood" << endl;
    }
};

class DogCat : public Dog, public Cat
{
public:
    DogCat(){}
    using Dog::eat;

};

int main(int argc, char** argv) {
    DogCat *DC = new DogCat();
    DC->sleep();//Error
}
  

У вас проблема с бриллиантами

«Алмазная проблема» (иногда называемая «смертоносным алмазом смерти»[4]) — это двусмысленность, возникающая, когда два класса B и C наследуют от A, а класс D наследует как от B, так и от C. Если в A есть метод, который переопределили B и C, а D не переопределяет его, то какую версию метода наследует D: B или C?

Итак. Теперь у вас есть два экземпляра A. Какое это решение? У вас есть два:

1. Определите операцию ожидания в одном из подклассов и вызовите ее:

 class Cat :public Animal
{
    public:
        Cat(){}
        virtual void eat() override
        {
            cout << "eats catfood" << endl;
        }

        void sleep()
        {
            Animal::sleep();
        }
};

int main(int argc, char** argv) {
    DogCat *DC = new DogCat();
    DC->Cat::sleep();
}
  

2. Используйте виртуальное наследование, как сказано в ответе @Asesh. Проблема заключается в распространенном методе eat() . Вы должны переопределить его.

Вы должны использовать виртуальное наследование

 class Animal
{
public:
    Animal(){}

    virtual void sleep()
    {
        cout << "zzzzzzzzz" << endl;
    }
    virtual void eat() = 0;

};

class Dog: virtual public Animal
{
protected:
    Dog(){}

    virtual void eat() override
    {
        cout << "eats dogfood" << endl;
    } 
};

class Cat : virtual public Animal
{
public:
    Cat(){}
    virtual void eat() override
    {
        cout << "eats catfood" << endl;
    }
};

class DogCat : public Dog, public Cat
{
public:
    DogCat(){}
    using Dog::eat;

};

int main(int argc, char** argv) {
    DogCat *DC = new DogCat();
    DC->sleep();//Error
}