cout << "Вес = "
<< ss.weight
<< endl ;
/* Section 2 — Один из способов устранения неоднозначности */
SleeperSofa* pSS = &ss ;
Sofa* pSofa = ( Sofa* )pSS ;
Furniture* pFurniture = ( Furniture* )pSofa ;
cout << "Bec = "
<< pFurniture -> weight
<< endl ;
/* Пауза для того, чтобы посмотреть на результат работы программы */
system( "PAUSE" ) ; return 0 ;
}
Обратите внимание на ключевое слово virtual, используемое при наследовании классов Bed и Sofa от класса Furniture. Оно означает примерно следующее: "Дайте-ка мне копию Furniture, но если она уже существует, то я использую именно её". В итоге класс SleeperSofa будет выглядеть, как показано на рис. 26.5.
Из этого рисунка видно, что класс SleeperSofa включает Furniture, а также части классов Bed и Sofa, не содержащие Furniture. Далее находятся уникальные для класса SleeperSofa члены ( элементы в памяти не обязательно будут располагаться именно в таком порядке, но в данном обсуждении это несущественно ).
Теперь обращение к члену weight в функции fn( ) не многозначно, поскольку SleeperSofa содержит только одну копию Furniture. Наследуя этот класс виртуально, мы получили желаемую структуру наследования ( см. рис. 26.2 ).
_________________
305 стр. Глава 26. Множественное наследование
Если виртуальное наследование так хорошо решает проблему неоднозначности, почему оно не является нормой? Во-первых, потому, что виртуально наследуемый класс обрабатывается иначе, чем обычный наследуемый базовый класс, что, в частности, выражается в повышенных накладных расходах. Во-вторых, у вас может появиться желание иметь две копии базового класса ( хотя это случается весьма редко ). Вспомним наши старые упражнения со студентами и преподавателями и допустим, что TeacherAssistant ( помощник преподавателя ) является одновременно и Teacher ( преподавателем ) и Student ( студентом ), которые, в свою очередь, являются подклассами Academician. Если университет даст помощнику преподавателя два идентификатора — и студента и преподавателя, то классу TeacherAssistant понадобятся две копии класса Academician.
Рис. 26.5. Расположение класса SleeperSofa в памяти при использовании виртуального наследования
►Конструирование объектов...306
При конструировании объектов с использованием множественного наследования должен выполняться ряд правил.
20. Сначала вызываются конструкторы для каждого виртуального базового класса в порядке наследования.
21. Затем вызываются конструкторы каждого невиртуального базового класса в порядке наследования.
22. После этого вызываются конструкторы всех объектов-членов класса в том порядке, в котором эти объекты-члены объявлены в классе.
23. И наконец, вызывается конструктор самого класса.
Обратите внимание, что базовые классы конструируются в порядке наследования, а не в порядке расположения в строке конструктора.
►Отрицательные стороны множественного наследования...306
Должен признаться, что не все, кто работает с объектно-ориентированным программированием, считают механизм множественного наследования удачным. Кроме того, многие объектно-ориентированные языки вообще не поддерживают множественного наследования, реализация которого, кстати, далеко не самая простая вещь. Конечно, множественное наследование — это проблема компилятора ( вернее, того, кто пишет компилятор ). Однако оно требует больших накладных расходов по сравнению с программой с обычным наследованием, а эти накладные расходы становятся уже проблемой программиста.
_________________
306 стр. Часть 5. Полезные особенности
Не менее важно и то, что множественное наследование открывает путь к дополнительным ошибкам. Во-первых, неоднозначность, подобная описанной в предыдущем разделе, может превратиться в большую проблему. Во-вторых, при наличии множественного наследования преобразования указателя на подкласс в указатель на базовый класс иногда приводят к запутанным и непонятным изменениям этого указателя. Все эти тонкости я оставляю на совести разработчиков языка и компилятора.