Книга: Основы объектно-ориентированного программирования
Игра в рекурсию
Игра в рекурсию
Вот некий трюк с нашим примером: спросим себя, возможен ли вектор векторов? Допустим ли тип VECTOR [VECTOR [INTEGER]]?
Ответ следует из предыдущих правил: только если фактический родовой параметр совместим с NUMERIC. Сделать это просто - породить класс VECTOR от класса NUMERIC (см. упражнение 16.2):
indexing
description: "Векторы, допускающие сложение"
class
VECTOR [G -> NUMERIC]
inherit
NUMERIC
... Остальное - как и раньше...
Векторы, подобные этому, можно и впрямь считать "числовыми". Операции сложение и умножение дают структуру кольца, в котором роль нуля (zero) играет вектор из G-нулей, и роль единицы (unity) - вектор из G-единиц. Операция сложения в этом кольце - это, строго говоря, векторный вариант infix "+", речь о котором шла выше.
Можно пойти дальше и использовать VECTOR [VECTOR [VECTOR [INTEGER]]] и так далее - приятное рекурсивное приложение ограниченной универсальности.
Оглавление книги
- Почему необходима миграция
- Сущность процесса миграции
- Миграция между различными версиями InterBase
- Карта миграции
- Прямая миграция
- Сохранение информации о пользователях при миграции
- Особый процесс, или обратная миграция
- Миграция баз данных на Yaffil и обратно
- 3. Связи и миграция ключей
- Глава 14. Почему потребительский опыт играет важную роль в выстраивании клиентских взаимоотношений
- Я слышал, что в Microsoft Word можно играть в шахматы. Каким образом?
- На каких сайтах можно поиграть?