Различные объединения типов

Записи типов с вариантами.

Синтаксис: список полей есть выражение вида

L=N₁:T₁,…,N_m:T_m.

где N_i – список идентификаторов

T_i – произвольный тип, кроме файла.

record

L

end;

Общий синтаксис типа record:

record

L₀ {Знакомый нам синтаксис – общая часть записи. В любой переменной данного типа присутствуют поля из этого списка}

case S:T_s of

c₁:(L₁); Поле S типа T_s также присутствует во всех значениях типа.

...

c_m:(L_m); вариантная часть записи

end; S – селектор

end;

c₁,…,c_m – значения типа T_s

Предполагается, что в значении данного типа присутствуют лишь поля одного из списков L_i в зависимости от значения [N1] поля S.

* x.S=c_i»

x:record

L₀, S: T_s : L_i

end;

N₁ N₂ N₃

type

tInfo=record

case этоInteger:boolean of

true: (IntInfo:integer);

false: (CharInfo:char);

end;

end;

Условие * не проверяется автоматически.

x.этоInteger:=true;

write(x.CharInfo);

Примечание. Записи с вариантами хороши для объединения нескольких явно заданных типов, но не для описания всех типов, например, всех типов, обладающих каким-либо свойством.

Пример: невозможно параметрическое определение типа: stack of T.

Дата добавления: 2014-01-05