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

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

program Имя-программы;

label <метки>;

соnst <описание констант>;

type <определения типов данных>;

var <описания переменных>;

procedures и functions;

begin

<основное тело программы>

end.

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

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

После раздела описаний расположен раздел операторов, начинающийся со служебного слова Begin, после которого записываются операторы языка, и заканчивающийся служебным словом End. В этом разделе задаются действия над объектами программы, введенными в разделе описаний. Операторы, посредством которых эти действия производятся, разделяются точкой с запятой. После последнего слова End ставится точка.

4. Типы данных

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

В языке ПАСКАЛЬ существует правило: тип явно задается в описании переменной или функции, которое предшествует их использованию. Концепция типа языка ПАСКАЛЬ имеет следующие основные свойства:

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

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

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

Тип определяет:

• возможные значения переменных, констант, функций, выражений, принадлежащих к данному типу;

• внутреннюю форму представления данных в ЭВМ;

• операции и функции, которые могут выполняться над величинами, принадлежащими к данному типу.

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

В языке ПАСКАЛЬ существуют скалярные (простые) и структурированные типы данных (рис. 4.1).

К простым типам относятся: целый, действительный (вещественный), символьный, логический, перечисляемый и интервальный.

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

Кроме перечисленных, BP включает еще два типа - процедурный и объектный.

Рис.4.1. Структура типов данных

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