Почему выводится ноль при использовании несоответствующего спецификатора в printf()?

Question

[unit_911]

int i = 342;
printf("result = %f", i);

Выводит

result = 0.000000

Хотя немного измененный код

int i = 342;
float f = i;
printf("result = %f", f);

Выводит верную строку

result = 342.000000

Почему приведение типов в функции printf() работает некорректно? Ясно, что использовать спецификатор, несоответсвующий типу данных, нежелательно, но почему значение все же интерпретируется неправильно?
P.S. Да, это не С++, но непонятно, как прикрепить тег С к вопросу.

Answer 1

[Rsa97]

Потому что в функции printf вообще нет приведения типов.
Она просто берёт переданные данные и трактует их согласно спецификации формата.
То есть, в вашем случае выполняется не (float)i, а *((float *)&i).

If any argument after default argument promotions is not the type expected by the corresponding conversion specifier, or if there are fewer arguments than required by format, the behavior is undefined.

Comments

[Евгений Шатунов]

*((float *)&i) - что есть UB. [?]

The purpose of strict aliasing and related rules is to enable type-based alias analysis, which would be decimated if a program can validly create a situation where two pointers to unrelated types (e.g., an int* and a float*) could simultaneously exist and both can be used to load or store the same memory (see this email on SG12 reflector). Thus, any technique that is seemingly capable of creating such a situation necessarily invokes undefined behavior.

То есть, в вашем случае выполняется не (float)i, а *((float *)&i).

Точно ли так работает printf? Давай вот вместе припомним, какое поведение у va_list?

[15432]

Евгений Шатунов, А разве не так? Аргументы printf в виде слов кидаются на стек по порядку, а потом в процессе печати извлекаются оттуда и интерпретируются согласно форматной строке. В данном случае на стек закинется int, который затем будет интерпретирован как float. И да, это undefined behaviour, кто ж спорит.

[jcmvbkbc]

Аргументы printf в виде слов кидаются на стек по порядку

15432, В каком-то ABI кидаются на стек, в каком-то суются в регистры.

И да, это undefined behaviour, кто ж спорит.

Описанное действие само по себе не является undefined behavior -- всё дело в том, как именно его производить.

[Евгений Шатунов]

15432, поведение va_list отдано на откуп разработчикам трансляторов. Однако, важно помнить правила перегрузки функций и соглашение о вызовах - у перегрузки с ... наименьший приоритет и такая перегрузка не является обобщенной или шаблонной.
На деле ... обозначает просто еще один параметр, общение с которым возможно только через фасад va_list.
В C++ имеются правила формирования содержимого этого параметра. Там же описаны и ограничения типов, экземпляры которых допускается передавать как вариативные аргументы.

Однако, будет важно заметить, что указание неверного формата для printf - это и есть UB.

If any argument after default argument promotions is not the type expected by the corresponding conversion specifier, or if there are fewer arguments than required by format, the behavior is undefined.

Я про это забыл.

Rsa97 , если дополнишь свой ответ этой цитатой из документации printf, будет здорово.