Виртуальное наследование позволяет запретить наследование от нашего класса. О том, что это не просто интересная «фишка», а реально необходимый инструмент, говорит тот факт, что в Java введено специальное ключевое слово final (финальный). Если класс объявлен со спецификатором final, то пользователь не сможет от него наследовать. Класс String в библиотеке классов Java объявлен как финальный.
В С++ нет специальных ключевых слов, запрещающих наследование, поэтому объявление класса «финальным» основано на управлении доступом к специальным функциям класса: конструкторам и деструктору. Например, если деструктор в базовом классе объявить закрытым, то будет невозможно объявить переменную-объект ни базового, ни производного классов, например:
class OnlyDynamic { ~0nlyDynamic();
public: // ...
};
class Derived: public OnlyDynamic { };
Наследование формально не запрещается (хотя Visual C++.NET 2003 выдает предупреждение), однако попытки объявить переменную следующим образом вызывают ошибку компиляции:
Derived Object; // ошибка!
Тем не менее такое определение базового класса не мешает нам создать наследника в динамической памяти, например:
Derived *р = new Derived; delete р;
Как указано в [43], использовав виртуальное наследование, можно вообще «запретить» наследование (а фактически — создание объектов класса-наследника). Обнаружил эту интересную особенность виртуального наследования Эндрю Кениг. Простейший пример показан в листинге 10.5.
Листинг 10.5. Финальный класс
class Lock // "запирающий" класс
{ Lock();
Lock(const Lock&);
friend class Usable; // наследник - "друг"
public:
};
class Usable: public virtual Lock { public:
// "финальный" класс
UsableO { cout << "Usable!": }
class Derived: public Usable {};
// формально не запрещено
В этом случае мы имеем «внутреннюю» иерархию из двух классов:
• запирающий класс — виртуальная база, у которого конструкторы являются приватными;
• виртуальный наследник — финальный класс, от которого нельзя наследовать.
Хотя формально наследование не запрещено, попытки создать объект класса Derived оканчиваются неудачей на этапе трансляции:
Usable и; // нет ошибкиDerived d; ' // ошибка трансляции
Derived *pd = new Derived: // ошибка трансляции
|
Главная
Каталог файлов
