Структура программы.

Структура программы: обзор.

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

Программа на языке PascalABC.NET имеет следующий вид:

Program имя программы; Раздел uses. Раздел описаний. Begin. Операторы. End.

Первая строка называется заголовком программы и не является обязательной.

Раздел uses начинается с ключевого слова uses, за которым следует список имен модулей и пространств имен .NET, перечисляемых через запятую.

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

* раздел описания переменных.

* раздел описания констант.

* раздел описания типов.

* раздел описания меток.

* раздел описания процедур и функций.

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

Далее следует блок begin/end, внутри которого находятся операторы, отделяемые один от другого символом точка с запятой. Среди операторов может присутствовать оператор описания переменной, который позволяет описывать переменные внутри блока.

Раздел uses и раздел описаний могут отсутствовать.

Например:

Program MyProgram; Var. A,b: integer; X: real; Begin. Readln(a,b); X := a/b; Writeln(x);

Или.

Uses GraphABC; Begin. Var x := 100; Var y := 100; Var r := 50; Circle(x,y,r);

Идентификаторы и ключевые слова.

Идентификаторы служат в качестве имен программ, модулей, процедур, функций, типов, переменных и констант. Идентификатором считается любая последовательность латинских букв или цифр, начинающаяся с буквы. Буквой считается также символ подчеркивания _.

Например, a1, _h, b123 - идентификаторы, а 1a, ф2 - нет.

С каждым идентификатором связана область действия идентификатора.

Следующие слова являются ключевыми, служат для оформления конструкций языка и не могут использоваться как идентификаторы:

And array as auto begin case class const constructor destructor div do downto else end event except file final finalization finally for foreach function goto if implementation in inherited initialization interface is label lock mod nil not of operator or procedure program property raise record repeat set shl shr sizeof template then to try type typeof until uses using var where while with xor.

Ряд слов является контекстно ключевыми (они являются ключевыми только в некотором контексте):

Abstract default external forward internal on overload override params private protected public read reintroduce unit virtual write.

Контекстно ключевые слова могут использоваться в качестве имен.

Некоторые ключевые слова совпадают с важнейшими именами платформы .NET. Поэтому в PascalABC.NET предусмотрена возможность использовать эти имена без конфликтов с ключевыми словами.

Первый способ состоит в использовании квалифицированного имени. Например:

Var a: System.Array;

В этом контексте слово Array является именем внутри пространства имен System, и конфликта с ключевым словом array нет.

Второй способ состоит в использовании специального символа & перед именем. В этом случае имя может совпадать с ключевым словом. Например:

Uses System; Var a: &Array;

Комментарии.

Комментарии - это участки кода, игнорируемые компилятором и используемые программистом для пояснения текста программы.

В PascalABC.NET имеется несколько типов комментарев.

Последовательность символов между фигурными скобками { } или символами (* и *) считается комментарием:

{ Это. Комментарий }. (* Это. Тоже комментарий *).

Комментарием также считается любая последовательность символов после символов // и до конца строки:

Var Version: integer; // Версия продукта.

Комментарии разных типов могут быть вложенными:

{ Это еще один. (* комментарий *)}.

Описание переменных.

Переменные могут быть описаны в разделе описаний, а также непосредственно внутри любого блока begin/end.

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

Список имен: тип;

Или.

Имя: тип := выражение;

Или.

Имя: тип = выражение; // для совместимости с Delphi.

Или.

Имя := выражение;

Имена в списке перечисляются через запятую. Например:

Var. A,b,c: integer; D: real := 3.7; S := 'PascalABC forever'; Al := new List<integer>; P1 := 1;

В последних трех случаях тип переменной автоматически определяется по типу правой части.

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

Кроме того, переменные-параметры цикла могут описываться в заголовке операторов for и foreach.

Описание констант.

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

Имя константы = значение;

Или.

Имя константы : тип = значение;

Например:

Const. Pi = 3.14; Count = 10; Name = 'Mike'; DigitsSet = ['0'..'9']; Arr: array [1..5] of integer = (1,3,5,7,9); Rec: record name: string; age: integer end = (name: 'Иванов'; age: 23); Arr2: array [1..2,1..2] of real = ((1,2),(3,4));

Описание меток.

Раздел описания меток начинается с зарезервированного слова label, после которого следует список меток, перечисляемых через запятую. В качестве меток могут быть использованы идентификаторы и положительные целые числа:

A1,l2,777777;

Метки используются для перехода в операторе goto.

Описание типов.

Раздел описания типов начинается со служебного слова type, после которого следуют строки вида.

Имя типа = тип;

Например, type. Arr10 = array [1..10] of integer; myint = integer; Pinteger = ^integer; IntFunc = function(x: integer): integer;

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

Описание типов для классов использовать обязательно:

Type. A = class. I: integer; constructor Create(ii: integer); begin. I:=ii; end; end;

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

Type. Int = integer; Double = real;

Описания типов могут быть обобщёнными, т.е. включать параметры-типы в угловых скобках после имени типа.

Type. Dict<K,V> = Dictionary<K,V>; Arr<T> = array of T;

Использование такого типа с конкретным параметром-типом называется инстанцированием типа:

Var. A: Arr<integer>; D: Dict<string,integer>;

При описании рекурсивных структур данных указатель на тип может фигурировать раньше описания самого типа в определении другого типа:

Type. PNode = ^TNode; TNode = record. Data: integer; Next: PNode; end;

При этом важно, чтобы определения обоих типов находились в одном разделе type.

В отличие от Delphi Object Pascal следующее рекурсивное описание верно:

Type. TNode = record. Data: integer; Next: ^TNode; end;

Отметим, что для ссылочных типов (классов) разрешается описание поля с типом, совпадающим с типом текущего класса:

Type. Node = class. Data: integer; Next: Node; end;

Область действия идентификатора.

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

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

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

Кроме этого, имеются переменные, определенные в блоке и связанные с некоторыми конструкциями (for, foreach). В этом случае действие переменной i простирается до конца соответствующей конструкции. Так, следующий код корректен:

Var a: array of integer := (3,5,7); For i: integer := 1 to 9 do. Write(a[i]); Foreach i: integer in a do. Write(i);

Идентификатор с тем же именем, определенный во вложенном пространстве имен, скрывает идентификатор, определенный во внешнем пространстве имен. Например, в коде.

Var i: integer; Procedure p; Var i: integer; Begin. I := 5; End;

Значение 5 будет присвоено переменной i, описанной в процедуре p; внутри же процедуры p сослаться на глобальную переменную i невозможно.

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

Var i: integer; Begin. Var i: integer; // ошибка. End.

В производных классах, напротив, можно определять члены с теми же именами, что и в базовых классах, при этом их имена скрывают соответствующие имена в базовых классах. Для обращения к одноименному члену базового класса из метода производного класса используется ключевое слово inherited:

Type. A=class. I: integer; procedure p; begin. I := 5; end; end; B=class(A). I: integer; procedure p; begin. I := 5; inherited p; end; end;

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

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

Uses unit1,unit2; Begin. Id := 2; End.

Описание переменной id будет искаться вначале в основной программе, затем в модуле unit2, затем в модуле unit1. При этом в разных модулях могут быть описаны разные переменные id. Данная ситуация означает, что unit1 образует внешнее пространство имен, пространство имен unit2 в него непосредственно вложено, а пространство имен основной программы вложено в unit2.

Если в последнем примере оба модуля - unit1 и unit2 - определяют переменные id, то рекомендуется уточнять имя переменной именем модуля, используя конструкцию ИмяМодуля.Имя:

Uses unit1,unit2; Begin. Unit1.id := 2; End.