Книга: Основы объектно-ориентированного программирования
У11.8 Нарушение инварианта
У11.8 Нарушение инварианта
В этой лекции было показано, что нарушение предусловия указывает на ошибку клиента, а нарушение постусловия указывает на ошибку поставщика. Объясните, почему нарушение инварианта также указывает на ошибку поставщика.
Содержание
Оглавление статьи/книги
- У11.1 Комплексные числа
- У11.2 Класс и его АТД
- У11.3 Полные утверждения для стеков
- У11.4 Экспортирование размера
- У11.5 Инвариант реализации
- У11.6 Утверждения и экспорт
- У11.7 Поиск жучков (bugs)
- У11.8 Нарушение инварианта
- У11.9 Генерация случайных чисел
- У11.10 Модуль "очередь"
- У11.11 Модуль "множество"
Похожие страницы
- Глава 2 Нарушение и защита информационных систем
- Нарушение корпоративных правил
- Нарушение этических норм
- Наследование инварианта
- Нарушение стандартов
- Нарушение обязательств
- 10.7. Нарушение правил
- 10.5. Ответственность за нарушение авторских и смежных прав
- 7.5. Ответственность за нарушение договорных обязательств
- Нарушение привычного образца продаж
- Кто должен обеспечить сохранность инвариантов
- Упражнения