Множества. Множества представляют собой структурированный тип данных

Множества представляют собой структурированный тип данных. Множества – это наборы однотипных логически связанных друг с другом объектов (элементов или членов).

Использование в программе множеств даёт следующие преимущества: упрощаются сложные операторы if, увеличивается степень наглядности программы и понимания алгоритмов решения задачи, экономится память, время компиляции и выполнения.

Одной из причин редкого применения является очень низкая скорость выполнения операций с множествами.

Множество должно состоять из элементов одного и того же базового типа. Базовый тип определяет перечень всех элементов, которые могут содержаться в данном множестве. В качестве базового типа может выступать простой базовый порядковый тип (например, char), кроме word, integer, longint.

Элементами множества Паскаля не могут быть вещественные числа (real не относятся к классу порядковых типов), стринги (string - это не простой тип).

Размер множества в Паскале всегда ограничен некоторым предельно допустимым количеством элементов. Величина предела зависит от конкретного компилятора. Для большинства реализаций языка предельное значение элементов множества 256 (это универсальное множество). Данная характеристика называется мощностью множества. Итак, количество элементов, входящих во множество, может меняться от 0 до 256.

Если рассматривается множество целых чисел, то его базовым типом не может быть integer, так как полное количество всех значений типа integer превышает 256 (-32768..+32767). В этом случае базовым типом может быть отрезок 0..255, 9..50 и т. п. Отрицательные числа в Паскале как элементы множества недопустимы. 256 – универсальное множество.

Для задания множества используется следующий конструктор множества: список спецификаций элементов множества, отделяемых друг от друга запятыми; список обрамляется квадратными скобками [].

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

Например, множества [2, 2, 4, 6] и [2, 4, 6] одинаковы.