Каким будет его выход и почему?

Question

я проходил через рамку правила вопросов и все, а затем получил фрагмент кода, ниже:

#include <stdio.h> 
int main() 
{ 
    int x = 1, y = 2, z = 3; 
    printf(" x = %d, y = %d, z = %d \n", x, y, z); 
    { 
     int x = 10; 
     float y = 20; 
     printf(" x = %d, y = %f, z = %d \n", x, y, z); 
     { 
      int z = 100; 
      printf(" x = %d, y = %f, z = %d \n", x, y, z); 
     } 
    } 
    return 0; 
} 

Если изменить последнюю печать на:

printf("x = %d, y = %d, z = %d \n", x, y, z); 

я получаю следующий вывод, который я не понимаю: (Ideone link)

x = 10, y = 0, z = 1077149696 

Таким образом, могли бы вы объяснить, почему г печати это значение?

Answer 1

x, y и z разрешены для большинства локальных определений.

При использовании неправильного спецификатора printf% поведение не определено.

y is float, но вы используете% d для его печати (в более поздней строке).

printf использует varargs и как только вы повреждаете стек, используя неправильный спецификатор (% d вместо% f в этом случае), стек поврежден, а некорректная интерпретация данных стека (при некорректном смещении) вызовет много болезненных сюрпризов.

Декодирование Этот UB

Это то, что может происходить на вашей машине (Одно из возможных объяснений). Из-за default argument promotion битовая диаграмма (в шестнадцатеричной форме) 0x4034000000000000 выталкивается в стек для 20.0f. Размер int на вашем компьютере с мини-байтом составляет 4 байта. Когда вы печатаете float как int, ваш компьютер 0x00000000 расходуется и интерпретируется как int, который печатает сначала 0, позже %d потребляет 0x40340000, интерпретирует его как int и распечатывает 1077149696. Финал 100 (0x00000064) оставлен в стеке без потерь и возвращает printf.

Но никогда не полагайтесь на это и всегда пишите код, для которого поведение четко определено.

Answer 2

z = 1077149696
Использование% d для печати значений поплавков является неопределенным поведением.
Используйте «% F» вместо

1. Все переменные, которые вы использовали имеют тип хранения «Auto» или «Автоматический».
2. Объем автоматической переменной лежит внутри блока, в котором он объявлен.
3. Если есть вложенные блоки, то переменная, объявленная в самом удаленном блоке, будет видна всем остальным блокам.
4. Если в блоке объявлена ​​переменная, которая совпадает с объявленной в внешних блоках, тогда она будет перезаписывать внешнюю переменную «в своем блоке», то есть (локально).

Подводя итог: Автоматические переменные являются локальными для блока, в котором они объявлены.

Answer 3

@ mohit-jain является правильным.

Использование спецификатора неправильного формата дает неверную интерпретацию параметров в стеке, что приводит к неопределенному и специфичному для компилятора поведению.

Обратите внимание, что на современном компилятором, как GCC или звоном, он будет жаловаться, что ваша спецификация формата является неправильным:

$ clang test.c 
test.c:12:54: warning: format specifies type 'int' but the argument has type 'float' 
     [-Wformat] 
      printf(" x = %d, y = %d, z = %d \n", x, y, z); 
            ~~    ^
            %f 
1 warning generated.