Составные типы данных в D Pascal

16. Составные типы данных в D Pascal

Эта глава описывает три механизма создания составных значений в Паскале: множества, файлы и записи. Предлагается ограниченная версия множеств. Файлы расширяют текстовые фалы CF Pascal до фалов иных, чем CHAR типов. Записи предлагают механизм группировки для любого конечного набора типов.

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

<новый тип> ::= <новый порядковый тип> | <составной тип>

<составной тип> ::= <структурированный тип>

<структурированный тип> ::= SET OF <базовый тип>

| FILE OF <тип компонентов>

| RECORD <список полей> END

<базовый тип> ::= <порядковый тип>

<порядковый тип> ::= <новый порядковый тип> | <идентификатор порядкового типа>

<идентификатор порядкового типа> ::= <идентификатор типа>

<тип компонентов> ::= <описатель типа>

Множества, файлы и записи хранят компонентные типы разными способами. Множества и файловые типы хранят компоненты одинаковых типов, а записи – разных. Типы множеств и записей хранят компоненты без учета порядка, тогда как файловые типы образуют последовательности компонентов. Любой компонент записи может быть произвольно выбран, доступ к компонентам файла осуществляется последовательно. Для множеств операция выбора не определена.

12 3 4 Следующая ⇒