Корректность систем и классов

Корректность систем и классов

Для обсуждения проблем ковариантности и скрытия потомком нам понадобится несколько новых терминов. Будем называть классово-корректной (class-valid) систему, удовлетворяющую трем правилам описания типов, приведенным в начале лекции. Напомним их: каждая сущность имеет свой тип; тип фактического аргумента должен быть совместимым с типом формального, аналогичная ситуация с присваиванием; вызываемый компонент должен быть объявлен в своем классе и экспортирован классу, содержащему вызов.

Система называется системно-корректной (system-valid), если при ее выполнении не происходит нарушения типов.

В идеале оба понятия должны совпадать. Однако мы уже видели, что классово-корректная система в условиях наследования, ковариантности и скрытия потомком может не быть системно-корректной. Назовем такую ошибку нарушением системной корректности (system validity error).

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг:

Эмуляция классов

Из книги автора

Эмуляция классов Часто случается, что разработчики классов желают развернуть новые версии уже существующих классов, чтобы исправить дефекты или расширить функциональные возможности. Полезно придать этим новым реализациям новые идентификаторы класса CLSID , чтобы


6. Главное — корректность, простота и ясность

Из книги автора

6. Главное — корректность, простота и ясность РезюмеКорректность лучше быстроты. Простота лучше сложности. Ясность лучше хитроумия. Безопасность лучше ненадежности (см. рекомендации 83 и 99).ОбсуждениеСложно преувеличить значение простоты проектирования и ясности кода.


3.3. Природа классов

Из книги автора

3.3. Природа классов Что такое класс? Понятия класса и объекта настолько тесно связаны, что невозможно говорить об объекте безотносительно к его классу. Однако существует важное различие этих двух понятий. В то время как объект обозначает конкретную сущность,


5.2. Диаграммы классов

Из книги автора

5.2. Диаграммы классов Существенное: классы и отношения между ними Диаграмма классов показывает классы и их отношения, тем самым представляя логический аспект проекта. Отдельная диаграмма классов представляет определенный ракурс структуры классов. На стадии анализа мы


1.3.4. Создание классов

Из книги автора

1.3.4. Создание классов В Ruby есть множество встроенных классов, и вы сами можете определять новые. Для определения нового класса применяется такая конструкция:class ClassName# ...endСамо имя класса - это глобальная константа, поэтому оно должно начинаться с прописной буквы.


13.2. Объекты классов

Из книги автора

13.2. Объекты классов Определение класса, например Screen, не приводит к выделению памяти. Память выделяется только тогда, когда определяется объект типа класса. Так, если имеется следующая реализация Screen:class Screen {public:// функции-членыprivate:string _screen;string:size_type _cursor;short


16. Шаблоны классов

Из книги автора

16. Шаблоны классов В этой главе описывается, как определять и использовать шаблоны классов. Шаблон - это предписание для создания класса, в котором один или несколько типов либо значений параметризованы. Начинающий программист может использовать шаблоны, не понимая


Оболочка из классов для OLE

Из книги автора

Оболочка из классов для OLE Рационализация OLEПеревод А. И. ЛегаловаАнглоязычный оригинал находится на сервере компании Reliable


Корректность (Correctness)

Из книги автора

Корректность (Correctness) Определение: корректностьКорректность - это способность ПО выполнять точные задачи так, как они определены их спецификацией.Корректность является важнейшим качеством. Если система не делает того, что она должна делать, то все остальное - ее


Корректность класса

Из книги автора

Корректность класса Вооруженные понятиями инварианта, предусловий и постусловий, мы можем теперь точно определить понятие корректности уже не отдельной подпрограммы, а класса в целом.Класс, подобно всем остальным программным элементам, не может быть корректным или


Корректность предложения rescue

Из книги автора

Корректность предложения rescue Формальное определение корректности класса выдвигает два требования к компонентам класса. Первое (1) требует, чтобы процедуры создания гарантировали корректную инициализацию - выполнение инварианта класса. Второе (2) напрямую относится к


Корректность систем: первое приближение

Из книги автора

Корректность систем: первое приближение Давайте сконцентрируемся вначале на проблеме ковариантности, более важной из двух рассматриваемых. Этой теме посвящена обширная литература, предлагающая ряд разнообразных