top of page

Эквивалентность и совместимость типов

Эквивалентность типов

В языке программирования Паскаль строго определено, какие типы описывают идентичные множества значений (т.е эквивалентны). В языке принят принцип именной эквивалентности типов, устанавливающий, что два типа T1 и T2 эквивалентны, если выполняется одно из следующих условий.

  • T1 и T2 — одно и то же имя типа.

  • Тип T2 описан с использованием типа T1 равенством вида type T2=T1; или последовательностью подобного вида равенств. Например:

  1. type

  2.     T1=integer;

  3.     T3=T1;

  4.     T2=T3;

 

Так, несмотря на абсолютную идентичность, приведенные ниже типы не являются эквивалентными.

 

  1. type 

  2.    tp1=array[1..10] of real;

  3.        tp2=array[1..10] of real; 

 

Если переменные описаны совместно, то они обладают эквивалентными типами. Например:

  1. var

  2.     v1, v2: tp1;

 

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

Одним из требований в языке программирования Pascal является следующее: в выражениях (в том числе при сравнении) должны использоваться операнды с совместимыми типами. Типы совместимы, если выполняется хотя бы одно из условий.

  • Оба типа эквивалентны.

  • Оба типа целые.

  • Оба типа вещественные.

  • Один из типов имеет интервальный тип, а другой тип является для него базовым:

 

 

  1. type

  2.     tp1=integer;

  3.     tp2=-1..1000;

 

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

 

 

  1. type

  2.     tp1='a'..'z'; tp2='a'..'f';

 

  • Один тип строковый, а второй — либо строковый, либо символьный, либо упакованный символьный массив.

  • Оба типа — упакованные символьные массивы с одинаковым числом элементов.

  • Оба типа множественные с совместимыми базовыми типами:

 

 

  1. type

  2.     tp1=set of byte;

  3.     tp2=set of 1..100;

 

  • Один тип является ссылочным, а второй — либо ссылочный, либо бестиповый указатель.

  • Оба типа — это процедурные типы с одним и тем же числом параметров, причем типы параметров должны быть эквивалентными (в соответствии с их порядком следования), а для функциональных типов также должны быть эквивалентными типы результатов.

 

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

 

Кроме понятий эквивалентности и совместимости типов в Pascal введено понятие совместимости по присваиванию.

 

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

  • Оба типа эквивалентны, но ни один из них не является файловым типом или сложным типом, использующим файловый тип.

  • Оба типа — совместимые дискретные типы, и текущее значение типа t2 попадает в диапазон возможных значений типа t1.

  • Оба типа вещественные, и текущее значение типа t2 попадает в диапазон возможных значений типа t1.

  • Тип левой части вещественный, а тип правой части — целый.

  • Тип t1 является строковым, а t2 — либо строковый, либо символьный, либо упакованный символьный массив.

  • Оба типа представляют собой упакованные символьные массивы.

  • Оба типа — совместимые множественные типы, причем множество из правой части целиком входит во множество, указанное в левой части.

  • Оба множества — совместимые ссылочные типы.

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

  • Оба типа являются объектными, причем тип t2 является потомком типа t1.

  • Оба типа - ссылочные типы на совместимые объектные типы.

 

 

bottom of page