При выполнении операций могут встречаться операнды различных типов. В этом случае они преобразуются к общему типу в соответствии с небольшим набором правил.
Типы операндов преобразуются в порядке увеличения их "размера памяти", т.е. объема памяти, необходимого для хранения их значений. Поэтому можно говорить, что неявные преобразования всегда идут от "меньших" объектов к "большим". Схема выполнения преобразований операндов арифметических операций:
short, char ® int ® unsigned ® long ® double
float ® double
Горизонтальные стрелки отмечают преобразования даже однотипных операндов перед выполнением операции, т.е. действуют следующие правила:
- значения типов char и short всегда преобразуются в int;
- если любой из операндов (a или b) имеет тип double, то второй преобразуется в double;
- если один из операндов long, то другой преобразуется в long.
Внимание: результатом 1/3 будет «0», чтобы избежать такого рода ошибок необходимо явно изменять тип хотя бы одного операнда, т.е. записывать, например: 1. / 3.
Типы char и int могут свободно смешиваться в арифметических выражениях. Каждая переменная типа char автоматически преобразуется в int. Это обеспечивает значительную гибкость при проведении определенных преобразований символов.
При присваивании значение правой части преобразуется к типу левой, который и является типом результата. И здесь необходимо быть внимательным, так как при некорректном использовании операций присваивания могут возникнуть неконтролируемые ошибки. Так, при преобразовании int в char старший байт просто отбрасывается.
Если объявлены: float x; int i; то как x=i; так и i=x; приводят к преобразованиям. При этом float преобразуется в int отбрасыванием дробной части.
Тип double преобразуется во float округлением.
Длинное целое преобразуется в более короткое целое и переменные типа char посредством отбрасывания лишних битов более высокого порядка.
При передаче данных функциям также происходит преобразование типов: в частности, char становится int, а float - double.