Что такое инвариант класса (class invariant) и как привести пример?

Что называют инвариантом класса (class invariant)?

• понятие объектно-ориентированного программирования, описывающее свойства объекта
• условие, которое сохраняет истинность на протяжении всего существования объекта
• обеспечивает корректное состояние объекта
• контролируется после работы конструктора и публичных методов
• не допускает нарушения бизнес-логики
• пример: баланс аккаунта всегда ≥ 0
• необходим для надежной и предсказуемой работы класса

Развернутый ответ

Основной ответ

Инвариант класса — это условие или совокупность условий, которые должны оставаться истинными для экземпляра класса на всем протяжении его жизненного цикла после создания. Инварианты поддерживают объект в корректном состоянии между вызовами методов и делают его поведение предсказуемым. Их соблюдение обеспечивается конструктором и всеми методами, изменяющими состояние объекта.

Основные положения

• Назначение инвариантов — сохранение целостности данных класса и предотвращение перехода объекта в неконсистентное состояние.
• Соблюдение инвариантов: каждый метод, изменяющий состояние, включая setter и mutator, обязан сохранять инварианты; в противном случае надежность класса снижается.
• От предусловий и постусловий инварианты отличаются областью действия: предусловие контролируется до запуска метода, постусловие — после его завершения, а инвариант должен выполняться всегда, то есть между вызовами методов объекта.

Пример

Возьмем класс Rectangle, для которого ширина и высота по инварианту должны иметь положительные значения:

class Rectangle:
def __init__(self, width, height):
assert width > 0 and height > 0, "Ширина и высота должны быть положительными"
self.width = width
self.height = height

def set_width(self, width):
assert width > 0, "Ширина должна быть положительной"
self.width = width

def set_height(self, height):
assert height > 0, "Высота должна быть положительной"
self.height = height

В данном случае инвариантом является width > 0 and height > 0; его проверка выполняется в конструкторе и методах, изменяющих объект.

Практическое применение

В промышленной разработке инварианты нередко реализуют с помощью assert, контрактов (Design by Contract) либо валидационных методов, применяемых в бизнес-логике. Это заметно облегчает отладку и повышает надежность программного кода. Так, в банковском приложении инвариант может требовать, чтобы баланс счета никогда не становился отрицательным.