1.1.9. Процедурные типы

Покажем на примере использование процедурных типов (п.1.3.9).

Type TSum=Function(A,B: Integer):Integer; //объявление процедурного типа

Var PSum: TSum; //объявление переменной ‑ указателя процедуры

PSum:=Sum; //переменной PSum присваивается описание процедуры Sum

X:=PSum(1,3); //обращение к функции Sum с аргументами 1, 3

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

Type Tfun=Function(X,Y:Integer):Integer; //объявление процедурного типа

Function Add(X,Y:Integer):Integer; Begin Result:=X+Y; End; //функция Add

Function Sub(X,Y:Integer):Integer; Begin Result:=X‑Y; End; //функция Sub

Function Fun(X,Y:Integer;Proc:Tfun):Integer; Begin Result:=Proc(X,Y); End;

Writeln(Fun(1,2,Add)); //сложение чисел 1+2=3

Writeln(Fun(1,2,Sub)); //вычитание чисел 1‑2=‑1

Для проверки наличия описания в переменной процедурного типа используется функция Assigned(<процедурная переменная>), которая возвращает True, если описание есть.

1.1.10. Процедурные указатели

Рассмотрим использование процедурных указателей на примерах.

Var X:Pointer; … X:=@Sum; //адрес начала процедуры Sum в X

Const U:Pointer=@Sum; //константа ‑ указатель на функцию Sum

Вопросы для самопроверки и контроля

Вопросы для самопроверки

1. Можно ли переносить на другую строку константы, разрывая их?

2. Верно ли написано имя переменной “План”?

3. В чем состоит отличие переменной от константы?

4. Каково назначение встроенных констант?

5. Что содержит указатель?

Контрольные вопросы

1. Какие типы данных хранятся в переменной типа Variant?

2. Должна ли переменная быть объявлена до ее использования?

3. Допускается ли массив записей?

4. Можно ли изменять размер динамического массива при выполнении программы?

5. Могут ли быть в программе одноименные глобальные и локальные переменные?

6. Что указывается в качестве уточнителя поля записи?

7. Что такое указатель‑переменная?

1.2. Операции

1.2.1. Арифметические операции

Сложение (+), вычитание (‑), умножение (* ), деление (/), деление на ноль запрещено, целочисленное деление (Div), получение остатка от целочисленного деления (Mod, 11 Mod 5 = 1), замена знака значения переменной на противоположный (унарный минус).

Результат деления имеет всегда тип Extended. Для остальных опера­ций ‑ результат типа Extended, если один из операндов имеет тип Real, иначе ‑ Int64, если один из операндов имеет тип Int64 и Integer ‑ в остальных случаях.

1.2.2. Операции присвоения и сравнения

К операциям относятся: присвоить значение (:=), равно (=), не равно (<>), меньше чем (<), больше чем (>), меньше или равно (<=), больше или равно ( >= ). Результатом сравнения является логическая константа True (истина) либо False (ложь). В операции сравнения могут участвовать однотипные опе­ранды, кроме Real и Integer, которые сравниваются друг с другом.

1.2.3. Логические операции

Таблица истинности (1‑True, 0‑False)

Значение X	X	0	0	1	1
Значение Y	Y	0	1	0	1
Отрицание	Not X	1	1	0	0
Логическое “и”	X And Y	0	0	0	1
Логическое “или”	X Or Y	0	1	1	1
Исключающее “или”	X Xor Y	0	1	1	0

Результатом логической операции является логическая константа True (истина) либо False (ложь).

Имеется два режима вычисления логического выражения:

1. Полный, при котором вычисление производится до конца вы­ра­же­ния (директива компилятора {$B+}).

2. Сокращенный ‑ вычисления заканчивается, если текущий резуль­тат не изменится в дальнейшем ({B‑}).