Для чего нужен суффикс типа вещественной переменной

[Тимох]

Привет всем! Для чего нужен суффикс типа вещественной переменной?
В чем разница между объявлениями переменной с суффиксом и без:
float a=7.56F;
и
float a=7,56;

[Croessmah]

Сообщение от Тимох

Привет всем! Для чего нужен суффикс типа вещественной переменной?
В чем разница между объявлениями переменной с суффиксом и без:
float a=7.56F;
и
float a=7,56;

7.56 - литерал типа double
7.56f - литерал типа float

[Тимох]

То есть во втором случае происходит сначала преобразование типа, а потом присвоение переменной значения, а в первом - сразу присвоение значения? Следовательно в первом случае программа будет меньше памяти занимать и быстрее работать.

[_Bers]

Сообщение от Тимох

То есть во втором случае происходит сначала преобразование типа, а потом присвоение переменной значения, а в первом - сразу присвоение значения?

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


а вот во втором случае действительно формально должно произойти преобразование.

если рассмотреть случай по шагам,
то получится нечто вроде:

запись:

float a=7,56;

компилятор трансформирует:

float a = float(7,56);

что эквивалентно:

float a( float(7,56) );

обратите внимание:
переменная а создается путем запуска конструктора копии
от временного объекта,
который был создан от дабла.

и вот здесь умный компилятор догадывается,
что вся эта запись в конечном итоге эквивалентна:

float a(7,56);

и оптимизирует все преобразования.

переменная сразу инициализируется
усеченным до float значением 7.56

[Тимох]

Спасибо _Bers!

[Croessmah]

То есть во втором случае происходит сначала преобразование типа, а потом присвоение переменной значения, а в первом - сразу присвоение значения?

Здесь дело не столько в этом, сколько именно в различии типов.
Например, это может повлият на выбор перегруженной функции,
или на инстанс шаблона:

#include <iostream>
#include <type_traits>

template<typename T>
void foo(T)
{
    std::cout
        << (std::is_same<T, float>::value?"float":std::is_same<T, double>::value?"double":"other")
        << std::endl;
}



void bar(float)
{
    std::cout << "bar(float)" << std::endl;
}


void bar(double)
{
    std::cout << "bar(double)" << std::endl;
}




int main()
{
    foo(45.6);
    foo(45.6f);
    bar(12.3);
    bar(12.3f);
}

http://rextester.com/NGRK4143

[Тимох]

Спасибо Croessmah!