Руководство по языку B.Pascal 7

       

Тождественность типов


Тождественность типов требуется только для переменных факти- ческих и формальных параметров при вызове процедур и функций.

Два типа, скажем 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 - нет.



Содержание раздела







Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий