Постусловие
-
Определение постусловия в программировании
- Постусловие — это условие, которое должно быть истинным после выполнения кода.
- Постусловия часто используются для тестирования кода и включения в документацию.
-
Примеры постусловий
- Факториал должен возвращать целое число, большее или равное 1.
- Квадратный корень должен возвращать число, квадрат которого равен входному.
-
Постусловия в объектно-ориентированном программировании
- В объектно-ориентированном программировании постусловия являются частью контракта метода.
- Постусловие гарантирует свойства метода после его выполнения.
-
Пример Эйфелевой башни на языке Eiffel
- Пример устанавливает значение атрибута на основе аргумента, гарантируя сохранение значения после выполнения.
- Нарушение постусловия может быть отмечено тегом «hour_set:».
-
Постусловия и наследование
- Постусловия наследуются подклассами, требуя соответствия их контрактам.
- Переопределенные процедуры могут усиливать постусловия, но не уменьшать их.
-
Ссылки
- Упоминание предварительного условия, проектирования по контракту, логики Хоара, инвариантов и триггеров базы данных.
Полный текст статьи: