Вопрос по printf

[Syuf]

Собственно, возник вопрос: почему работает следующий код:

#include <cstdio>

using namespace std;


int main()
{
	printf("%f %lf %Lf", 2.3, 2.3L, 2.3f);

	return 0;
}

Если я не ошибаюсь, %f означает float, %lf означает double, %Lf означает long double; и аргументы в данном вызове не соответствуют ожидаемым, число float в памяти представляется совсем иначе, чем double, даже выравнивание не должно бы спасти этого кода. Тем не менее вывод верен. В чем секрет? MSVS2008, Windows 7.

[f.hump]

предпололагаю, что связано это с такой фичей С++ как type promotion.
все аргументы вашего примера передаются в функцию как double. ну, а потом фукция пытается провести преобразование над double согласно формату, который вы прописали.

[Syuf]

все аргументы вашего примера передаются в функцию как double

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

[Пепел Феникса]

однако может быть проверка типов на соответствие заданым аргументам, все таки это встроенная функция.

[Syuf]

Пепел Феникса, то есть просто надстройка компилятора?

[Syuf]

Some other variants?

[netrino]

Сообщение от Syuf

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

Тем не менее, оно происходит. C++ преобразует float в double (также как и char, short, wchar_t, bool... в int), а тип long double в MSVS представлен типом double (то есть бинарно они одинаковы) и потому 2.3L тоже интерпретируется как double.
http://en.wikipedia.org/wiki/Type_co...Type_promotion

[Syuf]

netrino, то есть в функцию передается double и внутри нее нет ни одного намека на то что этот аргумент был float? Т.е. аргумент float через многоточие передать невозможно?

[f.hump]

возможно, зависит от компилятора.

хотите узнать как оно на самом деле прогоните ваш printf в дизасемблере, посмотрите какими кусками процедура снимает данные со стека, или регистров, или оттуда где они лежат, и что потом с этими данными происходит.

[Syuf]

хотите узнать как оно на самом деле прогоните ваш printf в дизасемблере, посмотрите какими кусками процедура снимает данные со стека, или регистров, или оттуда где они лежат, и что потом с этими данными происходит.

Хочу, но не так сильно. В общем, спасибо всем за ответы.