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

В Паскале есть возможность обращаться к полям записи без указания имени записи. Такую возможность дает оператор присоединения:

Перечисляемые в заголовке оператора присоединения идентификаторы являются именами полей. Оператор после заголовка - тело оператора присоединения. В теле оператора присоединения к полям записей, имена которых указаны в заголовке, можно обращаться непосредственно. Каждый идентификатор сравнивается с именами полей записей заголовка в порядке, обратном их перечислению. Если идентификатор совпадает с именем поля, то он рассматривается как поле соответствующей записи. Ясно, что для записей, содержащих одинаковые имена полей, важен порядок их перечисления в заголовке оператора присоединения. Если в теле оператора присоединения необходимо обратиться к переменной с именем, совпадающим с именем поля записи, указанной в заголовке, то используется составное имя:

Пример 3. Описание процедуры ввода информации о студентах группы.

Procedure read_group(var gr: t_group; n: t_range); {n - число студентов}

begin write(‘Введите число студентов£ ’, MaxLen); read(n);

writeln(‘Введите. фам., даты рожд., группу и экз. оценки студентов.’);

for i: =1 to n do

with group[i], birthday do

begin read(name); {вместо gr[i].name}

readln(day, month, year); {вместо gr[i]. birthday. day,... }

read(group);

for j: =1 to 4 do

read(mark[j]); {вместо gr[i]. mark[j]}

readln

end

end;

Оператор

Записи с вариантами

Часто необходимы записи с близкими, но не одинаковыми структурами. Для таких случаев используется тип-запись с вариантами:

Вариантная часть:

Альтернатива:

В круглых скобках - список полей альтернативы (это ветвь вариантной части).

Для всех ветвей вариантной части выделяется одна и та же область памяти, где могут разместиться поля любой ветви. Идентификатор (дискриминант) определяет, какая из ветвей в данный момент активна. Но система не контролирует, к активным ли полям обращается программа. Ответственность за правильность использования полей ложится на программиста. Во избежание ошибок рекомендуется для обработки вариантной части использовать оператор-переключатель с селектором - значением дискриминантного поля.

Пример 4. Описание типа для хранения параметров любой из трех фигур: треугольника, прямоугольника или окружности:

type t_fig_type=(triangle, rectangle, circle);

t_figure = record

s: real; {площадь}

p: real; { периметр }

case fig_type: t_fig_type of

triangle: (a, b, c: real); {стороны треугольника}

rectangle: (d1, d2: real); { стороны прямоугольника}

circle: (r: real) {радиус окружности}

end;

Запись описанного типа содержит два фиксированных поля (s и p), полем-дискриминантом является вид фигуры (fig_type). Это поле может принимать одно из трех значений, поэтому вариантная часть содержит три ветви.

Пример 5. Описание процедуры инициализации переменной типа t_figure. Поля вариантной части вводятся с клавиатуры, а фиксированные поля вычисляются.

Procedure init_fig(var f: t_figure);

var n: byte;

begin write(‘Введите вид фигуры: 1-треуг., 2-прямоуг., 3-окружность’);

read(n);

with f do

begin

fig_type: = t_fig_type (n-1);

case fig_type of

triangle: begin read(a, b, c);

p: =(a+b+c)/2;

s: =sqrt(p*(p-a)*(p-b)*(p-c));

p: =2*p

end;

rectangle: begin read(d1, d2);

p: =(d1+d2)*2;

s: =d1*d2

end;

circle: begin read(r);

p: =2*Pi*r;

s: =Pi*r*r

end

end

end;

22. ПОБИТОВЫЕ ОПЕРАЦИИ

ТР позволяет выполнять побитовые операции над битами целых типов, которые используются при работе с двоичными представлениями целых чисел или на низком уровне, например, с видеопамятью.

Побитовое отрицание инвертирует биты целого. nоt 1=0, not 128=127.

Для обнуления (сбрасывания) определенных битов целого числа выполняют побитовую конъюнкцию (побитовое умножение) данного числа с числом, называемым маской. Маска содержит нули только в тех битах, которые нужно сбросить, а в остальных битах - единицы. Например, при выполнении оператора x: =x and $FF00 сбрасывается младший байт двухбайтового целого ($FF00 - маска); при n: =n and ($FF-8) сбрасывается третий бит однобайтового целого. Биты нумеруются с нуля справа налево.

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

n: =n or (32+8)

установит 3-й и 5-й биты.

Побитовое исключающее или выполняет сложение соответствующих битов операндов по модулю 2 без переноса 1 в следующий разряд. Важное свойство операции xor: n xor m xor m=n.

При сдвиге влево биты левого операнда сдвигаются влево на число разрядов, равное значению правого операнда. Биты, выходящие за границы типа левого операнда пропадают, а освободившиеся разряды слева заполняются нулями. Сдвиг влево n shl i эквивалентен умножению n на 2ⁱ, если старшие разряды не вышли за левую границу n.

При сдвиге вправо биты левого операнда сдвигаются вправо на число разрядов, равное значению правого операнда. Биты, выходящие за правую границу, пропадают. Освобождающиеся слева разряды беззнакового целого заполняются нулями, а знакового - значением старшего (знакового) бита.

Сдвиг вправо n shr i эквивалентен целочисленному делению n на 2ⁱ в арифметике с положительными остатками. Например, n shl 5=n div 32.

Опишем процедуру вывода двоичного представления данного целого беззнакового числа:

Procedure WriteBinary(n: word);

var i: byte;

begin for i: =15 downto 0

write(n shl(15-i) shr 15)

end;

Поменять местами старший и младший байты целого неотрицательного числа можно с помощью оператора n: =(n shl 8) or (n shr 8).

23. ТИПИЗОВАННЫЕ КОНСТАНТЫ В ТP

TP позволяет инициализировать переменные при их описании. Описание с инициализацией переменных производится в разделе описаний констант:

Идентификатор - имя переменной.

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

Типизованная константа может быть: константой простого типа, константой-массивом, константой-строкой, константой-записью, константой-множеством, пустой ссылкой nil.

Типизованная константа простого или строкового типа представляет собой литерал или константное выражение. Константа-множество описывается обычным способом (см. главу 21). Например,

сonst n: integer=10;

c: char=’A’;

s: string[5]=’YES’;

f: real=1.3e-5;

m: set of 1..5=[1, 3];

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

Значения элементов одномерного массива заключаются в круглые скобки и перечисляются через запятую. Например,

const a: array[1..3] of byte = (1, 2, 3);

Константа символьный массив может быть описана двумя способами: как константа-массив и как строковая константа. Например,

const digits1: array[0..9] of char = (‘0’, ’1’, ’2’, ’3’, ’4’, ’5’, ’6’, ’7’, ’8’, ’9’);

digits2: array[0..9] of char = ‘0123456789’;

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

const b: array[1..2, 1..3] of byte = ((1, 2, 3), (4, 5, 6));

(1, 2, 3) - первая строка, (4, 5, 6) - вторая строка матрицы.

Описание типизованной константы типа запись имеет вид

Обязательное условие: поля перечисляются в том же порядке, что и при описании типа. Например,

Type t_exam=record name: string[10];

marks: array[1..4] of 2..5

end;

Const exam: t_exam=(name: ’Иванов’; marks: (4, 3, 5, 4));

24. МНОЖЕСТВО

Описание типа множество:

Значениями типа множество являются все подмножества базового типа. Базовый тип играет роль универсального множества.

Число элементов базового типа множества ограничено. Ограничение определяется реализацией языка. В ТР число элементов базового типа не должно превышать 256. Базовый тип является перечисляемым типом или поддиапазоном перечисляемого типа. Кроме того, объем памяти, занимаемой значением базового типа, - один байт. Например, правильными описаниями являются: set of char, set of 10..100, set of ‘a’..’z’. Описания set of 200..300 и set of - 10..10 недопустимы, так как в первом случае базовый тип не является однобайтовым, во втором - перечисляемым.

Конструкция

определяет значение типа множество. При этом значения всех перечисленных выражений принадлежат одному типу. Порядок перечисления выражений и диапазонов произвольный. Более того, в списке могут быть выражения с одинаковыми значениями. Например, [5, 0, 3..10] - числовое множество, [‘0’..‘9’] - символьное множество, ['a', 'a', 'c'], ['c', 'a'] и ['a', 'c'] - равные символьные множества.