Основы объектно-ориентированного проектирования

         

Общая таксономия


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


Рис. 6.7.  Классификация допустимых категорий наследования

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

  • наследование модели, отражающее отношения "is-a" между абстракциями, характерными для самой модели;
  • программное наследование, выражающее отношения между объектами программной системы, не имеющих очевидных двойников во внешней модели;
  • наследование вариаций - специальный случай, относящийся как к моделям, так и программному наследованию, служащий для описания вариаций семейства классов.

Эти три общие категории облегчают понимание, но наиболее важные свойства задаются терминальными категориями.

Так как классификация сама по себе является таксономией, можно из любопытства задаться вопросом, как применить к ней самой идентифицируемые категории. Это является темой упражнения У6.2.

Следующие далее определения используют имя A для родительского класса и B для наследника:


Рис. 6.8.  Соглашение именования при определении категорий наследования

Каждое из определений будет устанавливать, в каких случаях A и B могут быть отложенными, а когда - эффективными. Обсуждение завершается таблицей, содержащей сводку применимых категорий для каждой комбинации отложенных и эффективных классов.



Содержание раздела