жизни декларации в цикле

Question

У меня есть цикл следующим образом

while(1) 
{ 
    int i; 
} 

ли i разрушаться и воссоздан в стеке каждый раз, когда происходит цикл?

Answer 1

Теоретически, он воссоздан. На практике он может быть сохранен и реконструирован по соображениям оптимизации.

Но с вашей точки зрения, он пересоздался, а компилятор обрабатывает оптимизацию (т.е., держать его в этой сокровенной сфера, до тех пор, как это pod типа).

Answer 2

Концептуально, да. Но поскольку ничего не делается для значения, компилятор, скорее всего, генерирует код, ничего не делает с переменной на каждой итерации цикла. Он может, например, заранее распределять его (когда входит функция), так как он будет использоваться позже.

Поскольку вы не можете указать ссылку переменную за пределами области определения, которая не изменяет семантику.

Answer 3

Не обязательно. Ваш компилятор может изменить его на

int i; 
while(1) { 
    ... 
    i = 0; 
} 

Это может быть не так, чтобы каждый раз создавался и уничтожался в стеке. Однако семантически это то, что происходит, и когда вы используете более сложные типы в C++, которые имеют поведение пользовательской деструкции, это именно то, что происходит, хотя компилятор может по-прежнему выбирать, хранить память стека отдельно.

Answer 4

В C вы должны посмотреть на сборку, сгенерированную с целью узнать, что (компилятор, возможно, решил поставить его в регистр).

То, что вы знаете, что за пределами цикла, вы не можете получить доступ к этому конкретному объекту любым способом (по имени, по указателю на хак, ...)