Книга: Основы объектно-ориентированного программирования
Правило типизации
Правило типизации
Правило типизации, делающее допустимым первый набор и недопустимым второй, интуитивно понятно, но его надо уточнить.
Вначале рассмотрим обычные, не родовые классы. Пусть C такой класс. Рассмотрим объявление его компонента, не использующее, естественно, никаких формальных родовых параметров:
f(a:T):U is ...
Тогда вызов вида x.f(d), появляющийся в произвольном классе B, где x типа C, будет корректен по типу, тогда и только тогда, когда:
[x]. f доступен классу B, - экспортирован всем классам или множеству классов, включающих B;
[x]. d принадлежит типу T. Если учитывать возможность наследования, то d может принадлежать потомкам T.
[x]. Результат вызова имеет тип U. В этом примере предполагается, что компонент f является функцией.
Теперь предположим, что C родовой класс с формальным родовым параметром G имеет компонент:
h (a: G): G is...
Вызов h имеет вид y.h(e), где y сущность, объявленная как
y: C [V]
Тип V - некоторый ранее определенный тип. Теперь правило типизации - двойник неродового правила - требует, чтобы e имело тип V или при наследовании было потомком V. Аналогичное требование к результату выполнения функции h.
Требования правила понятны: V - фактический параметр, заменяющий формальный родовой параметр G параметризованного класса C, поэтому он заменяет все вхождения G при вызове компонент класса. Все предыдущие примеры следовали этой модели: вызов s.put(z) требует параметра z типа POINT, если s типа STACK [POINT]; INTEGER если s типа STACK [INTEGER]; и s.item возвращает результат типа POINT в первом случае и типа INTEGER во втором.
Оглавление книги
- Проблема типизации
- 3. Null-значения и общее правило вычисления выражений
- Правило 16. Группируйте связанные между собой элементы
- Роль типизации
- Файлы без расширения, как правило, текстовые. Как сделать, чтобы при двойном щелчке кнопкой мыши они открывались в Блокн...
- Правило успеха № 3. Знать и грамотно использовать инструменты выразительности и убедительности
- Правило № 35 Немедленно откажитесь от того, что делает конкурент
- Глава 3 Правило непрерывного изменения
- Правило 11: не влюбляйтесь в свои диаграммы!
- Эвристическое правило номер 4: Симпатия – основа взаимосвязи и доверия
- «Правило 98 %»
- 5.2.2. Правило «40-40-20»