Строки

Строки (строковые типы) представлены тремя физическими (табл. 2.4) и одним общим типами.

Таблица 2.4. Физические строковые типы

 Тип Shortstring представляет собой строку, которая фактически является массивом из 256 элементов - array [0 .. 255]. Нулевой байт этого массива (строки) указывает длину строки. В ранних версиях языка подобная строка обозначалась типом string, тип shortstring введен в Object Pascal для обеспечения совместимости с этими версиями.

Типы Ansistring и WideString представляют собой динамические массивы, максимальная длина которых фактически ограничена размером основной памяти компьютера. В типе Ansistring символы кодируются в коде ANSJ, а в типе WideString - в коде Unicode.

Общим типом является тип string, который может соответствовать как типу Shortstring, так и типу Ansistring, что определяется директивой компилятора $н. По умолчанию используется {$н+}, и тип string равен типу Ansistring. В файле параметров проекта знак "+" директивы (а также других директив) соответствует записи н=1, а знак "-" - записи н=о. Разработчик обычно управляет интерпретацией типа string через окно параметров проекта, включая или отключая флажок Huge strings (Большие строки).

Так как строки фактически являются массивами символов, то для обращения к отдельному символу строки достаточно указать название строковой переменной и номер (позицию) этого символа в квадратных скобках, например, strName[l].

Кроме рассмотренных, в языке имеется еще тип pchar, представляющий так называемую строку с нулевым окончанием - в ее конце стоит код #о. Максимальная длина этой строки ограничена размером основной памяти компьютера.

Массивы

Массивом называется упорядоченная индексированная совокупность однотипных элементов, имеющих общее имя. Элементами массива могут быть данные различных типов, включая структурированные. Каждый элемент массива однозначно определяется именем массива и индексом (номером этого элемента в массиве) или индексами, если массив многомерный. Для обращения к отдельному элементу массива указывается имя этого массива и номер (номера) элемента, заключенный в квадратные скобки, например, аrrl[З, 35], arrl[3] (35] или аrrl[7).

Количество индексных позиций определяет размерность массива (одномерный, двумерный и т. д.), при этом размерность не ограничивается. В математике аналогом одномерного массива является вектор, а двумерного - матрица. Индексы элементов массива должны принадлежать порядковому типу. Разные индексы одного и того же массива могут иметь различные типы. Наиболее часто типом индекса является целочисленный.

Различают массивы статические и динамические. Статический массив представляет собой массив, границы индексов и, соответственно, размеры которого задаются при объявлении, т. е. они известны еще до компиляции программы. Формат описания типа статического массива: Array [Тип индексов) of <Тип элементов>;

Например,

Переменные arrl и arr2 являются двумерными массивами по юоо элементов - ю строк и юо столбцов. Каждый элемент этих массивов представляет собой число типа real. Для объявления массивов arrl и агг2 введен специальный тип tm. Переменные аггЗ и агг4 являются одномерными массивами длиной в 81 символ и 26 целых чисел, соответственно.

Динамический массив представляет собой массив, для которого при объявлении указывается только тип его элементов, а размер массива определяется при выполнении программы. В Delphi использование динамических массивов стало возможным, начиная с версии 4. Формат описания типа динамического массива:

Array of <Тип элементов>;

Задание размера динамического массива во время выполнения программы производится Процедурой SetLength {var S; NewLength: Integer), которая для динамического массива s устанавливает новый размер, равный NewLength. Выполнять операции с динамическим массивом и его элементами можно только после задания размеров этого массива.

После задания размера динамического массива для определения его длины, а также минимального и максимального номеров элементов используются функции Length о, Low() и High о, соответственно. Нумерация элементов динамического массива начинается с нуля, поэтому функция LOW о для него всегда возвращает значение 0.

Приведем пример использования динамического массива.

Здесь после описания динамического массива, состоящего из вещественных чисел, определяется его размер, равный ста. Каждому элементу присваивается значение, равное номеру этого элемента в массиве. Так как нумерация элементов массива начинается с нуля, то номер последнего из них равен не 100, а 99. После завершения цикла размер массива увеличивается до двухсот.

Для описания типа многомерного динамического массива, например двумерного, используется конструкция

Array of Array of <Тип элементов>;

Для многомерного, в частности двумерного, динамического массива установка новых размеров с помощью Процедуры SetLength (var S; NewLengthl, NewLength2: Tnteger) выполняется для каждого индекса.

Действия над массивом, в том числе и операции ввода/вывода, обычно производятся поэлементно. Поэлементная обработка массивов происходит, как правило, с помощью циклов. Массив в целом, т. с. как единый объект, может участвовать только в операциях отношения и в операторе присваивания, причем массивы должны быть полностью идентичными по структуре, т. е. иметь одинаковые типы индексов и одинаковые типы элементов.

Множества

Множество представляет собой совокупность элементов, выбранных из за­ранее определенного набора значений. Все элементы множества принадле­жат одному порядковому типу, число элементов в множестве не может пре­вышать 256. Формат описания множественного типа:

Set of <Тип злементов>;

Переменная множественного типа может содержать любое количество эле­ментов своего множества — от нуля до максимального. Значения множест­венного типа заключаются в квадратные скобки. Пустое множество обозна­чается как [].

Операции, допустимые над множествами, приведены в таблице:

Кроме того, имеется операция in (проверка членства), которая определяет принадлежность выражения порядкового типа (первого операнда) множест­ву (второму операнду). Результат операции имеет тип boolean и значение True в случае, если значение принадлежит множеству.

Пример использования множеств:

Здесь определяется множественный тип MonhtDays и объявляются две пере­менные color и Day множественного типа, над которыми выполняются опе­рации объединения и вычитания. В четвертом операторе присваивания к множеству Color повторно добавляется значение Black. Такое присваивание корректно, однако значение множества при этом не изменяется. В шестом операторе присваивания из пустого множества Day вычитается элемент, в результате выполнения этого оператора значение множества также не из­меняется.

В Delphi множественые типы используются, например, для описания типа кнопок в заголовке окна TBordericons или типа параметров фильтра TFiltecOptions:

type TBorderlcon = (biSystemMenu, biMinimize, biMaximize, biHelp);

TBorderlcons = set of TBorderlcon;

type TFilterOption = (foCaselnsensitive, foNoPartialCompare);

TFilterOptions = set of TFilterOption;

Приведенные описания типов содержатся в исходных модулях Forms и Db, соответственно.

Записи

Записи объединяют фиксированное число элементов данных других типов. Отдельные элементы записи имеют имена и называются полями. Имя поля должно быть уникальным в пределах записи. Различают фиксированные и вариантные записи. Фиксированная запись состоит из конечного числа по­лей, ее объявление имеет формат:

Файлы 

Файл представляет собой именованную последовательность одногипных элементов, размещенных на внешнем устройстве, чаще всего на диске. Да­лее мы будем подразумевать, что файл находится именно на диске. Файл имеет много общего с одномерным динамическим массивом, но размещает­ся не в оперативной, а во внешней памяти, и не требует предварительного указания размера.

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

В зависимости от типа элементов различают текстовые, типированные и нетипированныс файлы. Текстовый файл содержит строки символов пере­менной длины, типированный файл составляют элементы указанного типа (кроме файлового), а в нетипированном файле находятся элементы, тип ко­торых не указан. Описание файловой переменной, предназначенной для работы с файлом, должно соответствовать типу элементов файла.

Например: