9. Структурированные типы данных. Массивы. Одномерные, многомерные массивы. Возможные типы индексов. Допустимые операции с массивами.

Простой тип - это такой тип, который в некоторый момент времени хранит только одно значение.

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

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

Описание массивов: Var Mas: Array [1..15] Of Real. Work: Array [(Mon, Tue, Wed)] Of Integer. B: Array ['A'..'Z'] Of Boolean. C: Array [1..3, 1..5] Of Real. D: Array [(Black, White)] Of 11..20.

многомерный массив можно описать как одномерный: Type Mas = Array [1..3] Of Array [1..5] Of Integer;

Var A, B: Mas; C: Array [1..3, 1..5] Of Integer; {такая же структура, но определена как двумерный массив}

Ссылка на элемент матрицы А, лежащий на пересечении I-той строки и J-ого столбца выглядит следующим образом A[I][J]; законно и такое обращение A[2]:= B[1], для массива такая запись не верна. Все элементы структурированных типов допускают A:= B (исключение - переменные файлового типа).

Нельзя сравнивать массивы: If A = B Then ...

Type Tvector=array[1..10] of real; Tm1=array [1..5] of tvector; Tm2=array[1..5,1..10] of real; Tm3=array[1..5] of array[1..10] of real; !Эти объявления соответствуют матрицам, но типы разные.

2. Символьные строки. Переменную типа Packed Array [0..N] of Char принято называть символьной строкой. Строка - это упакованный массив, компоненты которого имеют тип Char и тип индекса имеет нижнюю границу равную одному. К строкам применимы все 6 операций отношений, но строки при этом должны иметь равную длину. В Паскале введён тип данных String вместо описанного Packed Array of Char.

3. Множества. Паскаль позволяет оперировать с множествами как с типами данных. Множества - наборы однотипных объектов, каким-либо образом связанных между собой. Характер связей лишь подразумевается программистом и никак не контролируется Паскалем. Максимальное количество элементов множества - 256.

4. Записи. Запись состоит из фиксированного числа компонентов, называемых полями, которые могут быть различных типов. Этим запись существенно отличается от массива, все компоненты которого должны быть одного и того же типа и доступ к компонентам осуществляется не по индексам (номерам), а по именам.

Пример: Type Date = Record Year: Integer; Month: 1..12; Day: 1..31; End;

Book = Record Title: String [40]; Author: String [50]; Entry: Date; End;

Var D1: Date; B: Book;

В Паскале разрешено использовать массивы записей. Записи также можно использовать в качестве компонент файлов. Однако поля записи не могут быть файлового типа. Чтобы обратиться к отдельной компоненте записи необходимо задать имя записи, за ним точку и сразу за точкой написать название нужного поля.

Пример 1: D1.Day:=25; B.Author:= "Levy"; B.Entry.Year:= 1980;

а можно и B. Entry: = 1980; так как Year первое поле Date.

Оператор присоединения With. do

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