Инвариант класса

• Инвариант класса — ограничение состояния объекта в объектно-ориентированном программировании. 
• Методы класса должны сохранять инвариант класса. 
• Инварианты устанавливаются во время построения класса и поддерживаются между вызовами методов. 
• Инварианты могут быть нарушены кодом внутри функций, но должны быть восстановлены до завершения функции. 
• При параллелизме поддержание инварианта требует создания критической секции с помощью мьютекса. 
• Объектный инвариант гарантирует соответствие объекта заранее определенным условиям и предотвращает ошибочные предположения. 
• Определение инвариантов классов помогает программистам и тестировщикам выявлять ошибки в программном обеспечении. 
• Инварианты классов и наследование усиливают полезный эффект инвариантов в объектно-ориентированном ПО. 
• Наследование может нарушать инкапсуляцию, поэтому предпочтение отдается композиции перед наследованием. 
• Инварианты класса наследуются и могут помешать манипулированию данными реализации родительских классов. 
• Распространенные языки программирования (Python, PHP, JavaScript, C++, Java) поддерживают утверждения для определения инвариантов классов.