Основы объектно-ориентированного программирования
Объявление родового класса
По соглашению родовой параметр обычно, использует имя 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), но и для атрибутов и локальных сущностей класса.
