5. Преобразование типов

Если операнды бинарной операции имеют различные типы, один из них (более короткий, если оба операнда целого типа, менее точный, если оба операнда вещественного типа, или целого типа, если второй операнд вещественного типа) автоматически преобразуется к типу второго операнда.

Программист может явно указать требуемое ему преобразование типов, используя операцию приведения (преобразования) типа, которая может быть записана в одном из следующих форматов:

( новый_тип ) выражение

новый_тип ( выражение )

Первый из указанных форматов представляет запись приведения типа, унаследованную от языка 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.

6. Вычисление значения выражения

При вычислении значений выражений, содержащих более одной операции, учитываются приоритет операций и порядок их расположения в выражении.

В приведенной ниже таблице рассмотренные к настоящему моменту операции языка C++ приведены в порядке убывания приоритета. Операции с разными приоритетами разделены чертой.

Таблица 3. Приоритеты операций

Операция	Краткое описание	Порядок выполнения
::	разрешение области видимости имен
()	повышение приоритета	слева направо
Унарные операции: sizeof ~ ! - + ( тип) итип( ) ++арг --арг	определение размера поразрядное НЕ логическое НЕ изменение знака плюс преобразование типа префиксное инкрементирование префиксное декрементирование	справа налево
* / %	умножение деление остаток от деления	слева направо
+ -	сложение вычитание	слева направо
<< >>	сдвиг влево сдвиг вправо	слева направо
< <= > >=	меньше меньше или равно больше больше или равно	слева направо
== !=	равно не равно	слева направо
&	поразрядное И	слева направо
^	поразрядное исключающее ИЛИ	слева направо
|	поразрядное ИЛИ	слева направо
&&	логическое И	слева направо
||	логическое ИЛИ	слева направо
?:	условная тернарная операция	справа налево
= *= /= %= += -= <<= >>= &= |= ^=	присваивание умножение с присваиванием деление с присваиванием остаток от деления с присваиванием сложение с присваиванием вычитание с присваиванием сдвиг влево с присваиванием сдвиг вправо с присваиванием поразрядное И с присваиванием поразрядное ИЛИ с присваиванием поразрядное исключающее ИЛИ с присваиванием	справа налево
,	последовательность	слева направо

При вычислении значений выражений, содержащих операции с разным приоритетом, операции с более высоким приоритетом выполняются раньше. Например, в выражении

x = y + 5

вначале выполняется сложение, а затем присваивание, поскольку приоритет операции присваивания ниже приоритета операции сложения.

В выражении

a + b * c

сначала будет выполнено умножение bнаc, а затем сложениеaс полученным произведением. Изменять этот порядок можно при помощи скобок:

(a + b) * c

Теперь вначале выполнится суммирование aиb, а затем умножение полученной суммы наc.

Скобки могут быть вложенными, соответственно операции в самых внутренних скобках выполняются самыми первыми:

(a + (b * (c + d) ) – e)