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

redefine right, put_right end

feature

left, right: BI_LINKABLE [G]

put_right (other: BI_LINKABLE [G]) is

-- Поместить other справа от текущего элемента.

do

right := other

if other /= Void then other.put_left (Current) end

end

put_left (other: BI_LINKABLE [G]) is

-- Поместить other слева от текущего элемента.

... Упражнение для читателя ...

... Прочие компоненты ...

invariant

right = Void or else right.left = Current

left = Void or else left.right = Current

end

(Попробуйте написать put_left . Здесь скрыта ловушка! См. приложение A.)

Примеры, рассмотренные выше, несмотря на все их различия, объединяет необходимость повторного объявления типов. Спуск по иерархии наследования означает специализацию классов, и в соответствии со специализацией изменяются типы функций и типы аргументов подпрограмм, как, например, a в set_alternate и other в put_right ; изменяются типы запросов - alternate и right .

Этот аспект повторного объявления выражает следующее правило:

Правило повторного объявления типов

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

Правило использует понятие совместимости типов. Связка "или", стоящая в тексте правила, не исключает того, что при повторном объявлении функции мы можем одновременно изменить как тип результата функции, так и тип одного или нескольких ее аргументов.

Любое повторное объявление ведет к специализации, а, следовательно, к изменению типов. Так, с переходом к двунаправленным спискам параметры и результаты функций сменили свой тип на BI_LINKABLE . Отсюда становится понятен тот термин, которым часто описывают политику редекларации типов, - ковариантная типизация (covariant typing), где приставка "ко" указывает на параллельное изменение типов при спуске по диаграмме наследования.

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

Правило повторного объявления типов способно свести на нет целый ряд преимуществ наследования. Почему это происходит и каково решение данной проблемы?

Рассмотрим пример с участием класса LINKED_LIST . Пусть мы имеем процедуру добавления в список нового элемента с заданным значением, который вставляется справа от текущего элемента. В деталях процедуры нет ничего необычного, но все же обратим внимание на потребность создания локальной сущности new типа LINKABLE , представляющей элемент списка, который будет создан и включен в список.

Рис. 16.10. Добавление элемента

put_right (v: G) is

-- Вставить элемент v справа от курсора.

-- Не передвигать курсор.

require

not after

local

new: LINKABLE [T]

do

create new.make (v)

put_linkable_right (new)

...

ensure

... См. приложение A ...

end

Для вставки нового элемента, имеющего значение v , необходимо предварительно создать элемент типа LINKABLE [G] . Вставка производится закрытой процедурой put_linkable_right , принимающей LINKABLE как параметр (и связывающей его с текущим элементом, используя процедуру put_right класса LINKABLE ). Эта процедура осуществляет все нужные манипуляции со ссылками.

У потомков LINKED_LIST , таких как TWO_WAY_LIST или LINKED_TREE , процедура put_right тоже должна быть применимой. Но у них она работать не будет! Хотя алгоритм ее остается корректным, сущность new для них должна иметь другой тип - BI_LINKABLE или LINKED_TREE . Поэтому в каждом потомке нужно переопределять и переписывать целую процедуру, и это притом, что ее тело будет идентично оригиналу, за исключением переопределения new ! Для подхода, претендующего на решение проблемы повторного использования, это серьезный порок.