Автоматическое преобразование типов

Правила выполнения автоматических преобразований типов таковы, что обычно не приводят к потере информации. Дело в том, что при их использовании операнды с меньшим диапазоном значений преобразуются в операнды с большим диапазоном значений, как, например, преобразование целого числа в вещественное число в выражении 2 + 5.3.

При выполнении автоматических преобразований типов все арифметические типы разделены на две категории:

● Короткие типы

● Длинные типы.

В основу этой классификации положен размер памяти, которую занимают данные.

К коротким типам относятся следующие типы:

▪ char,

▪ signed char,

▪ unsigned char,

▪ short,

▪ unsigned short.

Для всех коротких типов при преобразованиях типов вначале выполняется операция, которая называется целочисленным повышением: все короткие типы преобразуются к типу int. Для этого правила имеется одно уточнение. Тип unsigned short преобразуется в тип int только в том случае, когда этот тип (int) достаточен для представления всего диапазона значений типа unsigned short (обычно это имеет место в тех системах, где для представления данных типа short отводится половина машинного слова и полное слово – для данных типа int). В последнем случае тип unsigned short преобразуется в unsigned int. Рассмотрим программный код, приведенный ниже:

#include<stdio.h>
#include<conio.h>

int main(void)
{
short n = 5;
char ch = ‘A’;
printf(“n + ch = %d sizeof(n + ch)=\n”, n + ch,
sizeof(n + ch));
getch();
return 0;
}

В вызове функции printf() вычисляется значение выражения n + ch и размер памяти, который занимает результат вычисления этого значения. При выполнении этой программы в среде Builder v. 6 на экране дисплея получен следующий результат:

n + ch = 70 sizeof(n + ch)=4

Значение переменной ch, преобразованное к типу int, будет равно 65. Сложение этого числа со значением переменной n и дает в качестве результата вычисления выражения n + ch число 70. Завершающая часть вывода (sizeof(n + ch) = 4) может рассматриваться как доказательство того положения, что вычисления действительно выполнялись с операндами, преобразованными к типу int.

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

● long double,

● double,

● float,

● unsigned long long,

● long long,

● unsigned long,

● long,

● unsigned,

● int.

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

Из этого правила существует одно исключение. Если один из операндов имеет тип long, а второй - unsigned, причем не все значения unsigned int могут быть представлены типом long, то оба операнда преобразуются к типу unsigned long.

Дата добавления: 2014-01-06