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

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

По умолчанию наследование в C++ является специальной формой композиции по значению. Когда мы пишем:

class Bear : public ZooAnimal { ... };

каждый объект Bear содержит все нестатические данные-члены подобъекта своего базового класса ZooAnimal, а также нестатические члены, объявленные в самом Bear. Аналогично, если производный класс является базовым для какого-то другого:

class PolarBear : public Bear { ... };

то каждый объект PolarBear содержит все нестатические члены, объявленные в PolarBear, Bear и ZooAnimal.

В случае одиночного наследования эта форма композиции по значению, поддерживаемая механизмом наследования, обеспечивает компактное и эффективное представление объекта. Проблемы возникают только при множественном наследовании, когда некоторый базовый класс неоднократно встречается в иерархии наследования. Самый известный реальный пример такого рода – это иерархия классов iostream. Взгляните еще раз на рис. 18.2: istream и ostream наследуют одному и тому абстрактному базовому классу ios, а iostream является производным как от istream, так и от ostream.

class iostream :

public istream, public ostream { ... };

По умолчанию каждый объект iostream содержит два подобъекта ios: из istream и из ostream. Почему это плохо? С точки зрения эффективности хранение двух копий подобъекта ios – пустая трата памяти, поскольку объекту iostream нужен только один экземпляр. Кроме того, конструктор вызывается для каждого подобъекта. Более серьезной проблемой является неоднозначность, к которой приводит наличие двух экземпляров. Например, любое неквалифицированное обращение к члену класса ios дает ошибку компиляции. Какой экземпляр имеется в виду? Что будет, если классы istream и ostream инициализируют свои подобъекты ios по-разному? Можно ли гарантировать, что в классе iostream используется согласованная пара членов ios? Применяемый по умолчанию механизм композиции по значению не дает таких гарантий.

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

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

class Panda : public Bear,

public Raccoon, public Endangered { ... };

Наша виртуальная иерархия наследования Panda показана на рис. 18.4: две пунктирные стрелки обозначают виртуальное наследование классов Bear и Raccoon от ZooAnimal, а три сплошные – невиртуальное наследование Panda от Bear, Raccoon и, на всякий случай, от класса Endangered из раздела 18.2.

Рис. 18.4. Иерархия виртуального наследования класса Panda

На данном рисунке показан интуитивно неочевидный аспект виртуального наследования: оно (в нашем случае наследование классов Bear и Raccoon) должно появиться в иерархии раньше, чем в нем возникнет реальная необходимость. Необходимым виртуальное наследование становится только при объявлении класса Panda, но если перед этим базовые классы Bear и Raccoon не наследуют своему базовому виртуально, то проектировщику класса Panda не повезло.

Должны ли мы производить свои базовые классы виртуально просто потому, что где-то ниже в иерархии может потребоваться виртуальное наследование? Нет, это не рекомендуется: снижение производительности и усложнение дальнейшего наследования может оказаться существенным (см. [LIPPMAN96a], где приведены и обсуждаются результаты измерения производительности).

Когда же использовать виртуальное наследование? Чтобы его применение было успешным, иерархия, например библиотека iostream или наше дерево классов Panda, должна проектироваться целиком либо одним человеком, либо коллективом разработчиков.

В общем случае мы не рекомендуем пользоваться виртуальным наследованием, если только оно не решает конкретную проблему проектирования. Однако посмотрим, как все-таки можно его применить.

18.5.1. Объявление виртуального базового класса

Для указания виртуального наследования в объявление базового класса вставляется модификатор virtual. Так, в данном примере ZooAnimal становится виртуальным базовым для Bear и Raccoon:

// взаимное расположение ключевых слов public и virtual

// несущественно

class Bear : public virtual ZooAnimal { ... };

class Raccoon : virtual public ZooAnimal { ... };

Виртуальное наследование не является явной характеристикой самого базового класса, а лишь описывает его отношение к производному. Как мы уже отмечали, виртуальное наследование – это разновидность композиции по ссылке. Иначе говоря, доступ к подобъекту и его нестатическим членам косвенный, что обеспечивает гибкость, необходимую для объединения нескольких виртуально унаследованных подобъектов базовых классов в один разделяемый экземпляр внутри производного. В то же время объектом производного класса можно манипулировать через указатель или ссылку на тип базового, хотя последний является виртуальным. Например, все показанные ниже преобразования базовых классов Panda выполняются корректно, хотя Panda использует виртуальное наследование:

extern void dance( const Bear* );

extern void rummage( const Raccoon* );

extern ostream&

operator( ostream&, const ZooAnimal& );

int main()

{

Panda yin_yang;

dance( &yin_yang ); // правильно

rummage( &yin_yang ); // правильно

cout yin_yang; // правильно

// ...

}

Любой класс, который можно задать в качестве базового, разрешается сделать виртуальным, причем он способен содержать все те же элементы, что обычные базовые классы. Так выглядит объявление ZooAnimal:

#include iostream

#include string

class ZooAnimal;

extern ostream&

operator( ostream&, const ZooAnimal& );

class ZooAnimal {

public:

ZooAnimal( string name,

bool onExhibit, string fam_name )

: _name( name ),

_onExhibit( onExhibit ), _fam_name( fam_name )

{}

virtual ~ZooAnimal();

virtual ostream& print( ostream& ) const;

string name() const { return _name; }

string family_name() const { return _fam_name; }

// ...

protected:

bool _onExhibit;

string _name;

string _fam_name;

// ...

};

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

class Bear : public virtual ZooAnimal {

public:

enum DanceType {

two_left_feet, macarena, fandango, waltz };

Bear( string name, bool onExhibit=true )

: ZooAnimal( name, onExhibit, "Bear" ),

_dance( two_left_feet )

{}

virtual ostream& print( ostream& ) const;

void dance( DanceType );

// ...

protected:

DanceType _dance;

// ...

};

А вот объявление класса Raccoon:

class Raccoon : public virtual ZooAnimal {

public:

Raccoon( string name, bool onExhibit=true )

: ZooAnimal( name, onExhibit, "Raccoon" ),

_pettable( false )

{}

virtual ostream& print( ostream& ) const;

bool pettable() const { return _pettable; }

void pettable( bool petval ) { _pettable = petval; }

// ...

protected:

bool _pettable;

// ...

};

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг

РЕПОРТАЖ: Виртуальное присутствие

Из книги Журнал «Компьютерра» №36 от 04 октября 2005 года автора Журнал «Компьютерра»

РЕПОРТАЖ: Виртуальное присутствие Москву посетил Никлаус Вирт (Niclaus Wirth). Известен он в России прежде всего как создатель языка Pascal. Знаменитый профессор Высшей политехнической школы в Цюрихе (ETH; в ней, кстати, учились Альберт Эйнштейн и Джон фон Нейман) и директор


2. Наследование

Из книги Информатика и информационные технологии: конспект лекций автора Цветкова А В

2. Наследование Процесс, с помощью которого один тип наследует характеристики другого типа, называется наследованием. Наследник называется порожденным (дочерним) типом, а тип, которому наследует дочерний тип, называется порождающим (родительским) типом.Ранее известные


26. Наследование

Из книги Информатика и информационные технологии автора Цветкова А В

26. Наследование Наследование – это процесс порождения новых типов-потомков от существующих типов-родителей, при этом потомок получает (наследует) от родителя все его поля и методы.Тип-потомок, при этом, называется наследником или порожденным (дочерним) типом. А тип,


Наследование

Из книги Язык программирования С# 2005 и платформа .NET 2.0. [3-е издание] автора Троелсен Эндрю

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


Наследование

Из книги Microsoft Visual C++ и MFC. Программирование для Windows 95 и Windows NT автора Фролов Александр Вячеславович

Наследование Пожалуй, самая важная возможность, предоставляемая программисту средствами языка Си++, заключается в механизме наследования. Вы можете наследовать от определенных ранее классов новые производные классы. Класс, от которого происходит наследование,


Множественное наследование

Из книги Ощупывая слона [Заметки по истории русского Интернета] автора Кузнецов Сергей Юрьевич

Множественное наследование Множественное наследование выполняется подобно единичному наследованию. В отличие от единичного наследования у порожденного класса может быть несколько базовых классов. На рисунке 1.2 представлен пример множественного наследования классов.


4. Виртуальное кладбище

Из книги Эффективное использование C++. 55 верных способов улучшить структуру и код ваших программ автора Мейерс Скотт


Правило 34: Различайте наследование интерфейса и наследование реализации

Из книги Программирование на языке Ruby [Идеология языка, теория и практика применения] автора Фултон Хэл

Правило 34: Различайте наследование интерфейса и наследование реализации Внешне простая идея открытого наследования при ближайшем рассмотрении оказывается состоящей из двух различных частей: наследования интерфейса функций и наследования их реализации. Различие


1.1.2. Наследование

Из книги Приемы создания интерьеров различных стилей автора Тимофеев С. М.

1.1.2. Наследование Мы подходим к одной из самых сильных сторон ООП — наследованию. Наследование —- это механизм, позволяющий расширять ранее определенную сущность путем добавления новых возможностей. Короче говоря, наследование - это способ повторного использования


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

Из книги Цифровой журнал «Компьютерра» № 168 автора Журнал «Компьютерра»

Виртуальное пространство Работа над трехмерными интерьерами и другими проектами происходит в виртуальном пространстве. Термин "виртуальность" пришел к нам от английского "virtual", что в переводе означает "возможный, воображаемый, существующий лишь как продукт


Виртуальное окно в БМП или как студенты-дизайнеры апгрейдили броневик Николай Маслухин

Из книги Цифровой журнал «Компьютерра» № 172 автора Журнал «Компьютерра»

Виртуальное окно в БМП или как студенты-дизайнеры апгрейдили броневик Николай Маслухин Опубликовано 12 апреля 2013 M2 Bradley, боевая машина пехоты США, была создана еще в 70-х годах, но используется армией и поныне. По заявлению самих же военных, одним из


Smarter Objects: виртуальное взаимодействие с реальными объектами Николай Маслухин

Из книги Цифровой журнал «Компьютерра» № 220 автора Журнал «Компьютерра»

Smarter Objects: виртуальное взаимодействие с реальными объектами Николай Маслухин Опубликовано 07 мая 2013 Медиалаборатория Массачусетского технологического института (MIT Media Lab) представила новую технологию взаимодействия с физическими объектами на


ООН создала виртуальное минное поле при помощи iBeacon Николай Маслухин

Из книги C++ для начинающих автора Липпман Стенли

ООН создала виртуальное минное поле при помощи iBeacon Николай Маслухин Опубликовано 08 апреля 2014 4 апреля, в международный день «просвещения по вопросам минной опасности и помощи в деятельности, связанной с разминированием», Организация


18. Множественное и виртуальное наследование

Из книги Описание языка PascalABC.NET автора Коллектив РуБоард

18. Множественное и виртуальное наследование В большинстве реальных приложений на C++ используется открытое наследование от одного базового класса. Можно предположить, что и в наших программах оно в основном будет применяться именно так. Но иногда одиночного наследования


Наследование

Из книги автора

Наследование Класс может быть унаследован от другого класса. Класс, от которого наследуют, называют базовым классом (надклассом, предком), а класс, который наследуется, называется производным классом (подклассом, потомком). При наследовании все поля, методы и свойства