Курсовая работа: Совместимость и преобразование типов данных

type

T1 = boolean;

T2 = T1;

T3 = boolean;

M1 = array [1..5] of integer;

M2 = array [1..5] of integer;

var

V1, V2 = array [1..10] of integer;

Так, типы Т1, Т2, Т3 и boolean – идентичны, а М1 и М2 – не идентичные типы, но тем не менее, переменные V1 и V2 – переменные идентичных типов.

Совместимость типов.

Совместимость типов требуется в выражениях (в том числе и в операциях отношения).

Два типа Т1 и Т2 идентичны в следующих случаях:

Т1 и Т2 – один и тот же тип или они идентичны;

Т1 и Т2 – вещественные типы;

Т1 и Т2 – целые типы;

Один тип – вещественный, а другой – целый;

Один тип представляет собой тип – диапазон другого;

Оба типа являются типами – диапазонами какого-то одного типа;

Оба типа являются типами – множествами с совместимыми базовыми типами;

Один тип является строкой, а другой – символом или строкой.

Совместимость для присваивания.

Эта совместимость необходима, когда значение какого-то выражения присваивается переменной, типизированной константе или функции. Если значение объекта типа Т2 присваивается объекту типа Т1, то это возможно в следующих случаях:

Т1 и Т2 – идентичные типы и не являются файловыми типами или структурированными типами, содержащими компоненты файлового типа на любом уровне структурированности;

Т1 и Т2 – совместимые порядковые типы и значение типа Т2 находится в границах возможных значений объекта типа Т1;

Т1 и Т2 – вещественные типы и значение типа Т2 находится в границах возможных значений объекта типа Т1;

Т1 – вещественный тип, а Т2 – целый;

Т1 и Т2 – строки;

Т1 – строка, а Т2 – символ;

Т1 и Т2 – совместимые типы – множества и все компоненты значения типа Т2 находятся в множестве Т1.