Множинне наслідування.

Якщо в похідного класу є кілька базових класів, то говорять про множинне наслідування. Множинне наслідування дозволяє поєднувати в одному похідному класі властивості й поведінку декількох класів.

Робота конструктора й деструктора

Розглянемо приклад, який демонструє порядок виклику конструкторів і деструкторів базових

класів.

#include <iostream.h>

class Base1

{

public :

Base1 ( ) { cout <<"Constructor Base1 \n"; }

~base1 ( ) { cout <<"Destructor Base1 \n"; }

}

class Base2

{

public :

Base2 ( ) { cout <<"Constructor Base2 \n"; }

~base2 ( ) { cout <<"Destructor Base2 \n"; }

}

class Derived : public Base1, public Base2

{

public :

// похідний клас – спадкоємець класів Base1 і Base2

Derived ( ) { cout <<"Constructor Derived \n";}

~derived ( ) { cout <<"Destructor Derived \n" ; }

}

Void main ( )

{

Derived A ;

}

Ця програма виводить на екран наступне:

Constructor Base1

Constructor Base2

Constructor Derived

Destructor Derived

Destructor Base2

Destructor Base1

Таким чином, конструктори базових класів викликаються в порядку їх оголошення. Деструктори викликаються у зворотному порядку.

Віртуальні базові класи

У складній ієрархії класів при множиннім спадкуванні може вийти так, що похідний клас побічно успадкує два або більш екземпляра того самого класу..

class Ground

{

int x ;

public :

Int Getx ( ) { return X ; }

void Setx ( int X ) { x = X ; }

}

class Basel : public Ground

{

}

class Base2 : public Ground

{

}

class Derived : public Base1, public Base2

{

}

Void main ( )

{

Derived ob ; // створення об'єкта похідного класу

ob.Setx ( 1 ) ;

int z = ob.Getx ( ) ;

}

Тут клас Derived побічно успадковує клас Ground через свої базові класи Base1 і Base2. Тому при компіляції наведеного прикладу виникнуть помилки, викликані неоднозначністю звертання до членів класу Getx ( ) у рядках:

ob.Setx ( 0 ) ;

int z = ob.Getx ( ) ;

Щоб уникнути цієї неоднозначності, можна використовувати кваліфікацію імен, застосувавши операцію дозволу видимості:

ob.Base1 :: Setx ( 1 ) ;

int z = ob.Base1 :: Getx ( ) ;

Можна також кваліфікувати ці виклики в такий спосіб:

ob.Base2 :: Setx ( 1 ) ;

int z = ob.Base2 :: Getx ( ) ;

Хоча цей спосіб і дозволяє уникнути неоднозначності при виклику, проте, клас Ground буде включений до складу класу Derived двічі, збільшуючи його розмір. Уникнути повторного включення непрямого базового класу в похідний клас можна, давши вказівку компіляторові використовувати віртуальний базовий клас. Це здійснюється за допомогою ключового слова virtual, яке вказується перед специфікатором наслідуваного доступу або після нього. Наступний приклад є модифікованим варіантом попередн, використовують клас Ground у якості віртуального базового класу.

class Ground

{

int x ;

public :

Int Getx ( ) { return X ; }

void Setx ( int X ) { x = X ; }

}

class Basel : virtual public Ground

{

}

class Base2 : virtual public Ground

{

}

class Derived : public Base1, public Base2

{

}