Книга: Основы объектно-ориентированного программирования
Объявление родового класса
Объявление родового класса
По соглашению родовой параметр обычно, использует имя G (от Generic). Это неформальное правило. Если нужны еще родовые параметры, они будут названы H, I и т.д.
Согласно синтаксису, формальные родовые параметры заключаются в квадратные скобки, следующие за именем класса, подобно синтаксису параметризованного АТД в предыдущей лекции. Например:
indexing
description: "Стек элементов произвольного класса G"
class STACK [G] feature
count: INTEGER
-- Количество элементов в стеке
empty: BOOLEAN is
-- Есть ли элементы?
do ... end
full: BOOLEAN is
-- Стек заполнен?
do ... end
item: G is
-- Вершина стека
do ... end
put (x: G) is
-- Втолкнуть x в стек.
do ... end
remove is
-- Вытолкнуть элемент из стека.
do ... end
end -- class STACK
Формальный родовой параметр G можно использовать в объявлениях класса не только для результата функций (как в item) и формальных аргументов подпрограмм (как в put), но и для атрибутов и локальных сущностей класса.
Оглавление книги
- 3.4. Отношения между классами
- Типизация и повторное объявление
- 9.7.1. Определение подкласса
- Инварианты класса и семантика ссылок
- Объявление переменной на внутреннем уровне
- Реализация класса бинарных деревьев
- Объявление функции
- Определение членов класса
- Объявление динамических массивов
- Где можно разместить объявление бесплатно?
- 8.2. Как грамотно оформить рекламное объявление
- Запуск виртуального класса