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

Question

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

YeaHub · Accepted Answer

Инвариант класса — логическое условие, которое:Выполняется после создания объекта.Сохраняется до/после вызова любого публичного метода.Пример:Для класса BankAccount:public class BankAccount {
    	private decimal _balance;
    	public decimal Balance => _balance;

public BankAccount(decimal initial) {
        	if (initial < 0) throw new ArgumentException("Баланс ≥ 0");
        	_balance = initial;
    	}

public void Deposit(decimal amount) {
        	if (amount < 0) throw new ArgumentException("Сумма ≥ 0");
        	_balance += amount;
        	ValidateInvariant(); // Проверка после изменения
    	}

private void ValidateInvariant() {
        	if (_balance < 0) 
            		throw new InvalidOperationException("Баланс не может быть отрицательным");
    	}
}Инварианты здесь:Balance никогда не отрицателен.Deposit не принимает отрицательные суммы.Как обеспечивается:Конструктор: Устанавливает валидное начальное состояние.Публичные методы: Проверяют входные данные и вызывают ValidateInvariant() после изменений.Где используется:В контрактном программировании (Code Contracts).Для отладки сложных состояний (например, через Debug.Assert).