Тождественность типов
Тождественность типов требуется только для переменных факти- ческих и формальных параметров при вызове процедур и функций.
Два типа, скажем T1 и T2, являются тождественными, если яв- ляется истинным одно из следующих утверждений: T1 и T2 представ- ляю собой один и тот же идентификатор типа; T1 описан как эквива- лентный типу, тождественному T2.
Второе условие означает, что T1 не обязательно должен быть описан как непосредственно эквивалентный T2. Следующие описания типов:
T1 = integer; T2 = T1; T3 = integer; T4 = T2;
означают, что T1, T2, T3, T4 и integer являются тождественными типами. Следующие описания типов:
T5 = set of integer; T6 = set of integer;
не определяют T5 и T6 как тождественные, поскольку set of integer не является идентификатором типа. Две переменные, описанные в од- ном и том же описании, например:
V1, V2: set of integer;
имеют тождественные типы, поскольку их описания не раздельны. Описания:
V1: set of integer; V2: set of integer; V3: integer; V4: integer;
означают, что V3 и V4 имеют тождественный тип, а V1 и V2 - нет.