Повышение аргумента с плавающей запятой до удвоения в функциях с переменным числом значений

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

Продвижение аргумента с переменным числом аргументов

Да, согласно стандартам C99 и C, аргументы с плавающей запятой передаются в переменное число аргументов. функции повышаются вдвое.

Стандарт Спецификации

• C99 (раздел 6.5.2.2): "аргументы типа float повышаются до двойного."
• C ( раздел 5.2.2): «тип с плавающей запятой... преобразуется в расширенный тип перед call."
• C (раздел 4.6): "Значение prvalue типа float может быть преобразовано в prvalue типа double. Значение не изменяется."

cppreference для преобразований переменных функций

cppreference предоставляет сводку преобразований по умолчанию для вариативные функции в C :

• std::nullptr_t to void*
• Аргументы с плавающей запятой до двойного значения
• Целочисленное продвижение для bool, char, short и перечислений

Происхождение Продвижение

Это продвижение было введено в C для совместимости со стандартом K&R C, несмотря на его потенциальные недостатки. Как говорится в обосновании C:

«Для совместимости с прошлой практикой все повышения аргументов происходят, как описано в K&R, при отсутствии объявления прототипа, включая не всегда желательное повышение числа с плавающей точкой до двойного».