invariants- все статьи тега

Что такое инвариант?

слово, кажется, используется в ряде контекстов. Лучшее, что я могу понять, это то, что они означают переменную, которая не может измениться. Разве это не то, что константы / финалы (проклятая Java!) за что? ...