Совместимость типов. Приведение и преобразование типов

Языки программирования со строгой типизацией построены на основе соблюдения концепции типов, в соответствии с которой все операции, определенные в языке, могут применяться только к операндам совместимых типов. Два типа считаются совместимыми, если:

оба ини есть один и тот же тип;

оба вещественные;

оба целые;

один тип есть тип-диапазон второго типа;

оба являются типами-диапазонами одного и того же базового типа;

оба являются множествами, составленными из элементов одного и того же базового типа;

один тип – есть тип-строка, а другой – тип-строка или символ;

один тип есть любой указатель, а другой – нетипизированный указатель;

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

Два объекта совместимы по представлению, если размеры их элементов хранения равны. Объекты совместимы по присваиванию, если в элемент хранения объекта одного типа может быть занесено значение элемента хранения другого объекта или значение выражения. Совместимость по присваиванию реализуется через приведение и преобразование типов.

Приведение типа возможно только для объектов, совместимых по представлению. Приведение типа состоит в следующем: определяя тип объекта, мы определяем представление (структуру) элемента хранения объекта данного типа. Но если “взглянуть” на образ объекта в памяти с точки зрения машинного представления другого типа, то можно трактовать тот же самый элемент хранения как принадлежащий другому типу. Для этого используются функции приведения типов:

Функция приведения: