Методы программирования

61

записав выражения в скобках. Каждое выражение обозначает значение множества.

Запись [] обозначает пустое множество, которое является совместимым со всеми типами множеств.

Пример:

{ Типы наборов }

Type Day = (Sun, Mon, Tue, Wed, Thu, Fri, Sat); CharSet = Set Of Char;

Digits = Set Of 0..9;

Days = Set Of Day;

{ Конструкторы множеств }

['0'..'9', 'A'..'Z', 'a'..'z', '_'] [1, 5, I + 1 .. J - 1] [Mon..Fri]

Строковые типы

(String: зарезервированное слово)

Строковая переменная — это последовательность символов с динамической длиной, и постоянным максимальным размером в диапазоне от 1 до 255.

Синтаксис: String [константа]

или

String

Замечания:

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

-'Turbo Pascal'

-'That''s all'

Две последовательных одиночных кавычки используются для задания в строке одиночной кавычки.

Со строковыми типами могут использоваться следующие операторы:

+ = <> < > <= >=

Стандартная функция Length возвращает динамическую длину строки.

Пример:

{ Определения строковых типов }

62

Const LineLen = 79;

Type Name = String[25];

Line = String[LineLen];

Символьный тип

Переменные порядкового типа Char используются для хранения символов ASCII. Символьные константы записываются в апострофах, например:

'A', '3' или '*'

Один символ апострофа записывается как два апострофа в апострофах, например:

''''

Булевы типы

Имеются четыре предопределенных булевых типа: Boolean,

WordBool, LongBool и ByteBool.

Синтаксис:

Type Boolean = (False, True); WordBool = (False, True); LongBool = (False, True); ByteBool = (False, True);

Замечания:

Эти типы имеют следующие размеры:

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

False < True Ord(False) = 0 Ord(True) = 1 Succ(False) = True Pred(True) = False

63

Тип Boolean является предпочтительным, так как он использует наименьшее количество памяти. ByteBool, WordBool и LongBool существуют только для совместимости с Windows.

В выражениях, следующие операторы сравнения производят результат типа Boolean:

= <> > < >= <= IN

Для совместимости с Windows, булевы типы могут принимать порядковые значения не только 0 и 1.

Булево выражение является ложью (False), если его порядковое значение равно нулю и истиной (True), если его порядковое значение не равно нулю. Булевы операторы Not, And, Or и Xor работают проверяя значения на 0 (False) или не 0 (True), но всегда возвращают результат с порядковым значением 0 или 1.

Массив

Array (зарезервированное слово). Определяет массив. Синтаксис:

Array [тип_индексов] Of тип_элементов

Замечания:

Позволяются несколько типов индексов, если они разделены запятыми.

Элементы массива могут иметь любой тип, а тип индексов должен быть порядковым.

Пример:

Type IntList = Array[1..100] Of Integer; CharData = Array['A'..'Z'] Of Byte; Matrix = Array[0..9, 0..9] Of Real;

Указательные типы

Переменная указательного типа содержит адрес в памяти динамической переменной определенного типа.

Вы можете присвоить значение указательной переменной с помощью:

-процедур New или GetMem

-оператора @ или функции Addr

-функции Ptr

Зарезервированное слово NIL обозначает указатель, который не указывает никуда.

Указатель:

64

Предопределенный тип Pointer обозначает нетипизированный указатель (указатель который не указывает на какой-либо определенный тип).

PChar:

Предопределенный тип PChar обозначает указатель на строку с завершающим нулем.

Type PChar = ^Char;

Borland Pascal для Windows поддерживает набор расширенных правил синтаксиса (управляемых с помощью директивы компилятора $X) для облегчения обработки строк типа PChar.

Пример:

{ Объявление указательных типов }

Type BytePtr = ^Byte; WordPtr = ^Word; IdentPtr = ^IdentRec; IdentRec = Record Ident : String[15]; RefCount : Word; Next : IdentPtr;

End;

Объектные типы (Object: зарезервированное слово)

Объект — структура данных, которая содержит фиксированное число компонентов.

Синтаксис:

Оbject

Поле; Поле;

...

Метод; Метод;

End;

Замечания:

Описание поля объекта состоит из идентификатора, двоеточия и типа данных. Кроме того, объект содержит заголовки методов. Каждый

65

компонент является или полем (которое содержит данные указанного типа) или методом, который выполняет операцию с полями объекта.

Объявление поля содержит идентификатор, который обозначает поле и его тип данных. Объявление метода содержит заголовки процедур, функций, конструктора или деструктора.

Поле = ИмяПоля(ей) : тип;

Метод = Procedure ИмяМетода(<параметр(ы)> : тип); или = Function ИмяМетода(<параметр(ы)> : тип) : тип; или = Constructor ИмяМетода(<параметр(ы)> : тип

[;<параметр(ы)> : тип]); [virtual];

или = Destructor ИмяМетода[(<параметр(ы)> : тип)]; [virtual];

Объектный тип может наследовать компоненты другого объектного типа. Объект наследования - потомок, а объект, от которого произошло наследование — предок. Область видимости объектного типа состоит из него самого и всех его потомков.

Файлы

File (зарезервированное слово)

Файловый тип состоит из линейной последовательности компонентов любого типа, кроме файлового.

Синтаксис: file of тип

или

file

Замечания:

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

Пример:

(* Объявления файловых типов *)

Type Person = Record

FirstName : String[15];

LastName : String[25];

Address : String[35]; End;

PersonFile = File Of Person;

66

NumberFile = File Of Integer;

SwapFile = File;

Целочисленные типы

В Turbo Pascal предопределено пять целочисленных типов. Каждый тип обозначает подмножество целых чисел:

Все целочисленные типы являются порядковыми.

Переменные

Var (зарезервированное слово)

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

Синтаксис:

Var идентификатор, … идентификатор : тип; идентификатор, … идентификатор : тип;

Замечания:

Для указания абсолютного адреса в памяти может использоваться зарезервированное слово Absolute.

Зарезервированное слово Var также используется для объявления переменного параметра.

Примеры:

{ Объявления переменных }

Var X, Y, Z : Real; I, J, K : Integer;

Done, Error : Boolean; Vector : Array[1..10] Of Real; Name : String[15];

InFile, OutFile : Text;

Letters : Set of 'A'..'Z';

Постоянные выражения

Постоянное выражение — это выражение, которое может быть оценено компилятором без непосредственного запуска программы.

67

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

-Ссылки на переменные и типизированные константы (за исключением выражений базового адреса)

-Оператор @ (за исключением выражений базового адреса)

-Обращения к функциям (за исключением следующих)

Константы

Описания констант (Const: зарезервированное слово)

Описание константы содержит идентификатор, который обозначает константу внутри блока, в котором происходит объявление. Идентификатор константы не может быть включен в свое собственное объявление.

Синтаксис:

Const идентификатор = значение; идентификатор = значение; Замечания:

Выражение "значение", используемое в описании константы должно быть написано так, чтобы компилятор смог оценить его значение во время компиляции. В Turbo Pascal позволяются постоянные выражения в качестве расширения стандартного Pascal.

Для объявления инициализированной переменной можно использовать типизированные константы. В отличие от нетипизированных констант, при объявлении типизированной константы можно задать и тип, и значение константы. Типизированные константы могут изменяться при работе программы точно так же как и переменные.

Примеры:

(* Описания констант *)

Const MaxData = 1024 * 64 - 16; NumChars = Ord('Z') - Ord('A') + 1; Message = 'Hello world !';

Типизированные константы

Типизированные константы подобны инициализированным переменным (переменным с заданными начальными значениями).

В отличие от нетипизированных констант, объявление типизированной константы определяет сразу и тип, и значение константы. Типизированные константы могут использоваться подобно переменным того же самого типа, и могут находиться в левой части оператора присваивания.

69

X, Y : Real;

End;

Vector = Array [0..1] Of Point;

Month = (Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec);

Date = Record

D : 1..31;

M : Month;

Y : 1900..1999;

End;

Const Origin : Point = (X : 0.0; Y : 0.0);

Line : Vector = ((X : -3.1; Y : 1.5), (X : 5.8; Y : 3.0));

SomeDay : Date = (D : 2; M : Dec; Y : 1960);

Константы типа наборов

Объявление константы типа набора содержит значение набора, заданное с использованием постоянного выражения.

Примеры:

Type Digits = Set Of 0..9; Letters = Set Of 'A'..'Z';

Const EvenDigits : Digits = [0, 2, 4, 6, 8]; Vowels : Letters = ['A', 'E', 'I', 'O', 'U', 'Y']; HexDigits : Set Of '0'..'z' = ['0'..'9', 'A'..'F', 'a'...f'];

Константы типа массивов

Объявление константы типа массива определяет значения компонентов массива. Тип компонентов массива может быть любым, кроме файлового.

Пример:

Type Status = (Active, Passive, Waiting);

StatusMap = Array [Status] Of String[7];

Const StatStr : StatusMap = ('Active', 'Passive', 'Waiting'); { компоненты StatStr:

StatStr[Active] = 'Active'

StatStr[Passive] = 'Passive' StatStr[Waiting] = 'Waiting' }

Символьные массивы:

Упакованные константы со строковым типом (символьные массивы) могут быть определены и как одиночные символы, и как строки. Например, такое определение:

70

Const Digits : Array [0..9] Of Char = ('0', '1', '2', '3', '4', '5', '6', '7', '8', '9');

может быть выражено более коротко:

Const Digits : Array [0..9] Of Char = '0123456789';

Нуль-основанные символьные массивы:

Нуль-основанный символьный массив - это такой массив, в котором индекс первого элемента равен нулю, а последнего - положительному ненулевому целому числу. Например:

Array [0..X] Of Char;

Если вы включаете расширенный синтаксис (с помощью директивы компилятора {$X+}), то нуль-основанный символьный массив может быть инициализирован строкой, длина которой меньше, чем объявленная длина массива. Например:

Const FileName = Array [0..79] Of Char = 'TEST.PAS';

Если строка короче, чем длина массива, то оставшиеся символы устанавливаются равными NULL (0), и массив будет содержать строку с нулевым окончанием.

Константы — многомерные массивы:

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

Например, такое объявление:

Type Cube = Array[0..1, 0..1, 0..1] Of Integer; Const Maze : Cube = (((0, 1), (2, 3)), ((4, 5), (6, 7)));

создает инициализированный массив Maze:

Maze[0, 0, 0] = 0

Maze[0, 0, 1] = 1

Maze[0, 1, 0] = 2

Maze[0, 1, 1] = 3

Maze[1, 0, 0] = 4

Maze[1, 0, 1] = 5

Maze[1, 1, 0] = 6

Maze[1, 1, 1] = 7