Объектно-ориентированное программирование на С#. Андрианова А.А - 13 стр.

означает, что объекты класса-потомка могут использоваться всюду, где
встречаются объекты класса-родителя, но не наоборот. Потомок может быть
подставлен вместо родителя. При этом он наследует свойства родителя – его
атрибуты и операции. Часто, хотя и не всегда, у потомков есть и свои
собственные атрибуты и операции, помимо тех, что существуют у родителя
(Рис.1.4).

                                   Студент




                             Студент-контрактник


                Рис.1.4. Обобщение между классами «Студент»
                           и «Студент-контрактник»

       В случаях, когда класс-потомок не содержит собственных атрибутов и
операций, но реализация некоторых унаследованных им методов отличается
от родительских, определяется отношение типа «является подобным» («is-
like-a»). Примером такого отношения является иерархия классов для
студентов разных курсов. Все студенты сдают зачеты и экзамены, количество
которых может быть различным в зависимости от курса обучения. Поэтому
методы допуска к экзаменационной сессии, перевода на следующий курс и
т.д. будут иметь одинаковый прототип, но их реализация будет различной.
       Отношение зависимости – это такой тип отношения, при котором
изменение в определении одного класса приводит к изменению реализации
другого класса. Например, изменение в классе «Студент» (добавление новых
методов, изменение прототипов существующих методов и пр.) может
привести к изменениям в классе «Учебная группа». Чаще всего такая связь
возникает в случаях, когда классы находятся в отношении агрегации или
когда объекты одного класса являются параметрами методов другого класса.




                                                                       13