Вивчайте Діамантове Наслідування

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

Це виникає, коли підклас наслідує від двох або більше classes, які самі наслідують від спільного базового класу. Термін ромб використовується тому, що схема наслідування нагадує форму ромба.

main.cpp


              1234567
            
class Base {};

class Derived1 : public Base {};

class Derived2 : public Base {};

class Diamond : public Derived1, public Derived2 {};

Основна проблема ромбовидного наслідування — це неоднозначність, яку воно створює. Оскільки Diamond наслідує як від Derived1, так і від Derived2, які, у свою чергу, наслідують від Base, в об'єкті класу Base існує дві копії Diamond. Це може призвести до неоднозначності.

main.cpp


              12345678910111213141516
            
#include <iostream>

class Base {
public:
    void display() { std::cout << "Base display()" << std::endl; }
};

class Derived1 : public Base { };
class Derived2 : public Base { };
class Diamond : public Derived1, public Derived2 { };

int main() 
{
    Diamond obj;
    obj.display(); // Ambiguity: Which display() method should be called?
}

Розв'язання проблеми

Ключове слово virtual допомагає уникнути цієї проблеми. Ви можете вирішити цю неоднозначність за допомогою віртуального наслідування, використовуючи ключове слово virtual. Коли Diamond наслідує віртуально, C++ гарантує, що існує лише одна копія суперкласу, навіть якщо він наслідується кількома шляхами.

main.cpp


              1234567
            
class Base {};

class Derived1 : virtual public Base {};

class Derived2 : virtual public Base {};

class Diamond : public Derived1, public Derived2 {};

Примітка

Спробуйте вирішити проблему неоднозначності у попередньому прикладі, використовуючи віртуальне наслідування.

Реалізація ромбовидного наслідування

Для ефективної реалізації ромбовидного наслідування використовуйте ключове слово virtual у визначенні базового класу в проміжних classes. Забезпечте послідовне використання віртуального наслідування на всіх шляхах ієрархії наслідування та звертайте увагу на порядок виклику конструкторів і деструкторів.

Вирішення неоднозначностей

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

main.cpp


              12345678910111213141516171819
            
#include <iostream>

class Base {};

class Derived1 : public Base {
public:
    void display() { std::cout << "Derived1 display()" << std::endl; }
};
class Derived2 : public Base {
public:
    void display() { std::cout << "Derived2 display()" << std::endl; }
};

class Diamond : public Derived1, public Derived2 { };

int main() {
    Diamond obj;
    obj.display(); // Ambiguity: Which display() method should be called?
}

Якщо обидва базові класи мають члени з однаковими іменами, похідний клас може не знати, який саме використовувати. Для вирішення таких неоднозначностей можна скористатися оператором розв'язання області видимості (::), щоб вказати, до якого члена базового класу звертатися. Наприклад:

main.cpp


              1234567891011121314151617181920
            
#include <iostream>

class Base {};

class Derived1 : public Base {
public:
    void display() { std::cout << "Derived1 display()" << std::endl; }
};
class Derived2 : public Base {
public:
    void display() { std::cout << "Derived2 display()" << std::endl; }
};

class Diamond : public Derived1, public Derived2 { };

int main() {
    Diamond obj;
    obj.Derived1::display();
    obj.Derived2::display();
}

Все було зрозуміло?

Дякуємо за ваш відгук!

Секція 4. Розділ 5

Запитати АІ

Запитайте про що завгодно або спробуйте одне із запропонованих запитань, щоб почати наш чат

Suggested prompts:

Can you provide an example of diamond inheritance in C++?

How does the virtual keyword work in practice?

What are some real-world scenarios where diamond inheritance occurs?

Свайпніть щоб показати меню

main.cpp


              1234567
            
class Base {};

class Derived1 : public Base {};

class Derived2 : public Base {};

class Diamond : public Derived1, public Derived2 {};

main.cpp


              12345678910111213141516
            
#include <iostream>

class Base {
public:
    void display() { std::cout << "Base display()" << std::endl; }
};

class Derived1 : public Base { };
class Derived2 : public Base { };
class Diamond : public Derived1, public Derived2 { };

int main() 
{
    Diamond obj;
    obj.display(); // Ambiguity: Which display() method should be called?
}

Розв'язання проблеми

main.cpp


              1234567
            
class Base {};

class Derived1 : virtual public Base {};

class Derived2 : virtual public Base {};

class Diamond : public Derived1, public Derived2 {};

Примітка

Реалізація ромбовидного наслідування

Вирішення неоднозначностей

main.cpp


              12345678910111213141516171819
            
#include <iostream>

class Base {};

class Derived1 : public Base {
public:
    void display() { std::cout << "Derived1 display()" << std::endl; }
};
class Derived2 : public Base {
public:
    void display() { std::cout << "Derived2 display()" << std::endl; }
};

class Diamond : public Derived1, public Derived2 { };

int main() {
    Diamond obj;
    obj.display(); // Ambiguity: Which display() method should be called?
}

main.cpp


              1234567891011121314151617181920
            
#include <iostream>

class Base {};

class Derived1 : public Base {
public:
    void display() { std::cout << "Derived1 display()" << std::endl; }
};
class Derived2 : public Base {
public:
    void display() { std::cout << "Derived2 display()" << std::endl; }
};

class Diamond : public Derived1, public Derived2 { };

int main() {
    Diamond obj;
    obj.Derived1::display();
    obj.Derived2::display();
}

Все було зрозуміло?

Дякуємо за ваш відгук!

Секція 4. Розділ 5