| е = 2.7; { константа - вещественное число}
| SpecChar = '\'; { константа - символ }
| HelpStr = 'Нажмите клавишу F1'; { константа - строка }
| NoAddress = nil; { константа - адрес }
| OK = True; { логическая константа истинно }
| { Можно задавать простые константы типа множество: }
| Alpha = [ 'А'..'Я' ];
Обращаем внимание, что тип значения не указывается никоим образом. Он определяется автоматически при анализе значения константы.
Расширением Турбо Паскаля является возможность определять константы как выражения из чисел, некоторых функций языка и определенных ранее простых констант. Так, приведенный список констант можно продолжить следующими примерами:
- 77 -
| Interval = Мах - Min + 1;
| Key = Chr(27); { символ с кодом 27 }
| e2 = е*е;
| BigHelpString = HelpStr + 'для подсказки';
| Flag = Ptr($0000, $00F0); { задание адреса }
В выражениях могут использоваться все математические операции (+,-,/,*,div,mod), поразрядные (битовые) действия, логические операторы (not, and, or, xor) и операции отношения (=,<,> и т.п., включая операцию in для множеств). Из стандартных функций Турбо Паскаля в выражениях констант могут участвовать только такие:
Abs(X) - абсолютное значение числа X;
Round(X) - округление X до ближайшего целого числа;
Trunc(X) - отсечение дробной части значения X;
Chr(X) - символ с кодом номер X;
Ord(X) - номер значения X в его перечислимом типе;
Pred(X) - значение, предшествующее X в его типе;
Succ(X) - значение, следующее за X в его типе;
Odd(X) - логическая функция проверки нечетности X;
SizeOf (X) - размер типа с именем X;
Length (X) - длина строки X;
Ptr(S,O) - функция задания адреса;
Lo(X), Hi(X) и Swap(X) - операции с машинными словами.
Этот же набор допускается при построении выражений в окнах отладки (Watch и Evaluate).
Все выражения вычисляются при компиляции, а затем лишь подставляются всюду вместо идентификаторов констант. Нельзя ввести простую (именно простую) константу: массив или запись. Турбо Паскаль вводит особый тип констант - типизированных - и позволяет работать с константами сложных типов (кроме файлов). Но такие сложные константы в силу особенности их реализации в языке, по сути, уже являются переменными и рассматриваются вместе с ними.
5.2. Переменные
Переменные вводятся в программу для хранения и передачи данных внутри нее. Любая переменная имеет имя (идентификатор). По правилам Турбо Паскаля имя переменной должно начинаться с буквы и может содержать буквы (только латинские), цифры и знак подчеркивания. Длина имени - почти любая (до 126 символов), но
- 78 -
различаются имена по первым 63 символам. Имена объявляемых в программе переменных должны быть перечислены в блоках описания VAR:
VAR
Имя1 : ИмяТипаОднойПеременной;
Имя2 : ИмяТипаДругойПеременной;
...
Имя9 : КонструкцияТипаПеременной;
Каждому имени переменной в блоке VAR должен ставится в соответствие ее тип. Имя и тип разделяются двоеточием. После объявления и описания переменной должен стоять символ ";". Концом блока описания будет начало какого-либо другого блока программы или описание процедур и функций.
Имя типа может быть именем предопределенного в языке типа или введенного программистом в предыдущем блоке описания типов TYPE. Но разрешается составлять типы по ходу объявления переменных:
| VAR
| X : Real; { вещественная переменная }
| T : Test; { переменная введенного ранее типа Test }
| i, j, k : Integer; { три целые переменные }
| Subr : 1..10; { целая ограниченная переменная }
| Dim : Array [0..99] of Byte; { переменная типа массив }
| S1, S2, { четыре переменные типа }
| S3, S4 : Set of Char; { множество символов }
| PointRec : RECORD
| X,Y : Real { запись с двумя полями }
| END;
Однотипные переменные могут перечисляться через запятую перед объявлением их типа. Никаких правил умолчания при задании типа (как в Фортране, например) или особого обозначения (как в Бейсике) нет. Все переменные должны быть описаны соответствующим типом.
Переменные подразделяются на глобальные и локальные. Глобальные - это переменные, которые объявлены в разделах VAR вне процедур и функций. Переменные, которые вводятся внутри процедур и функций, называются локальными. Среди глобальных переменных не может быть двух с одинаковым именем. Локальные же переменные, которые известны и имеют смысл только внутри процедур или функций, могут дублировать глобальные имена. При этом внутри подпрограмм
- 79 -
все обращения к таким именам соответствуют обращениям к локальным переменным, а вне их - к глобальным. Локальные и глобальные переменные всегда хранятся в разных местах и даже при одинаковых именах не влияют на значения друг друга.
Все глобальные переменные хранят свои значения в так называемом сегменте данных. Его максимальный объем теоретически равен 65520 байт (почти 64К), но практически он всегда меньше на 1...2К. Таким образом, сумма размеров всех объявленных глобальных переменных должна быть меньше, чем 63К. Если этого мало, то используются ссылки и динамические переменные.
Локальные переменные существуют только при работе объявляющих процедур или функций и хранят свои значения в специально отводимой области памяти, называемой стеком. После окончания работы процедуры или функции ее локальные переменные освобождают стек. Размер стека можно менять от 1024 байт (1К) до тех же 65520 байт, используя ключ компилятора $М. По умолчанию он равен 16384 байт (16К). Это максимальный объем всех локальных переменных, работающих одновременно.
Техническая подробность: компилятор Турбо Паскаля отводит место для хранения значений глобальных переменных в сегменте данных последовательно, по мере перечисления имен. Например, объявление
| Var
| i,j : Byte; {два раза по 1 байту}
| D : Array [1..10] of Char; { десять однобайтных элементов}
| R : Real; { шесть байтов }
разместит будущие значения переменных, как показано на рис. 5.1. Этот чисто технический момент будет использован впоследствии.
Рис. 5.1
Нужно иметь в виду, что все приемы, связанные с особенностями компиляции, гарантированно работают только с Турбо Паскалем существующих на момент написания книги версий.
5.2.1. Совмещение адресов директивой absolute
Турбо Паскаль позволяет управлять при необходимости размещением значений переменных в памяти (ОЗУ). Для этой цели
- 80 -
служит директива absolute с последующим указанием адреса. Возможны два формата задания адреса, с которым в принудительном порядке будет связана переменная. Первый формат - это указание физического адреса нужной ячейки памяти:
| TYPE
| ByteArray1_10 = Array [1..10] of Byte;
| VAR
| Memory : Byte absolute $0000:$0417;
| SystemV : ByteArray1_10 absolute $B800:$0000;
| MemWord : Word absolute $0:$2;
He вдаваясь в подробности задания самого адреса $...:$..., важно отметить, как будут размещены в дальнейшем значения переменных. Все они, вместо того чтобы в порядке следования разместиться в сегменте данных, будут хранить свои значения в явно заданных (абсолютных) адресах. Причем адрес, указываемый после слова absolute, задает первый байт значения. Так, переменная Memory будет хранить и выдавать текущее значение байта системной памяти. Она же будет изменять его присваиваниями типа
Memory := 16;
{ Теперь байт по адресу $0:$417 содержит значение 16. }
Массив SystemV будет начинаться в памяти с указанного ему абсолютного адреса. В данном случае абсолютный адрес будет адресом первого элемента массива, и в этой ячейке будет хранится значение System[1]. Следующий элемент будет расположен сразу за первым в порядке возрастания адреса. Последний, десятый, элемент массива System будет соответствовать значению, хранящемуся в десятой, начиная с абсолютного адреса, ячейке памяти. И, наконец, значение длиной в слово (Word - 2 байта) MemWord будет соответствовать двум последовательным байтам памяти, первый из которых задан его абсолютным адресом в директиве absolute.
Другой формат использования слова absolute служит для совмещения описываемой переменной не с абсолютным адресом ячейки, а с адресом уже объявленной ранее переменной:
| TYPE
| RArray4Type = Array [1..4] of Real;
| Rec4Type = RECORD x1,y1,x2,y2 : Real
| END;
| VAR
| X : Word;
| Y : Word absolute X;
- 81 -
{ массив из четырех значений типа Real: }
dim : RArray4Type;
{ запись из четырех значений типа Real: }
rec : Rec4Type absolute dim;