Объявление переменных в цикле

Question

У меня есть очень простой вопрос о правилах определения области видимости. Когда вы объявляете переменную внутри цикла, скажем:

while (/*some condition*/) 
{ 
    int a = 0; 
    //Remaining operations 
} 

Является ли новая int переменная, объявленная в каждой итерации цикла? Или это то, что a уничтожен в конце каждой итерации и вновь создан снова? Как компилятор в Java или C++ понимает и реализует это?

Answer 1

Вы должны различать логический уровень и уровень реализации.

С логической точки зрения переменная на самом деле не «создана» или «разрушена», но так вы могли бы ее себе представить. Переменная - это просто , объявленная в пределах scope, поэтому она будет существовать (вы можете назначить ей и прочитать ее значение), она инициализируется в начале блока (поэтому она имеет значение 0), и это не " t видно вне кодового блока. Вот что говорит определение языка. В C++, если вы опускаете инициализацию (т. Е. Часть =0), язык не делает никаких предположений о том, что такое значение (поэтому компилятор может «повторно использовать» ячейку памяти). В Java, тем не менее, инициализация неявна, поэтому a также будет установлен на ноль, если вы опустите инициализацию.

На уровне реализации компилятор более или менее свободен делать все, что захочет, до тех пор, пока он выполняет вышеуказанные спецификации. Поэтому на практике это, скорее всего, зарезервирует некоторое пространство в стеке и использует эту же память для каждой итерации, чтобы сохранить значение a. Поскольку вы использовали инициализатор, значение 0 будет записано в это место в начале каждого цикла. Обратите внимание, что если a не используется в пределах области действия, компилятор также может просто оптимизировать его. Или, если возможно, он может назначить его регистру CPU.

Однако теоретически компилятор также может зарезервировать «новую» ячейку памяти для a на каждой итерации и очистить все из них в конце цикла (хотя это может привести к StackOverflow (!) Для длинных циклов. .).Или используйте распределение динамической памяти, собранное с помощью мусора (что приведет к низкой производительности ...).

Answer 2

Это указано только в исходном коде. В байт-коде просто использует локальную переменную в стеке, которая будет инициализирована с 0 на каждой итерации. Разница с объявлением вне цикла заключается в том, что когда он находится внутри цикла, JVM будет повторно использовать переменную, занятую a.

Answer 3

Мне было легче думать о a как о той же переменной, которая неоднократно создавалась и уничтожалась.

Answer 4

a создавать и уничтожать после каждой итерации.

Answer 5

В основном, является локальной переменной, которая инициализируется каждой итерации в цикле со значением 0, а затем уничтожены, и так далее, до тех пор пока цикл не будет завершен, когда он в конечном счете разрушен

Примечание:

while(//Some Condition) 

бы закомментировать правую скобку, и поэтому код не будет работать в любом случае

правильно это:

while(/* some condition */)