Множества

Понятие множества в языке Object Pascal основывается на математическом представлении о множествах - это ограниченная совокупность различных элементов.

Во множестве нет понятия порядка элементов. Элемент множества может присутствовать или отсутствовать во множестве. Поэтому в памяти ЭВМ каждый элемент множества представляется одним битом. Количество байт памяти занимаемое множеством определяется N div 8 +1, где N – количество элементов в множестве.

Для построения конкретного множественного типа используются порядковые типы данных. Тип элементов, составляющих множество, называется базовым типом. Множество может содержать не более 256 элементов.

Множество описывается в разделе описания типов:

Type

<имя_типа>=set of <знач>|<имя_ст_типа>

<знач> - значение интервального типа.

<имя_ст_типа> - имя стандартного порядкового типа -byte,char,Boolean или интервального типа.

Константы множественного типа записываются в виде заключенной в квадратные скобки последовательности элементов или интервалов базового типа, разделенных запятыми, например:

['A', 'C'] [0, 2, 7] [3, 7, 11..14]

Константа [] означает пустое подмножество.

Порядок перечисления элементов базового типа в константах безразличен.

Множество включает в себя набор элементов базового типа, все подмножества данного множества, а также пустое подмножество. Если базовый тип, на котором строится множество, имеет К элементов, то число подмножеств, входящих в это множество, равно 2^К.

Например:

var T: Set of 1..3;

T может принимать восемь различных значений:

[ ] [1,2]

[1] [1,3]

[2] [2,3]

[3] [1,2,3]

К переменным и константам множественного типа применимы операции присваивания(:=), объединения(+), пересечения(*), вычитания(-).

Результат выполнения этих операций есть величина множественного типа.

Пример:

['A','B'] + ['A','D'] даст ['A','B','D']

['A'] * ['A','B','C'] даст ['A']

['A','B','C'] - ['A','B'] даст ['C'].

К переменным и константам множественного типа применимы операции: тождественность (=), нетождественность (<>), содержится в (<=), содержит (>=). Результат выполнения этих операций имеет логический тип, например:

['A','B'] = ['A','C'] даст FALSE

['A','B'] <> ['A','C'] даст TRUE

['B'] <= ['B','C'] даст TRUE

['C','D'] >= ['A'] даст FALSE.

Для работы множеством может использоваться операция in проверяющая принадлежность элемента базового типа, стоящего слева от знака операции, множеству, стоящему справа от знака операции. Результат выполнения этой операции логического типа. Например:

'A' in ['A', 'B'] даст TRUE,

2 in [1, 3, 6] даст FALSE.

Запись

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

Запись описывается в разделе объявления типов или в разделе объявления переменных. В первом случае запись можно использовать в качестве типа параметров подпрограмм и типа результата функции.

Структура:

type

<имя_типа>=record

<имя_поля>[,…]:<тип_поля>;

[…]

[case [<имя_поля1>:]<тип_поля1>]

[<знач>:(<имя_поля2>[,…]:<тип_поля2>[;…])]

[…]

end;

Обращение к записи в целом допускается только в операторах присваивания, где слева и справа от знака присваивания используются имена записей одинакового типа. Во всех остальных случаях оперируют отдельными полями записей. Чтобы обратиться к отдельной компоненте записи, используют составное имя: <имя_перем_зап>.<имя_поля>

Обращение к компонентам записей можно упростить, при помощи оператора присоединения with.

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

Структура: with <имя_перем_зап> do <опер>

Оператор <опер> представляет собой область действия оператора присоединения, в пределах которой можно не использовать составные имена для записи <имя_перем_зап>.

Иногда содержимое отдельной записи может зависеть от значения одного из ее полей. В языке Object Pascal допускается описание записи, состоящей из общей и вариантной частей.

Общая часть задается:

<имя_поля1> - имя общего поля. Возможные значения, принимаемые этим полем, перечисляются так же, как и в операторе варианта. Однако вместо указания выполняемого действия, как это делается в операторе варианта, указываются поля варианта, заключенные в круглые скобки.

<тип_поля1> - порядковый тип общего поля определяющий тип <знач>.

Каждое поле вариантная часть задается после соответствующего <знач>.

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

Примеры:

type

TPerson = record

FirstName, LastName: string[40];

BirthDate: TDate;

case Citizen: Boolean of

True: (Birthplace: string[40]);

False: (Country: string[20];

EntryDate, ExitDate: TDate);

end;

type

TShapeList = (Point,Rectangle, Circle);

TFigure = record

x,y:real;

case TShapeList of

Point:();

Rectangle: (Height, Width: Real);

Circle: (Radius: Real);

end;