9. Совместимость и преобразование типов данных
Когда в тех или иных операциях или операторах присутствуют данные, относящиеся к различным типам, возникает вопрос о соответствии типов. В связи с этим говорят об идентичности типов, совместимости типов и совместимости типов для присваивания. Когда возникают проблемы с соответствием типов данных, можно осуществить преобразование тех или иных типов. Эти вопросы и будут рассмотрены в данном разделе.
9.1. Идентичность типов
Идентичность типов требуется от формальных параметров процедур и функций и соответствующих им фактических параметров во время вызова.
Два типа Т1 и Т2 идентичны в следующих случаях:
- Т1 и Т2 - один и тот же идентификатор типа (например, Integer, Real и т. д.);
- один тип объявляется эквивалентным другому.
Пример.
type
T1 = Boolean;
Т2 = Т1;
ТЗ = Boolean;
Все типы T1, T2, ТЗ и Boolean - идентичные типы.
type
M1 = array[1..5] of Integer;
M2 = array[1..5] of Integer;
Типы Ml и М2 - не идентичные типы. Однако VI и V2 - переменны идентичных типов:
var
V1, V2: array[1..5] of Integer;
| 
