Что хотят услышать интервьюеры:

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

Определение:

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

Пример использования:

public class BankAccount
{
    public decimal Balance { get; private set; }

    public BankAccount(decimal initialBalance)
    {
        if (initialBalance < 0)
            throw new ArgumentException("Баланс не может быть отрицательным.");

        Balance = initialBalance;
    }

    public void Deposit(decimal amount)
    {
        if (amount <= 0)
            throw new ArgumentException("Сумма пополнения должна быть положительной.");

        Balance += amount;
    }

    public void Withdraw(decimal amount)
    {
        if (amount <= 0)
            throw new ArgumentException("Сумма снятия должна быть положительной.");

        if (Balance - amount < 0)
            throw new InvalidOperationException("Недостаточно средств.");

        Balance -= amount;
    }
}

Пояснение кода:

Код показывает инвариант: Balance никогда не должен становиться отрицательным.
Сначала конструктор не позволяет создать объект в некорректном состоянии.
Метод Deposit запрещает некорректное пополнение.
Метод Withdraw проверяет, что после операции баланс останется валидным.
Таким образом, любой публичный метод класса сохраняет одно и то же правило целостности.

Ключевые моменты:

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

Можете объяснить, что подразумевается под invariants в контексте классов?