Книга: Основы объектно-ориентированного программирования
Две или три вещи, которые мы знаем о стеках
Две или три вещи, которые мы знаем о стеках
Спецификации АТД являются неявными. Имеются два вида "неявности":
[x]. Метод АТД определяет неявно некоторое множество объектов, задавая применимые к ним функции. Из этого определения никогда не следует, что в нем перечислены все операции; часто, на пути к представлению, будут добавлены и другие.
[x]. Сами функции также определяются неявно. Вместо явных определений используются аксиомы, задающие свойства этих функций. Здесь тоже ничего не утверждается о полноте: когда вы, в конце концов, дойдете до реализации этих функций, они приобретут дополнительные свойства.
Эта неявность является ключевым аспектом абстрактных типов данных и, как следствие, - их будущих аналогов в построении ОО-ПО - классов. Когда мы определяем абстрактный тип данных или класс, мы всегда сообщаем кое-что об этом типе или классе, просто перечисляя те их свойства, которые знаем, и берем их в качестве определения. При этом никогда не предполагается, что других применимых свойств нет.
Неявность также предполагает открытость определений: всегда можно добавить новые свойства АТД или класса. Основным механизмом для выполнения таких расширений без разрушения уже существующего первоначального определения является наследование.
Этот "неявный" подход имеет далеко идущие последствия. В пункте "дополнительные темы" в конце этой лекции помещены еще некоторые комментарии о неявности.
Оглавление книги
- 9.4.1. Реализация графа в виде матрицы смежности
- Игровая индустрия
- Файлы *.GDB изнутри
- Увеличение глубины рекурсии процедур и триггеров
- Использование сервера Yaffil внутри процесса
- Дистрибутив
- «Вещи» как носители корпоративных стандартов
- 1.3.5. Методы и атрибуты
- Три способа кодирования звука
- 2. Домены и атрибуты
- 4. Виртуальные атрибуты
- 7. Унификация атрибутов