Информатика_140800 / 2011-2012-учебный год / 2_семестр / Сам_изучение / Неявные преобразования типов языка си

Неявные преобразования

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

При этом:

char может быть преобразован в int, short int, long int.

int в – char, short int, long int (преобразование к целому большей длины включает расширение знакового разряда, преобразование к целому меньшей длины вызывает отбрасывание лишних старших разрядов). Также в float, double.

short – аналогичен типу int.

long – аналогичен типу int.

float – double, также int, short, long (машинно-зависимое преобразование, если преобразуемое значение слишком велико, то результат не определен).

double – float, а также int, short, long также как и float.

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

В арифметических операциях. Арифметические операторы в языке СИ преобразуют операнды к соответствующим типам автоматически, если операнды не имели таких типов с самого начала. Схема преобразования называется обычными арифметическими преобразованиями. Она может быть описана следующими правилами:

• Операнды типов char и short преобразуется к типу int, операнды типа float преобразуется к типу double.

• Если хотя бы один из операндов имеет тип double, то и другой операнд преобразуется к типу double, результат имеет тип double.

• Если хотя бы один операнд имеет тип long, то и другой операнд преобразуется к типу long, результат имеет тип long.

• Если хотя бы один операнд имеет тип unsigned, то и другой операнд преобразуется к типу unsigned, результат имеет тип unsigned.

• Если ни один из случаев перечисленных выше не имеет место, то оба операнда должны иметь тип int, такой же тип будет и у результата.

Преобразования при вызове функции. Преобразования, выполняемые над аргументами при вызове функции, зависят от того, был ли задан прототип функции (объявление "вперед") со списком объявлений типов аргументов.

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