Здравствуйте, Sinclair, Вы писали:

S>Здравствуйте, Сергей Губанов, Вы писали:

СГ>>

СГ>>TYPE
СГ>>  ValueType = RECORD
СГ>>    a: PointerType;
СГ>>    b: ReferenceType;
СГ>>  END;

СГ>>  ReferenceType = POINTER TO RECORD
СГ>>    a: PointerType;
СГ>>    b: ReferenceType;
СГ>>    c: ValueType;   
СГ>>  END;

СГ>>  PointerType = POINTER TO ValueType;
СГ>>

S>Из этого примера совершенно неясно, в чем семантическое отличие между PointerType и ReferenceType.

Например, если отдельно объявлен ValueType и PointerType, то, например, можно и два разных массива сделать массив значений (можно размещать на стеке) или массив указателей (динамическое размещение). А если объявлен только ReferenceType — то только с указателями можно работать, то есть только динамически размещать с помощью NEW, а на стеке нельзя.