Книга: Основы объектно-ориентированного программирования
Еще раз о базовых классах
Еще раз о базовых классах
С введением закрепленных типов нуждается в расширении понятие базового класса типа.
Сначала классы и типы были для нас едины, и это их свойство - отправной пункт ОО-метода, - по существу, сохраняется, хотя нам пришлось немного расширить систему типов, добавляя в классы родовые параметры. Каждый тип основан на классе и для типа определено понятие базового класса. Для типов, порожденных универсальным классом с заданными фактическими родовыми параметрами, базовым классом является универсальный класс, в котором удалены фактические параметры. Так, например, для LIST [INTEGER] базовым классом является LIST. На классах основаны и развернутые типы; и для них аналогично: для expanded SOME_CLASS [...] базовый класс - SOME_CLASS.
Закрепление типов - это еще одно расширение системы типов, которое, подобно двум предыдущим, сохраняет свойство выводимости каждого типа непосредственно из класса. Базовым для like anchor является базовый класс типа сущности anchor в текущем классе. Если anchor есть Current, базовым будет класс, в котором это объявление содержится.
- От исключительной полезности к стратегическому ценообразованию
- Firebird РУКОВОДСТВО РАЗРАБОТЧИКА БАЗ ДАННЫХ
- Решетка «упразднить – снизить – повысить – создать»
- Миграция между различными версиями InterBase
- 4.7. Игровые разминки и упражнения-энергизаторы
- Совместимость клиентов и серверов различных версий
- Выбор стратегии ценообразования
- Преобразование XML в реляционную базу данных
- 1.1.4. Еще немного терминов
- Размер страницы базы данных
- Разрушаем легенду
- Раздача прав