В чем отличие инварианта от переменной в программировании?

Инвариант и переменная — разные понятия в программировании, и инвариант более «концептуален», чем переменная. stackoverflow.com

Переменная — это элемент программы, в котором можно хранить данные. stackoverflow.com Например, в стеке на массиве есть переменные, которые обозначают число элементов и массив элементов. neerc.ifmo.ru

Инвариант — это свойство состояния программы, которое всегда истинно. stackoverflow.com Он не может быть сохранён в переменной, скорее представляет собой утверждение о программе. stackoverflow.com Инварианты — это условия, которые остаются неизменными на протяжении всего выполнения программы. proglib.io Такими условиями могут быть значения переменных или определённая логика выполнения алгоритма. proglib.io

Таким образом, переменная — это конкретный элемент программы, а инвариант — это более общее понятие, которое описывает глобальные свойства программы.