В певних ситуаціях можуть з’явитися певні проблеми, зв’язані з множинним успадковуванням. Далі ми розглянемо найзагальнішу. Припустімо, що в обох базових класах існують методи з однаковими іменами, а в похідному класі методу з таким іменем немає. Як в цьому випадку об’єкт похідного класу визначить, який з методів базового класу вибрати? Самого імені метода недостатньо, оскільки компілятор не зможе визначити, який з двох методі мається на увазі.
Ця ситуація проілюстрована в програмі 11.11.
#include<iostream.h>
#include<conio.h>
#include<stdio.h>
#include<bios.h>
////////////
class A
{public:
void show() {cout<<"Class A\n";}
};
//////////////
class B
{public:
void show(){cout<<"Class B\n";}
};
///////////
class C:public A,public B
{
};
int main()
{clrscr();
C objC;
// objC.show(); помилкова ситуація
objC.A::show(); //правильний виклик
objC.B::show(); //правильний виклик
bioskey(0);
return 0;
}
Програма 11.11
Проблема вирішується шляхом використання оператору дозволу, що визначає клас, в якому знаходиться метод. Таким чином, виклик
objC.A::show(); //правильний виклик
відправляє нас до версії методу show(), що належить класу А, а виклик
objC.B::show(); //правильний виклик
- до класу В.
В літературі (Б.Страуструп) це називається усуненням неоднозначністю.
Інший вид невизначеності з’являється, якщо ми створюємо похідний клас від двох базових класів, які, в свою чергу, є похідними одного класу. Це створює дерево успадковування в формі ромба. Така ситуація виникає в програмі 11.12
#include<iostream.h>
#include<conio.h>
#include<stdio.h>
#include<bios.h>
//////////
class A
{
public:
void func();
};
class B:public A
{ };
////////
class C:public A
{ };
/////////
class D:public B,public C
{};
//////////
int main()
{clrscr();
// ObjD.func(); помилковий виклик
bioskey(0);
return 0;
}
Програма 11.12
Класи В і С є похідними класу А, а клас D є похідним класів В і С. Труднощі виникають, коли об’єкт класу D намагається скористатися методом класу А. В програмі 11.12 об’єкт objD використовує метод func(). Однак класи В і С містять копії методу func(), успадковані від класу А. Компілятор на може вирішити, який метод використовувати, і повідомляє про помилку.
Існує багато варіацій цієї проблеми, тому ряд експертів радить уникати множинного успадковування.
