Виртуальное наследование

Часть раздела Объектно-ориентированное программирование путешествия по C++ на Coddy — урок 54 из 104.

Проблема ромба возникает, когда класс наследуется от двух классов, имеющих общий базовый класс. Без специальной обработки производный класс получает две копии общего базового класса, что приводит к неоднозначности и нерациональному использованию памяти.

class Animal {
public:
    int age;
};

class Mammal : public Animal {};
class Bird : public Animal {};

class Bat : public Mammal, public Bird {};

Bat b;
b.age = 5;  // Ошибка: неоднозначность — какой именно 'age'?

Класс Bat содержит два отдельных подобъекта Animal: один через Mammal и один через Bird. Это создает ромбовидную диаграмму наследования, которая и дала название этой проблеме.

Виртуальное наследование решает эту проблему, гарантируя существование только одной копии общего базового класса. Добавьте ключевое слово virtual при наследовании от общего базового класса:

class Animal {
public:
    int age;
    Animal(int a = 0) : age(a) {}
};

class Mammal : virtual public Animal {
public:
    Mammal(int a = 0) : Animal(a) {}
};

class Bird : virtual public Animal {
public:
    Bird(int a = 0) : Animal(a) {}
};

class Bat : public Mammal, public Bird {
public:
    Bat(int a) : Animal(a), Mammal(a), Bird(a) {}
};

Bat b(5);
b.age = 10;  // Работает! Существует только один 'age'

Обратите внимание, что Bat должен напрямую инициализировать Animal в своём конструкторе. При виртуальном наследовании самый производный класс отвечает за создание виртуального базового класса, независимо от промежуточных классов.

Задание

Легко

Давайте создадим систему управления сотрудниками, которая демонстрирует, как виртуальное наследование решает проблему ромба (diamond problem). Вы создадите иерархию, в которой TeamLead наследуется как от Developer, так и от Manager, которые оба имеют общий базовый класс Employee.

Вы организуете свой код в четырех файлах:

Employee.h: Определите общий базовый класс Employee с:
- Защищенными (protected) полями std::string name и int id
- Конструктором, который принимает оба значения и выводит: Employee [<name>] hired with ID <id>
- Публичным методом getInfo(), который выводит: Employee: <name> (ID: <id>)
- Виртуальным деструктором, который выводит: Employee [<name>] record closed
Developer.h: Определите класс Developer, который использует виртуальное публичное наследование от Employee:
- Защищенное поле std::string language
- Конструктор, который принимает имя, id и язык — передает имя и id в Employee, сохраняет язык и выводит: Developer [<name>] specializes in <language>
- Публичный метод code(), который выводит: <name> is coding in <language>
- Деструктор, который выводит: Developer [<name>] signed off
Manager.h: Определите класс Manager, который использует виртуальное публичное наследование от Employee:
- Защищенное поле int teamSize
- Конструктор, который принимает имя, id и размер команды — передает имя и id в Employee, сохраняет размер команды и выводит: Manager [<name>] leads a team of <teamSize>
- Публичный метод manage(), который выводит: <name> is managing <teamSize> people
- Деструктор, который выводит: Manager [<name>] stepped down
main.cpp: Считайте четыре входных значения (каждое на отдельной строке):
1. Имя (string)
2. ID сотрудника (integer)
3. Язык программирования (string)
4. Размер команды (integer)
Определите класс TeamLead, который публично наследуется как от Developer, так и от Manager:
- Конструктор, который принимает все четыре параметра и должен напрямую инициализировать Employee (виртуальную базу), а затем Developer и Manager
- Конструктор должен выводить: TeamLead [<name>] ready to lead and code!
- Метод showRole(), который вызывает getInfo(), code() и manage() именно в таком порядке
- Деструктор, который выводит: TeamLead [<name>] promoted out
Создайте объект TeamLead внутри блока (scope), вызовите showRole(), а затем позвольте ему выйти из области видимости. После блока выведите: Organization restructured!

Например, при входных данных Alice, 101, C++ и 5:

Employee [Alice] hired with ID 101
Developer [Alice] specializes in C++
Manager [Alice] leads a team of 5
TeamLead [Alice] ready to lead and code!
Employee: Alice (ID: 101)
Alice is coding in C++
Alice is managing 5 people
TeamLead [Alice] promoted out
Manager [Alice] stepped down
Developer [Alice] signed off
Employee [Alice] record closed
Organization restructured!

Обратите внимание, что вызывается только один конструктор Employee и один деструктор Employee — виртуальное наследование гарантирует существование только одной копии общего базового класса. TeamLead должен напрямую инициализировать Employee, потому что при виртуальном наследовании за создание виртуальной базы отвечает самый производный класс.

Шпаргалка

Проблема ромба (diamond problem) возникает, когда класс наследуется от двух классов, имеющих общий базовый класс, что приводит к созданию двух копий базового класса и вызывает неоднозначность.

class Animal {
public:
    int age;
};

class Mammal : public Animal {};
class Bird : public Animal {};

class Bat : public Mammal, public Bird {};

Bat b;
b.age = 5;  // Error: ambiguous - which 'age'?

Виртуальное наследование решает проблему ромба, гарантируя существование только одной копии общего базового класса. Используйте ключевое слово virtual при наследовании:

class Animal {
public:
    int age;
    Animal(int a = 0) : age(a) {}
};

class Mammal : virtual public Animal {
public:
    Mammal(int a = 0) : Animal(a) {}
};

class Bird : virtual public Animal {
public:
    Bird(int a = 0) : Animal(a) {}
};

class Bat : public Mammal, public Bird {
public:
    Bat(int a) : Animal(a), Mammal(a), Bird(a) {}
};

Bat b(5);
b.age = 10;  // Works! Only one 'age' exists

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

Попробуйте сами

#include <iostream>
#include <string>
#include "Developer.h"
#include "Manager.h"

using namespace std;

// TODO: Определите класс TeamLead, который публично наследуется как от Developer, так и от Manager
// Помните: при виртуальном наследовании TeamLead должен напрямую инициализировать Employee (виртуальный базовый класс)
class TeamLead : public Developer, public Manager {
public:
    // TODO: Реализуйте конструктор, который принимает name, id, language и teamSize
    // Должен инициализировать: сначала Employee (виртуальная база), затем Developer, затем Manager
    // Должен выводить: TeamLead [<name>] ready to lead and code!
    TeamLead(const std::string& name, int id, const std::string& language, int teamSize)
        : Employee(name, id),
          Developer(name, id, language),
          Manager(name, id, teamSize) {
        // TODO: Выведите сообщение конструктора
    }

    // TODO: Реализуйте метод showRole()
    // Должен вызывать getInfo(), code() и manage() именно в таком порядке
    void showRole() {
        // TODO: Вызовите эти три метода
    }

    // TODO: Реализуйте деструктор
    // Должен выводить: TeamLead [<name>] promoted out
    ~TeamLead() {
        // TODO: Выведите сообщение деструктора
    }
};

int main() {
    // Чтение входных данных
    string name;
    int id;
    string language;
    int teamSize;

    getline(cin, name);
    cin >> id;
    cin.ignore();
    getline(cin, language);
    cin >> teamSize;

    // TODO: Создайте объект TeamLead внутри области видимости блока
    // Вызовите showRole(), затем позвольте объекту выйти из области видимости
    {
        // TODO: Создайте TeamLead и вызовите showRole()
    }

    // Вывод финального сообщения после блока
    cout << "Organization restructured!" << endl;

    return 0;
}