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

       

Тождественные и совместимые типы


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



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