Свойства, которые мы не проверяем в коде явно (или проверяем только с помощью утверждений), называются инвариантами. Утверждения «Это число никогда не будет отрицательным» и «Этот файл точно существует» являются примерами инвариантов.
Пять строк кода. Роберт Мартин рекомендует
·
Клаусен Кристиан
