Program Simple_memory; Var

alA: array[1..10] of LongInt; arB: array[1..10] of Real;

begin

FillChar(alA, 40, 0); Move(alA, arB, SizeOf(arB));

end.

3.2.2Строки

Строковые переменные - это одномерные пакованные массивы символов, для описания которых в Pascal введен тип String.

Например, если строка содержит до 30 символов, ее тип будет определен как

type

s= String[30];

Длина строки не может содержать более, чем 255 символов.

В Pascal определено понятие строки переменной длины,

вэтом случае ее описание задается как

Type

s= String;

Тип String без указания длины совместим со всеми типами строк.

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

49

граница индекса равна 1. Отдельный символ строки совместим с типом Char.

В памяти ЭВМ строка занимает количество байтов, на единицу большее ее длины. Нулевой байт строки содержит ее длину.

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

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

Для работы со строками в Pascal включены процедуры и функции, которые обеспечивают редактирование и преобразование строк.

Строки можно складывать. Для сравнения строк применяются все операции отношения. Сравнение строк происходит посимвольно, начиная с первого символа. Строки равны, если имеют одинаковую длину и посимвольно эквивалентны.

Length(s: string): byte; - возвращает длину строки.

Функция конкатенации (объединения строк)

Concat(s1, [s2,…,sn]: string): string;

Эта функция эквивалентна s1 + s2 + … + sn

однако работает она значительно быстрее.

Функция

copy(s: string; i, count: byte): string;

Возвращает count символов строки s, начиная с i-

того.

Процедура

50

Delete(var s: string; i, count: byte);

удаляет count символов из строки s, начиная с i-

того.

Процедура

Insert(var s1, s2: string; i: byte);

вставляет строку s1 в s2 после i-того символа.

Функция

Pos(SubStr, Str: string): byte;

возвращает номер символа, с которого начинается первое вхождение подстроки SubStr в строке Str. Если Str не содержит SubStr, возвращается 0.

Program simple_string; Var

szStr, szSubstr, szCopy, szDelete, szInsert, szS1, szS2: string; byPos, byI, byCount: byte;

Begin byI:=5;

byCount:=18;

{Операции конкатенации} szStr:=sS1+sS2; szStr:=concat(sS1, sS2); {Копирование}

szStr:=copy(szCopy, byI, byCount); {Определение позиции} byPos:=pos(szSubstr, szStr);

{Удаление символов} delete(szStr, byI, 10);

{Вставка}

insert(szStr, szSubstr, 10);

{сравнение строк}

if szStr<szSubstr then

szStr:=sz

SubStr;

51

byCount:=length(szStr);

End.

3.2.3Множества

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

Множественный тип описывается с помощью служебных слов Set of, например:

type

TM=Set of Byte;

Здесь TМ - множественный тип, Вyte - базовый тип. Пример описания переменной множественного

типа:

type

TM= Set of 'A'..'D'; var

seS: TM;

Принадлежность переменных к множественному типу может быть определена прямо в разделе описания переменных:

var

seC: Set of 0..7;

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

52

ности элементов или интервалов базового типа, разделен-

ных запятыми, например:

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

Константа вида

[]

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

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

К. Пусть имеется переменная Р интервального типа: var

P: 1..3;

Эта переменная может принимать три различных значения - либо 1, либо 2, либо 3. Переменная seMno множественного типа

var

seMno: Set of 1..3;

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

[1][1,3]

[2][2,3]

[3][1,2,3]

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

Значение переменной множественного типа может быть задано конструкцией вида [T], где T - переменная базового типа.

К переменным и константам множественного типа применимы операции

53

присваивания(:=), объединения(+), пересечения(*)

и вычитания(-):

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

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

Чтобы добавить или отнять от множества константу (по сути множество состоящее из одного элемента) Лучше использовать вместо простого сложения и вычитания процедуры

Include(var seMno: set of T, a: T); -

Добавление во множество seMno, a, сдесь T – Базовй тип множества.

Exclude(var seMno: set of T, a: T); -

соответсвенно удаление.

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

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

54

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

in

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

раций отношения, например:

‘A’ in ['A', 'B'] даст True, 2 in [1, 3, 6] даст False.

При использовании в программах данных множественного типа выполнение операций происходит над битовыми строками данных. Каждому значению множественного типа в памяти ЭВМ соответствует один двоичный разряд. Например, множество

['A', 'B', 'C', 'D']

представлено в памяти ЭВМ битовой строкой

1 1 1 1.

Подмножества этого множества представлены строками:

Величины множественного типа не могут быть элементами списка ввода - вывода.

В каждой конкретной реализации транслятора с языка Pascal количество элементов базового типа, на ко-

55