Решение

Реальное поведение вашего примера кода определяется двумя основными факторами: 1) поведение не определено языком, 2) оптимизирующий компилятор сгенерирует машинный код, который физически не соответствует вашему C-коду.

Например, несмотря на то, что поведение не определено, GCC может (и будет) легко оптимизировать ваш код до простого

printf("ptr = %d\n", 17);

Это означает, что вывод, который вы видите, имеет очень мало общего с тем, что происходит с любыми переменными в вашем коде.

Если вы хотите, чтобы поведение вашего кода лучше отражало то, что происходит физически, вы должны объявить свои указатели volatile. Поведение по-прежнему будет неопределенным, но, по крайней мере, оно ограничит некоторые оптимизации.

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

Это означает, что память, ранее занимаемая, tmpпродолжает оставаться зарезервированной в стеке до выхода из функции. Это также означает, что одно и то же пространство стека может (и будет) использоваться разными переменными, имеющими примерно одинаковый уровень «глубины локальности» в соседних блоках. Пробел будет хранить значение последней переменной, пока какая-либо другая переменная, объявленная в некоторой переменной блока-брата, не переопределит ее. В вашем примере никто не переопределяет пространство, которое раньше занимало tmp, поэтому вы, как правило, увидите, как значение 17сохраняется в этой памяти без изменений.

Однако, если вы сделаете это

int main(void) {
  volatile int *ptr;
  volatile int *ptrd;

  { // Block
    int tmp = 17;
    ptr = &tmp; // Just to see if the memory is cleared
  }

  { // Sibling block
    int d = 5;
    ptrd = &d;
  }

  printf("ptr = %d %d\n", *ptr, *ptrd);
  printf("%p %p\n", ptr, ptrd);
}

вы увидите, что пространство, ранее занимаемое ранее, tmpиспользовалось повторно, dа его прежнее значение было переопределено. Второй printfтип обычно выводит одинаковое значение указателя для обоих указателей.

Автор: AnT Размещён: 15.12.2012 12:57