Символы и строки. Множества

Стандартные функции

Функция chr(k:byte):char "превращает"; номер символа в символ. Действие этой функции аналогично действию операции #. Например:

c:= chr(48); {c: char}
{c = '0'}

Обратной к функции chr() является уже изученная нами функция ord(). Таким образом, для любого числа k и для любого символа с

ord(chr(k)) = k		и		chr(ord(c)) = c

Надеемся, читатель помнит, что стандартные процедуры и функции pred(), succ(), inc() и dec(), определенные для значений любого порядкового типа^{4См. лекцию 2.}, применимы также и к символам (значениям порядкового типа данных char ). Например:

pred('[')  = 'Z'
succ('z')  = '{'
inc('a')   = 'b'
inc('c',2) = 'e'
dec('z')   = 'y'
dec(#0,4)  = '№' {#252}

Стандартная функция upcase(c: char):char превращает строчную букву в прописную. Символы, не являющиеся строчными латинскими буквами, остаются без изменения (к сожалению, в их число попадают и все русские буквы).

Стандартные функции и процедуры обработки строк

Для обработки символьных массивов, которыми являются строки, в языке Pascal существуют специальные подпрограммы:

1. Функция concat(s1,_,sN:string):string осуществляет слияние ( конкатенацию ) всех перечисленных строк или символов в указанном порядке. Если длина итоговой строки больше 255-ти символов, то произойдет отсечение "хвоста". Кроме того, даже если результат конкатенации не был усечен, но программа пытается сохранить его в переменную заведомо меньшей длины, то усечение все равно состоится:

   concat('abc','3de',' ','X','yz') = 'abc3de Xyz'

2. Функция copy(s:string;i,k:byte):string вычленяет из строки s подстроку длиной k символов, начиная с i -го. Если i больше длины строки, то результатом будет пустая строка. Если же k больше, чем длина оставшейся части строки, то результатом будет только ее "хвост":

   copy('abc3de Xyz',2,4)  = 'bc3d'
   	copy('abc3de Xyz',12,4) = ''
   	copy('abc3de Xyz',8,14) = 'Xyz'

3. Процедура delete(s:string;i,k:byte) удаляет из строки s подстроку длиной k символов, начиная с i -го. Если i больше длины строки, то ничего удалено не будет. Если же k больше, чем длина оставшейся части строки, то удален будет только ее "хвост":

   {s = 'abc3de Xyz'}			{s = 'abc3de Xyz'}
   	delete(s,2,3);				delete(s,8,13);
   	{s = 'ade Xyz'}				{s = 'abc3de '}

4. Процедура insert(ss,s:string;i:byte) вставляет подстроку ss в строку s, начиная с i -го символа. Если i выходит за конец строки, то подстрока ss припишется в конец строки s (если результат длиннее, чем допускается для строки s, произойдет его усечение):

   {s = 'abc3de Xyz'}			{s = 'abc3de'}
   	insert('xyz',s,2);			insert('xyz',s,12);
   	{s = 'axyzbc3de Xyz'}		{s = 'abc3dexyz'}

5. Функция length(s:string):byte возвращает длину строки s:

   length('abc3de Xyz') = 10

6. Функция pos(ss,s:string):byte определяет позицию, с которой начинается первое (считая слева направо) вхождение подстроки ss в строку s. Если ss не встречается в s ни разу, функция вернет 0:

   pos('X', 'abc3de Xyz') = 8

7. Процедура str(x[:w[:d]],s:string) превращает десятичное число x (можно указать, что в этом числе w цифр, из них d дробных) в строку s. Если число короче указанных величин, то спереди и/или сзади оно будет дополнено пробелами:

   str(156.4:7:2,s); 
   	{s = ' 156.4 '}

8. Процедура val(s:string;i:<арифметический_тип>;err:byte) превращает строку s в десятичное число i (в случае ошибки в переменную err будет записан номер первого недопустимого символа ):

   {s = '15.47'}
   	val(s,x,err);
   	{x = 15.47}

Операции со строками

Сравнения

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

На строках определен так называемый лексикографический порядок: из двух строк меньшей считается та, у которой первый различный символ меньше. Считается, что пустая строка меньше любой другой строки.

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

Итак,

'abc' < 'xyz'
'a' < 'abc'
'1200' < '45'
'Anny' < 'anny'