Глава 6. Выражения
Выражения состоят из операций и операндов. Большинство опе-
раций в языке Паскаль являются бинарными, то есть содержат два
операнда. Остальные операции являются унарными и содержат только
один операнд. В бинарных операциях используется обычное алгебраи-
ческое представление, например: a+b. В унарных операциях операция
всегда предшествует операнду, например: -b.
В более сложных выражениях порядок, в котором выполняются
операции, соответствует приоритету операций (см. Таблицу 6.1).
Старшинство операций Таблица 6.1
---------------------T---------------------T--------------------
¦ Операция ¦ Приоритет ¦ Вид операции ¦
+--------------------+---------------------+--------------------+
¦ @, not ¦ первый (высший) ¦ унарная операция ¦
+--------------------+---------------------+--------------------+
¦ *, /, div, mod, ¦ второй ¦ операция умножения,¦
¦ and, shl, shr ¦ ¦ деления, сдвига... ¦
+--------------------+---------------------+--------------------+
¦ +, -, or, xor ¦ третий ¦ операция сложения ¦
+--------------------+---------------------+--------------------+
¦ =, <>, <, >, ¦ четвертый (низший) ¦ операция отношения ¦
¦ <=, >=, in ¦ ¦ ¦
L--------------------+---------------------+---------------------
Для определении старшинства операций имеется три основных
правила:
1. Во-первых, операнд, находящийся между двумя операциями с
различными приоритетами, связывается с операцией, имею-
щей более высокий приоритет.
2. Во-вторых, операция, находящаяся между двумя операциями
с равными приоритетами, связывается с той операцией, ко-
торая находится слева от него.
3. В-третьих, выражение, заключенное в скобки, перед выпол-
нением вычисляется, как отдельный операнд.
Операции с равным приоритетом обычно выполняются слева-нап-
раво, хотя иногда компилятор при генерации оптимального кода мо-
жет переупорядочить операнды.
Синтаксис выражений
Правила, определяющие порядок выполнения операций, вытекают
из синтаксиса выражений, которые строятся из множителей, термов и
простых выражений.
Множитель имеет следующий синтаксис:
----------------
множитель ---T-------------->¦ ссылка на +----------->
¦ ¦ переменную ¦ ^
¦ L---------------- ¦
¦ ---------- ¦
+---->¦константа+----------------------+
¦ ¦без знака¦ ¦
¦ L---------- ¦
¦ ---- ---------- ---- ¦
+---->¦ ( +---->¦выражение¦--->¦ ) +---+
¦ L---- L---------- L---- ¦
¦ ---- ---------- ¦
+---->¦not+---->¦множитель+------------+
¦ L---- L---------- ¦
¦ ----- ---------- ¦
+---->¦знак+--->¦множитель+------------+
¦ L----- L---------- ¦
¦ ---------- ¦
+---->¦ вызов +----------------------+
¦ ¦ функции ¦ ¦
¦ L---------- ¦
¦ ------------ ¦
+---->¦конструктор+--------------------+
¦ ¦ множества ¦ ¦
¦ L------------ ¦
¦ ------------ ¦
+---->¦ адресный +--------------------+
¦ ¦ множитель ¦ ¦
¦ L------------ ¦
¦ --------------- ¦
L---->¦ приведение +------------------
¦типа значения ¦
L---------------
Вызов функции активизирует функцию и представляет собой зна-
чения, возвращаемые функцией (см. далее в этой главе раздел "Вы-
зовы функций"). Описатель множества представляет собой значение
множественного типа (см. раздел, озаглавленный, как "Описание
множеств"). Приведение типа изменяет тип значения (см. "Приведе-
ние типа").
Адресный множитель вычисляет адрес переменной, процедуры,
функции или метода. См. раздел "Операция @".
Беззнаковая константа имеет следующий синтаксис:
----------
константа без знака ---T---->¦ число +------------->
¦ ¦без знака¦ ^
¦ L---------- ¦
¦ ----------- ¦
+---->¦символьная+--------+
¦ ¦ строка ¦ ¦
¦ L----------- ¦
¦ -------------- ¦
+---->¦идентификатор+-----+
¦ ¦ константы ¦ ¦
¦ L-------------- ¦
¦ ---- ¦
L---->¦nil+----------------
L----
Некоторые примеры множителей могут включать в себя:
Х { ссылка на переменную }
@Х { указатель на переменную }
15 { константа без знака }
(Х+Y+Z) { подвыражение }
SIN(Х/2) { вызов функции }
['0..''9','А'..'Z'] { описатель множества }
not Done { отрицание булевской переменной }
сhar(Digit+48) { назначение типа }
Термы используются в операциях умножения на множитель:
----------
терм -------->¦множитель+---T------>
^ L---------- ¦
¦ ---- ¦
+-----+ * ¦<--------+
¦ L---- ¦
¦ ---- ¦
+-----+ / ¦<--------+
¦ L---- ¦
¦ ---- ¦
+-----+div¦<--------¦
¦ L---- ¦
¦ ---- ¦
+-----+mod¦<--------¦
¦ L---- ¦
¦ ---- ¦
+-----+and¦<--------¦
¦ L---- ¦
¦ ---- ¦
+-----+shl¦<--------¦
¦ L---- ¦
¦ ---- ¦
L-----+shr¦<---------
L----
Приведем несколько примеров термов:
Х * Y
Z / (1 - Z)
Done or Error
(Х <= Y) and (Y < Z)
В простых выражениях к термам применяются операции сложения
и присваивания знака:
--------
простое выражение -------->¦ терм +---T---->
^ L-------- ¦
¦ ---- ¦
+-----+ + ¦<------+
¦ L---- ¦
¦ ---- ¦
+-----+ - ¦<------+
¦ L---- ¦
¦ ---- ¦
+-----+ or¦<------¦
¦ L---- ¦
¦ ---- ¦
L-----+xor¦<-------
L----
Приведем несколько примеров простых выражений:
Х + Y
-Х
Hue1 + Hue2
I * J + 1
В выражениях к простым выражениям применяются операции отно-
шения.
----------
выражение ---->¦ простое +--T------------------------------->
¦выражение¦ ¦ ^
L---------- ¦ ---- ---------- ¦
+->¦ < +------>¦ простое +---
¦ L---- ^ ¦выражение¦
¦ ---- ¦ L----------
+->¦<= +--+
¦ L---- ¦
¦ ---- ¦
+->¦ > +--+
¦ L---- ¦
¦ ---- ¦
+->¦>= +--+
¦ L---- ¦
¦ ---- ¦
+->¦ = +--+
¦ L---- ¦
¦ ---- ¦
+->¦<> +--+
¦ L---- ¦
¦ ---- ¦
L->¦in +---
L----
Приведем некоторые примеры выражений:
Х = 1.5
Done <> Error
(I < J) = (J < К)
C in Huel
Операции
Операции подразделяются на арифметические операции, логичес-
кие операции, операции со строками, операции над множествами,
операции отношения и операцию @ (операция получения адреса).
Арифметические операции
В следующей таблице приведены типы операндов и результаты
для бинарных и унарных арифметических операций:
Бинарные арифметические операции Таблица 6.2
------------T--------------T------------------T-----------------
¦ Операция ¦ Действие ¦ Типы операндов ¦ Тип результата ¦
+-----------+--------------+------------------+-----------------+
¦ + ¦ Сложение ¦ Целый ¦ Целый ¦
¦ ¦ ¦ Вещественный ¦ Вещественный ¦
+-----------+--------------+------------------+-----------------+
¦ - ¦ Вычитание ¦ Целый ¦ Целый ¦
¦ ¦ ¦ Вещественный ¦ Вещественный ¦
+-----------+--------------+------------------+-----------------+
¦ * ¦ Умножение ¦ Целый ¦ Целый ¦
¦ ¦ ¦ Вещественный ¦ Вещественный ¦
+-----------+--------------+------------------+-----------------+
¦ / ¦ Деление ¦ Целый ¦ Вещественный ¦
¦ ¦ ¦ Вещественный ¦ Вещественный ¦
+-----------+--------------+------------------+-----------------+
¦ div ¦ Целочисленное¦ ¦ ¦
¦ ¦ деление ¦ Целый ¦ Целый ¦
+-----------+--------------+------------------+-----------------+
¦ mod ¦ Остаток ¦ Целый ¦ Целый ¦
L-----------+--------------+------------------+------------------
Примечание: Операция + используется также, как опера-
ция для работы со строками и множествами. Операции +, - и *
используются также для операций над множествами.
Унарные арифметические операции
Таблица 6.3
------------T--------------T------------------T-----------------
¦ Операция ¦ Действие ¦ Тип операнда ¦ Тип результата ¦
+-----------+--------------+------------------+-----------------+
¦ + ¦ Сохранение ¦ Целый ¦ Целый ¦
¦ ¦ знака ¦ Вещественный ¦ Вещественный ¦
+-----------+--------------+------------------+-----------------+
¦ - ¦ Отрицание ¦ Целый ¦ Целый ¦
¦ ¦ знака ¦ Вещественный ¦ Вещественный ¦
L-----------+--------------+------------------+------------------
Любая операция, включающая операнд, тип которого является
подмножеством порядкового типа, обрабатывается также, как если бы
он был порядкового типа.
Если оба операнда в операциях +, -, *, div или моd являются
операндами целого типа, то тип результата будет таким же, как об-
щий тип обоих операндов. (Определение общего типа см. в разделе
"Целый тип" в Главе 3).
Если один или более операндов в операциях +, -, или * имеют
вещественный тип, то тип результата будет вещественным, если ис-
пользована директива компилятора {$N-}, или типом с повышенной
точностью при использовании директивы компилятора {$N+}.
Если при использовании операции сохранения знака или опера-
ции отрицания знака операнд имеет целый тип, то результат будет
тоже целого типа. Если операнд вещественного типа, то тип резуль-
тата будет вещественным или типом с повышенной точностью
(extended).
Значение выражения х/у всегда будет вещественного типа
(real) или с повышенной точностью (extended), независимо от типов
операндов. Если у равно 0, то результат будет ошибочным.
Значение выражение i div j представляет собой математическое
частное от i/j, округленное в меньшую сторону до значения целого
типа. Если j равно 0, результат будет ошибочным.
Операция mod возвращает остаток, полученный путем деления
двух ее операндов, то есть:
i mod j = i - (i div j) * j
Знак результата операции mod будет тем же, что и знак i. Ес-
ли j равно нулю, то результатом будет ошибка.
Логические операции
Типы логических операций показаны в Таблице 6.4.
Логические операции Таблица 6.4
-----------T---------------------T--------------T---------------
¦ Операция ¦ Действие ¦Типы операндов¦ Тип результата¦
+----------+---------------------+--------------+---------------+
¦ not ¦ Отрицание (битовое) ¦ Целый ¦ Целый ¦
¦ and ¦ И (битовое) ¦ Целый ¦ Целый ¦
¦ or ¦ ИЛИ (битовое) ¦ Целый ¦ Целый ¦
¦ xor ¦ Исключающее ИЛИ ¦ Целый ¦ Целый ¦
¦ ¦ (битовое) ¦ ¦ ¦
¦ shl ¦ Сдвиг влево ¦ Целый ¦ Целый ¦
¦ shr ¦ Сдвиг вправо ¦ Целый ¦ Целый ¦
L----------+---------------------+--------------+----------------
Примечание: Операция not является унарной операцией.
Если операндом операции not является операнд целого типа, то
результат будет также целого типа.
Если оба операнда в операциях or, and или xor целого типа,
то тип результата будет таким же, как тип обоих операндов.
Операции i shl j и i shr j сдвигают значение i влево или
вправо на j битов. Тип результата будет таким же, как тип i.
Булевские операции
Типы операндов и результат для булевских операций показаны в
Таблице 6.5.
Таблица 6.5 Булевские операции
-----------T------------------T-----------------T---------------
¦ Операция ¦ Действие ¦ Типы операндов ¦ Тип результата¦
+----------+------------------+-----------------+---------------+
¦ not ¦ Отрицание ¦ Булевский ¦ Булевский ¦
¦ and ¦ Логическое И ¦ Булевский ¦ Булевский ¦
¦ or ¦ Логическое ИЛИ ¦ Булевский ¦ Булевский ¦
¦ xor ¦ Логическое ¦ ¦ ¦
¦ ¦ исключающее ИЛИ ¦ Булевский ¦ Булевский ¦
L----------+------------------+-----------------+----------------
Примечание: Операция not является унарной операцией.
Результаты этих операций соответствуют обычной булевой логи-
ке. Например, выражение a and b является истинным (принимает зна-
чение Тruе) только в том случае, если оба операнда a и b имеют
истинное значение (Тruе).
В Borland Pascal поддерживаются две различные модели генера-
ции кода для операций or и and - полное вычисление и вычисление
по короткой схеме (частичное вычисление).
При полном вычислении подразумевается, что каждый операнд
булевского выражения, построенный с помощью операций or и and,
всегда будет вычисляться, даже если результат всего выражения уже
известен. Эта модель полезна в том случае, когда один или более
операндов в выражении представляют собой функции с побочными эф-
фектами, которые изменяют смысл программы.
Вычисление по короткой схеме обеспечивает строгое вычисление
слева направо. Это вычисление прекращается, как только результат
всего выражения становится очевиден. Во многих случаях эта модель
удобна, поскольку она обеспечивает минимальное время выполнения
и, как правило, минимальный объем кода. Вычисление по короткой
схеме делает также возможными такие конструкции, которые в про-
тивном случае были бы недопустимы, например:
while (I<=Lenght(S)) and (S[I]<>' ') do
Inc(I);
while (P<>nil) and (P^.Value<>5) do
P:=P^.Next;
В обоих случаях, если результатом первого вычисления будет
значение False, вычисление второго выражения не выполняется.
Схему вычисления можно задавать с помощью директивы компиля-
тора $B. Значением по умолчанию является состояние {$B-} (пока
оно не будет изменено с помощью "меню" возможностей компилятора).
В этом случае генерируется код с вычислением по короткой схеме. В
случае директивы {$B+} генерируется код с полным вычислением.
Поскольку в стандартном Паскале не определяется, какую схему
следует использовать для вычисления булевских выражений, то прог-
раммы, зависящие от действия какой-либо конкретной схемы, в дейс-
твительности не являются переносимыми. Однако, если пожертвовать
переносимостью, то очень часто можно получить значительный выиг-
рыш во времени выполнения и простоте, которую позволяет получить
вычисление по короткой схеме.
Операция со строками
Типы операндов и результаты для операции со строками показа-
ны в Таблице 6.6.
Операции со строками Таблица 6.6
------------T--------------T---------------------T--------------
¦ Операция ¦ Действие ¦ Типы операндов ¦Тип результата¦
+-----------+--------------+---------------------+--------------+
¦ + ¦ Конкатенация ¦ Строковый, ¦ Строковый ¦
¦ ¦ ¦ символьный или ¦ ¦
¦ ¦ ¦упакованный строковый¦ ¦
L-----------+--------------+---------------------+---------------
Borland Pascal позволяет использовать операцию + для объеди-
нения двух строковых операндов. Результатом операции s + t, где s
и t имеют строковый тип, символьный тип (Char) или упакованный
строковый тип, будет конкатенация s и t. Результат будет совмес-
тим с любым строковым типом (но не с символьным Char и не с упа-
кованным строковым типом). Если длина результирующей строки пре-
вышает 255 символов, то она усекается до 255 символов.
Операции над символьными указателями
Расширенный синтаксис (разрешенный по директиве компилятора
{$X+}) поддерживает несколько операций с указателями на PChar.
Для увеличения и уменьшения смещения указателя можно использовать
операции + и -. Минус можно также использовать для вычисления
расстояния (разности) между двумя символьными указателями. Если P
и Q - это значения типа PChar, а I - значение типа Word, то до-
пустимы следующие конструкции:
Допустимые конструкции PChar Таблица 6.7
----------------T-----------------------------------------------
¦ Операция ¦ Результат ¦
+---------------+-----------------------------------------------+
¦ P + I ¦ Сложение I со смещением P. ¦
¦ I + P ¦ Сложение I со смещением P. ¦
¦ P - I ¦ Вычитание I из смещения P. ¦
¦ P - Q ¦ Вычитает смещение Q из смещения P. ¦
L---------------+------------------------------------------------
Операции P + I и I + P складывает I c адресом, заданным P,
создавая указатель, ссылающийся на I символов после P. Операция P
- I вычитает I из адреса, заданного P, создавая указатель, ссыла-
ющийся на I символов перед P.
Операция P - Q вычитает расстояние между Q (младший адрес) и
P (старший адрес), создавая в результате значение типа Word, по-
казывающее число символов между Q и P. Эта операция подразумева-
ет, что P и Q ссылаются на один символьный массив. Если два сим-
вольный указателя ссылаются на разные массивы, то результат будет
не определен.
Операции над множествами
Типы операндов для операций над множествами показаны в Таб-
лице 6.7.
Операции над множествами Таблица 6.7
----------------T-------------T---------------------------------
¦ Операция ¦ Действие ¦ Типы операндов ¦
+---------------+-------------+---------------------------------+
¦ + ¦ Объединение ¦ Множества с совместимыми типами ¦
¦ - ¦ Разность ¦ Множества с совместимыми типами ¦
¦ * ¦ Пересечение ¦ Множества с совместимыми типами ¦
L---------------+-------------+----------------------------------
Результаты операций соответствуют правилам логики работы с
множествами:
1. Порядковое значение c содержится в a+b только тогда,
когда оно содержится в a или в b.
2. Порядковое значение c содержится в a-b только тогда,
когда оно содержится в a и не содержится в b.
3. Порядковое значение c содержится в a*b только тогда,
когда он содержится в обоих множествах a и b.
Если наименьшим порядковым значением, которое является чле-
ном результата операций над множествами, является a, а наибольшим
- b, то типом результата будет множество a..b.
Операции отношения
Типы операндов и результаты операций отношения приведены в
Таблице 6.8.
Таблица 6.8 Операции отношения
----------T------------T------------------------T---------------
¦ Операция¦ Действие ¦ Типы операндов ¦ Тип результата¦
+---------+------------+------------------------+---------------+
¦ = ¦ Равно ¦ Совместимый простой, ¦ Булевский ¦
¦ ¦ ¦ указатель, множествен- ¦ ¦
¦ ¦ ¦ ный строковый или упа- ¦ ¦
¦ ¦ ¦ кованный строковый ¦ ¦
+---------+------------+------------------------+---------------+
¦ <> ¦ Не равно ¦ Совместимый простой, ¦ Булевский ¦
¦ ¦ ¦ указатель, множествен- ¦ ¦
¦ ¦ ¦ ный, строковый или упа-¦ ¦
¦ ¦ ¦ кованный строковый ¦ ¦
+---------+------------+------------------------+---------------+
¦ < ¦ Меньше чем ¦ Совместимый простой, ¦ Булевский ¦
¦ ¦ ¦ указатель, множествен- ¦ ¦
¦ ¦ ¦ ный, строковый или упа-¦ ¦
¦ ¦ ¦ кованный строковый ¦ ¦
+---------+------------+------------------------+---------------+
¦ > ¦ Больше чем ¦ Совместимый простой, ¦ Булевский ¦
¦ ¦ ¦ указатель, множествен- ¦ ¦
¦ ¦ ¦ ный строковый или упа- ¦ ¦
¦ ¦ ¦ кованный строковый ¦ ¦
+---------+------------+------------------------+---------------+
¦ <= ¦ Меньше ¦ Совместимый простой, ¦ Булевский ¦
¦ ¦ или равно ¦ указатель, множествен- ¦ ¦
¦ ¦ ¦ ный строковый или упа- ¦ ¦
¦ ¦ ¦ кованный строковый ¦ ¦
+---------+------------+------------------------+---------------+
¦ >= ¦ Больше ¦ Совместимый простой, ¦ Булевский ¦
¦ ¦ или равно ¦ указатель, множествен- ¦ ¦
¦ ¦ ¦ ный строковый или упа- ¦ ¦
¦ ¦ ¦ кованный строковый ¦ ¦
+---------+------------+------------------------+---------------+
¦ <= ¦Подмножество¦ Множества совместимых ¦ Булевский ¦
¦ ¦ ¦ типов ¦ ¦
+---------+------------+------------------------+---------------+
¦ >= ¦Надмножество¦ Множества совместимых ¦ Булевский ¦
¦ ¦ ¦ типов ¦ ¦
+---------+------------+------------------------+---------------+
¦ in ¦ Элемент ¦ Левый операнд: любой ¦ Булевский ¦
¦ ¦ множества ¦ перечислимый тип t; ¦ ¦
¦ ¦ ¦ правый: множество, ¦ ¦
¦ ¦ ¦ совместимое с t. ¦ ¦
L---------+------------+------------------------+----------------
Сравнение простых типов
Когда операции =, <>, <, >, >= или <= применяются для опе-
рандов простых типов, то это должны быть совместимые типы. Одна-
ко, если один операнд имеет вещественный тип, то другой может
быть целого типа.
Сравнение строк
Операции отношения =, <>, <, >, >= или <= могут применятся
для сравнения строк согласно порядку расширенного набора символов
кода ASСII. Любые два значения строковых данных можно сравнить,
поскольку все значения строковых данных совместимы.
Значения символьного типа совместимы со значениями строково-
го типа, и при их сравнении символьное значение обрабатывается
как строковое значение с длиной 1. Когда со значением строкового
типа сравнивается упакованное строковое значение из N элементов,
то оно обрабатывается, как значение строкового типа длиной N.
Сравнение упакованных строк
Операции отношения =, <>, <, >, >= или <= могут применятся
также для двух упакованных значений строкового типа, если они со-
держат одинаковое число элементов. Если число элементов равно n,
то операция соответствует сравнению двух строк, каждая из которых
имеет длину n.
Сравнение указателей
Операции = и <> могут использоваться для сравнения операндов
типа указатель. Два указателя равны только в том случае, если они
ссылаются на один и тот же объект.
Сравнение символьных указателей
При разрешении по директиве компилятора {$X+} расширенного
синтаксиса операции =, <>, <, >, >= или <= могут применятся к
значениям PChar. Заметим, однако, что эти операции отношения
предполагают, что два сравниваемые указателя ссылаются на один и
тот же символьный массив.. По этой причине в сравнении участвуют
только смещения двух значений-указателей. Если указатели ссылают-
ся на разные символьные массивы, результат будет не определен.
Сравнение множеств
Если операндами являются множества a и b, то при их сравне-
нии получаются следующие результаты:
1. Выражение a=b истинно (= True) только когда a и b содер-
жат одни и те же элементы, в противном случае a<>b.
2. Выражение a = b истинно, когда каждый элемент множества
а является также элементом множества b.
3. Выражение a = b истинно, когда каждый элемент множества
b является также элементом множества a.
Проверка на принадлежность к множеству
Операция in возвращает истинное значение (True), когда зна-
чение элемента порядкового типа является элементом операнда мно-
жественного типа, в противном случае он возвращает значение
False.
Операция @
Операция @ используется в адресном коэффициенте для вычисле-
ния адреса переменной, процедуры, функции или метода. В Таблице
6.9 показан операнд и типы результата.
адресный коэффициент
¦ ---- -----------------------
L--¦ @ +--T-----¦ ссылка не переменную +----------------------->
L---- ¦ L----------------------- ^
¦ -------------------------- ¦
+---->¦ идентификатор процедуры +-----------+
¦ L-------------------------- ¦
¦ ------------------------ ¦
+---->¦ идентификатор функции +-------------+
¦ L------------------------ ¦
¦ ---------------------------------- ¦
L---->¦ уточненный идентификатор метода +----
L----------------------------------
Операция создания указателя Таблица 6.9
-------------T-----------T-----------------------T--------------
¦ Операция ¦ Действие ¦ Типы операндов ¦Тип результата¦
+------------+-----------+-----------------------+--------------+
¦ @ ¦ Получение ¦ Ссылка на переменную, ¦ Указатель ¦
¦ ¦ указателя ¦ процедуру или иденти- ¦ (совмести- ¦
¦ ¦ ¦ фикатор функции. ¦ мый с nil) ¦
L------------+-----------+-----------------------+---------------
Операция @ возвращает адрес операнда, то есть строит значе-
ние-указатель, ссылающееся на этот операнд.
Использование операции @ для переменной
Использование операции @ для обычной переменной (не парамет-
ра) не вызывает никаких сложностей. Применение @ к ссылке на пе-
ременную возвращает указатель на переменную. Введем описания:
type
TwoChar = array[0..1] of char;
var
Int: integer;
TwoCharPtr: ^TwoChar;
тогда оператор:
TwoCharPtr := @Int;
приводит к тому, что TwoCharPtr для получения ссылки на
TwoCharPtr^ становится повторной интерпретацией значения Int, как
если бы оно было символьным массивом array[0..1].
Тип получаемого в результате указатель управляется директи-
вой компилятора $T: в состоянии {$T-} (по умолчанию) типом ре-
зультата будет Pointer. Другими словами, результат ом является
нетипизированный указатель, совместимый со всеми другими типами
указателей. В состоянии {$T+} типом результата будет ^T, где T -
тип ссылки на переменную. То есть тип результата будет совместим
со всеми другими указателями на тип этой переменной.
Примечание: К использованию операции @ с процедурным
типом применяются специальные правила. См. ниже раздел
"Процедурный типы в выражениях".
Использование операции @ для процедуры или функции или метода
Вы можете применять операцию @ к процедуре, функции или ме-
тоду. При этом вы получите указатель на точку входа подпрограммы.
Независимо от состояния $T, типом полученного в результате указа-
теля всегда будет Pointer. Другими словами, результатом всегда
является нетипизированный указатель, совместимый со всеми другими
ссылочными типами.
При применении операции @ к методу метод должен задаваться с
помощью уточненного идентификатора (идентификатора объектного ти-
па, за которым следует точка и идентификатор метода).
Вызовы функции
Вызовы функции приводят к активизации функции, заданной с
помощью идентификатора функции. Идентификатором функции является
любой идентификатор, использованный для обозначения функции.
Если в соответствующем описании функции содержится список
формальных параметров то в вызове функции должен содержаться спи-
сок фактических параметров. Каждый параметр подставляется вместо
соответствующего формального параметра в соответствии с набором
правил, который вводится в Главе 9 ("Процедуры и функции").
Примечание: См. выше разделы "Активизация методов",
"Активизация уточненных методов" и "Процедурные типы".
--------------
вызов функции -T->¦идентификатор+-TT--------------------------->
¦ ¦ функции ¦ ¦¦ ^
¦ L-------------- ¦¦ ------------------- ¦
¦ -------------- ¦L-->¦список фактических+---
+->¦ десигнатор +-+ ¦ параметров ¦
¦ ¦ метода ¦ ¦ L-------------------
¦ L-------------- ¦
¦ -------------- ¦
¦ ¦ уточненный ¦ ¦
+->¦ десигнатор +-+
¦ ¦ метода ¦ ¦
¦ L-------------- ¦
¦ -------------- ¦
L->¦ ссылка на +--
¦ переменную ¦
L--------------
---- ------------ ----
список фактических ---->¦ ( +----->¦фактический+--T->¦ ) +--->
параметров L---- ^ ¦ параметр ¦ ¦ L----
¦ L------------ ¦
¦ ---- ¦
L---+ , ¦<---------
L----
-------------
фактический параметр --T-->¦ выражение +-------->
¦ L------------- ^
¦ ------------- ¦
L-->¦ ссылка на +----
¦ переменную ¦
L-------------
Приведем некоторые примеры вызовов функций:
Sum(A,63)
Maximum(147,J)
Sin(X+Y)
Eof(F)
Volume(Radius, Height)
В режиме расширенного синтаксиса ($X+) вызовы функций можно
использовать в качестве операторов, то есть результат вызова
функции может отбрасываться.
Описатели множества
Описатель множества определяет значения множественного типа
и получается путем записи выражений, заключенных в квадратные
скобки ([]). Каждое выражение определяет значение множества.
---- ----
описатель --->¦ [ +--T------------------------>¦ ] +--->
множества L---- ¦ ------------- ^ L----
L--->¦ группа +--T--
^ ¦ элементов ¦ ¦
¦ L------------- ¦
¦ ---- ¦
L----+ , ¦<---------
L----
------------
группа элементов -->¦ выражение +--T--------------------------->
L------------ ¦ ^
¦ --- ------------ ¦
L->¦..+-->¦ выражение +--
L--- L------------
Обозначение [ ] означает пустое множество, тип которого сов-
местим по присваиванию с типом любого множества. Любая группа
элементов, описанная, как х..у, объявляет элементами множества
все значения в диапазоне х..у. Если х больше, чем у, то х..у не
описывает никаких элементов и [x..y] обозначает пустое множество.
В конкретном описателе множества все значения выражения в
группах элементов должны быть одного порядкового типа.
Приведем некоторые примеры описателей множеств:
[red, C, green]
[1,5,10..K mod 12, 13, 23]
['A'..'Z', 'a'..'z', Chr(Digit+48)]
Приведение типа значений
Тип выражения можно изменить на другой тип с помощью приве-
дения типа значений.
-------------- ---- ---------- ----
приведение --->¦идентификатор+-->¦ ( +-->¦выражение+-->¦ ) +->
типа значения ¦ типа ¦ L---- L---------- L----
L--------------
Тип выражения и задаваемый тип должны оба иметь перечислимый
тип или тип указателей. Для перечислимых типов результирующее
значение получается путем преобразования выражения (и возможной
проверки на нахождение в допустимых границах). Преобразование мо-
жет привести к усечению или увеличению размера исходного значения
в том случае, если вновь определяемый тип отличается от типа вы-
ражения. В том случае, когда значение расширяется, его знак всег-
да сохраняется. Таким образом, значение является расширяемым по
знаку.
Синтаксис приведения типа значений почти совпадает с синтак-
сисом приведения типа переменных (см. раздел "Приведение типа пе-
ременных" в Главе 5). Однако при приведении типа значений опера-
ции производятся со значениями, а не с переменными и, таким
образом, могут не участвовать в ссылках на переменные. То есть за
приведением типа значения не обязательно следуют квалификаторы. В
частности, приведение типа значений не должно встречаться в левой
части оператора присваивания.
Некоторые примеры приведения типа значений включают в себя:
Intereg('A')
Char(48)
Boolean(0)
Color(2)
IntPtr(@Buffer)
BytePtr(Ptr($40,$49))
Процедурные типы в выражениях
В общем случае использование процедурной переменной в опера-
торе или выражении означает вызов процедуры или функции, храня-
щейся в этой переменной. Однако, имеется исключение. Когда компи-
лятор видит, что процедурная переменная находится в левой части
оператора присваивания, он знает, что правая часть должна предс-
тавлять собой процедурное значение. Рассмотрим в качестве примера
следующую программу:
type
IntFunc = function: Integer;
var
F: IntFunc;
N: Integer;
function ReadInt: Integer; far;
var
I: Integer;
begin
Read(I);
ReadInt := I;
end;
begin
F := ReadInt; { присваивание процедурного значения }
N := ReadInt; { присваивание результата функции }
end.
Первый оператор основной программы присваивает процедурное
значение (адрес процедуры) ReadInt процедурной переменной F, вто-
рой оператор вызывает ReadInt и присваивает N возвращаемое значе-
ние. Различие между получением процедурного значения или вызовом
функции осуществляется по типу переменной, которой присваивается
значение (F или N).
К сожалению, есть ситуации, когда компилятор не может опре-
делить из контекста желаемое действие. Например, в следующем опе-
раторе для компилятора не очевидно, что нужно сделать: сравнить
процедурное значение в F с процедурным значением ReadInt, чтобы
определить, что F указывает в данный момент на ReadInt, или выз-
вать F и ReadInt, а затем сравнить возвращаемые значения:
if F = ReadInt then
WriteLn('Equal');
Однако, стандартный синтаксис Паскаля определяет, что вхож-
дение в выражение идентификатора функции означает вызов этой
функции, поэтому в результате предыдущего оператора будет выпол-
нен вызов F и ReadInt, а затем будут сравниваться возвращаемые
значения. Чтобы сравнить процедурное значение в F с процедурным
значением в ReadInt, нужно использовать следующую конструкцию:
if @F = @ReadInt then
WriteLn('Equal');
При применении к процедурной переменной, идентификатору про-
цедуры или функции операции получения адреса @, эта операция пре-
дотвращает вызов компилятором процедуры и в то же время преобра-
зует аргумент в указатель. Таким образом, @F преобразует F в не-
типизованный указатель-переменную, которая содержит адрес
ReadInt. Для определения того, что F ссылается на ReadInt можно
сравнить два значения-указателя.
Операция @ часто используется при присваивании процедурной
переменной нетипизированного значения-указателя. Например, опре-
деленная в Windows (в модуле WinProcs) функция GetProcAddress
возвращает адрес экспортируемой функции в DLL как нетипизирован-
ной значение-указатель. С помощью операции @ вызов GetProcAddress
можно присвоить процедурной переменной:
type
TStrComp = function(Str1, Str2: PChar): Integer;
var
StrComp: TStrComp:
.
.
.
begin
.
.
.
@StrComp := GetProcAddress(KernelHandle, 'Lstrcmpi');
.
.
.
end.
Чтобы получить адрес в памяти процедурной переменной, а не
адрес, в ней записанный, используйте двойную операцию @ (@@).
Например, @P означает преобразование P в нетипизированный указа-
тель-переменную, в @@P означает возвращение физического адреса
переменной P.
Назад | Содержание | Вперед
🔥 VPS до 5.7 ГГц под любые задачи с AntiDDoS в 7 локациях
Виртуальные VPS серверы в РФ и ЕС
