Почему float по умолчанию инициализируется как double?

Question

[Имя]

Прочёл о том что при объявлении переменной типа float, значение в ней хранится как double, а для того чтобы задать тип хранения как float мы используем букву f.
Почему это так? Ведь float это тип меньший чем double. То есть double занимает 8 байт(минимум), а float 4 байта(минимум), то есть мы храним число в типе большего представления, в переменной меньшего размера.

Comments

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

Герман

Прочёл о том что при объявлении переменной типа float, значение в ней хранится как double, а для того чтобы задать тип хранения как float мы используем букву f.

Покажи пожалуйста источник, где ты это прочел именно в такой подаче.

[Имя]

Евгений Шатунов, тут: https://ravesli.com/urok-33-tip-dannyh-s-plavayush...
Перед экспоненциальной записью написано.

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

Герман , это, выходит, ты так понял следующие слова?

Обратите внимание, что литералы типа с плавающей запятой по умолчанию относятся к типу double. Суффикс f используется для обозначения литерала типа float.

Так ты их полностью неправильно понял.

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

[Имя]

Евгений Шатунов, тогда для чего он нужен?
f приводит литерал к типу float, верно? Если да, то получается, что мы можем использовать сразу float, а не запихивать в double число с f.

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

Герман

тогда для чего он нужен?

template< typename TArgument >
void foo( const TArgument argument );

Если у тебя на руках только литерал с плавающей точкой, то как ты сделаешь вызов функции foo<float>( ... ); не указывая тип аргумента явно?

Если да, то получается, что мы можем использовать сразу float, а не запихивать в double число с f.

Я не могу понять это предложение. Ни кто никуда ничего не запихивает.

[res2001]

Герман, Можно и не использовать суффиксы (компилятор преобразует во float сам), но тогда при компиляции можете получить предупреждение о потере значимости (при определенных опциях компиляции).
В переменной типа float не может храниться double. В случае подобной операции double преобразуется во float с потерей значимости. Преобразовать можно явно или не явно. Указывая суффикс вы явно говорите компилятору, что это константа типа float. Кроме того, что суффиксы избавляют от лишних предупреждений, это еще и хороший тон.

[Имя]

res2001, вот, теперь всё ясно, мерси.