Блог

Я пытаюсь разобраться в интересной проблеме множественного наследования.

Прародитель — это интерфейсный класс с несколькими методами:

 class A
{
public:
    virtual int foo() = 0;
    virtual int bar() = 0;
};
  

Тогда есть абстрактные классы, которые частично дополняют этот интерфейс.

 class B : public A
{
public:
    int foo() { return 0;}
};

class C : public A
{
public:
    int bar() { return 1;}
};
  

Класс, который я хочу использовать, наследуется от обоих родителей и указывает, какой метод должен откуда поступать с помощью директив using:

 class D : public B, public C
{
public:
    using B::foo;
    using C::bar;
};
  

Когда я пытаюсь создать экземпляр D, я получаю ошибки при попытке создать экземпляр абстрактного класса.

 int main()
{
    D d; //<-- Error cannot instantiate abstract class.

    int test = d.foo();
    int test2 = d.bar();

    return 0;
}
  

Может кто-нибудь помочь мне разобраться в проблеме и как наилучшим образом использовать частичные реализации?

У вас нет алмазного наследования. B И C базовые классы D каждого имеют свой собственный A подобъект базового класса, потому что они практически не наследуются от A .

Итак, в D действительно есть четыре чисто виртуальные функции-члена, которые необходимо реализовать: A::foo и A::bar из B и A::foo и A::bar из C .

Вы, вероятно, хотите использовать виртуальное наследование. Объявления классов и списки базовых классов будут выглядеть следующим образом:

 class A
class B : public virtual A
class C : public virtual A
class D : public B, public C
  

Если вы не хотите использовать виртуальное наследование, то вам нужно переопределить две другие чисто виртуальные функции в D :

 class D : public B, public C
{
public:
    using B::foo;
    using C::bar;

    int B::bar() { return 0; }
    int C::foo() { return 0; }
};
  

Вам нужно создать свои базовые классы virtual , чтобы они могли правильно наследоваться. Общее правило заключается в том, что все непубличные функции-члены и базовые классы должны быть virtual , ЕСЛИ только вы не знаете, что делаете, и не хотите отключить обычное наследование для этого элемента / базы.