В цикле for есть одно определение. Переменная создается, используется, затем уничтожается в закрывающей фигурной скобке и воссоздается в следующей итерации цикла. Определена одна переменная.
Это похоже на переменную, определенную в функции. Функцию можно вызывать много раз, но переменная равна единице. Фактически, с функциями функцию можно вызывать рекурсивно, и будет работать более одной переменной, но для каждого выполнения функции определена одна переменная.
РЕДАКТИРОВАТЬ: Обратите внимание, как правильно указывает @xtofl, время жизни i
- это весь цикл for, а время жизни a
- это блок в фигурных скобках: одна итерация цикла for.