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

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

Они помогают гарантировать корректность и целостность данных внутри объекта. Например, если у класса есть поле "возраст", инвариантом может быть условие, что возраст всегда должен быть неотрицательным.

В C# инварианты обычно проверяются в конструкторах и методах, которые изменяют состояние объекта, чтобы не допустить нарушения этих условий.

Пример:

class Person
{
    private int age;

    public int Age
    {
        get => age;
        set
        {
            if (value < 0)
                throw new ArgumentException("Возраст не может быть отрицательным");
            age = value;
        }
    }

    public Person(int age)
    {
        Age = age; // здесь проверяется инвариант
    }
}

Здесь инвариантом является условие age >= 0, которое поддерживается через проверку в сеттере и конструкторе.