Как базовый класс может удовлетворить определение чисто виртуальной функции родителя, используя функцию другого родителя

Question

Я расширяю существующий проект C ++.У меня есть базовый класс, который происходит от двух родительских классов.У одного из родителей чисто виртуальная функция.Я хочу, чтобы эта чисто виртуальная функция была определена функцией, реализованной в другом родительском объекте.

Итак, я хочу, чтобы другой родитель выполнил обязательство базового класса по определению чисто виртуальной функции родительского элемента.Я испробовал два подхода, оба привели к ошибкам компилятора.
Есть идеи?

Вот программа на C ++, демонстрирующая мою первую идею, в надежде, что компилятор просто использует base2Определение vfunc().

// This is my first approach, hoping the parent base2 of derived would satisfy the need to define
// base1's pure virtual vfunc.

class base1 {
public:
 virtual int vfunc() = 0;
};

class base2 {
public:
 int vfunc() { return 0;} //defined
};

class derived : public base1, public base2 {
public:
 //empty
};

int main()
{
 derived d;
 base1 & b1 = d;
 int result = b1.vfunc();
 return result;
}

Компилятор сообщает, что derived все еще является абстрактным классом:

$ gcc a.cc 
a.cc: In function ‘int main()’:
a.cc:26: error: cannot declare variable ‘d’ to be of abstract type ‘derived’
a.cc:18: note:   because the following virtual functions are pure within ‘derived’:
a.cc:7: note:  virtual int base1::vfunc()

Вот моя вторая попытка:

// This is my second attempt, defining a vfunc in the derived class that calls the other parent.

class base1 {
public:
 virtual int vfunc() = 0;
};

class base2 {
public:
 int vfunc() { return 0; } // defined
};

class derived : public base1, public base2 {
public:
 int vfunc() { return base2::vfunc(); } // call the other parent's vfunc
};

int main()
{
 derived d;
 base1 & b1 = d;
 int result = b1.vfunc();
 return result;
} 

Я действительно ожидал, что это сделает это за меня, но вместо этого компоновщик выдаст мне кучу ошибок vtable, которые я не понимаю: (Mac OS 10.6, gcc 4.2.1)

$ gcc inheritance_tester.cc 
Undefined symbols:
  "vtable for __cxxabiv1::__vmi_class_type_info", referenced from:
      typeinfo for derivedin ccmeHq8C.o
  "___cxa_pure_virtual", referenced from:
      vtable for base1in ccmeHq8C.o
  "___gxx_personality_v0", referenced from:
      _main in ccmeHq8C.o
      base2::vfunc()     in ccmeHq8C.o
      derived::vfunc()     in ccmeHq8C.o
      base1::base1() in ccmeHq8C.o
      base2::base2() in ccmeHq8C.o
      derived::derived()in ccmeHq8C.o
      CIE in ccmeHq8C.o
  "vtable for __cxxabiv1::__class_type_info", referenced from:
      typeinfo for base1in ccmeHq8C.o
      typeinfo for base2in ccmeHq8C.o
ld: symbol(s) not found

Answer 1

Вам необходимо переопределить vfunc с base1. Вы можете сделать это следующим образом:

class derived : public base1, public base2 {
public:
 using base1::vfunc;
 int vfunc() { return base2::vfunc(); } // call the other parent's vfunc
};

Answer 2

Ваш второй кусок кода в порядке, вы просто неправильно его компилируете. Вам нужно скомпилировать с g ++, а не с gcc. Когда вы компилируете с g ++, он автоматически связывается в библиотеках времени выполнения C ++; когда вы компилируете с gcc, это не так. Вы также можете добавить их вручную:

# Option 1: compile with g++
g++ inheritance_tester.cc

# Option 2: compile with gcc and link with the C++ standard libraries
gcc inheritancet_test.cc -lstdc++

Answer 3

Эта модифицированная версия derived работала для меня на Visual C ++. Для меня это означает, что вы должны явно устранить двусмысленность двух унаследованных vfunc().

class base1 {
public:
    virtual int vfunc() = 0;
};

class base2 {
public:
    int vfunc() { return 0;} //defined
};

class derived : public base1, public base2 {
public:
    int base1::vfunc() { return base2::vfunc(); } // call the other parent's vfunc
};

int main()
{
    derived d;
    base1 & b1 = d;
    int result = b1.vfunc();
    return result;
}