Если операнды бинарной операции имеют различные типы, один из них (более короткий, если оба операнда целого типа, менее точный, если оба операнда вещественного типа, или целого типа, если второй операнд вещественного типа) автоматически преобразуется к типу второго операнда.
Программист может явно указать требуемое ему преобразование типов, используя операцию приведения (преобразования) типа, которая может быть записана в одном из следующих форматов:
( новый_тип ) выражение
новый_тип ( выражение )
Первый из указанных форматов представляет запись приведения типа, унаследованную от языка C, второй является “нововведением” языка C++.
Пример:
int m=2, n;
float f;
double p;
. . . //
n = (int)f; // запись в стиле языка C
p = double(m) + f; // запись в стиле языка C++
cout << m << ' ' << n << ' ' << f << ' ' << p << endl;
В данном примере при вычислении нового значения n используется преобразованное к целому типу int (за счет отсечения дробной части) значение переменной f (при этом, естественно, сама переменная f ни своего типа, ни значения не изменяет), а при вычислении нового значения p значение переменной m преобразуется к вещественному типу double. Если к моменту преобразования типов значением переменной f будет, скажем, 6.8, то результатом выполнения кода примера будет
2 6 6.8 8.8
если переменная f к моменту преобразования будет иметь отрицательное значение, например, -6.8, выводимая строка будет такой:
2 -6 -6.8 4.8
Операция приведения типа является унарной операцией, ее операнд – преобразуемое выражение, результат – представление данного выражения в требуемой внутренней форме. Приоритет операции приведения типа такой же, как у других унарных операций. Поэтому в результате выполнения фрагмента программы
int a=5;
cout << a/2 << ' ' << (double)a/2 << endl;
на экран выведутся два разных значения, а именно 2 и 2.5.