Сильная типизация
Паскаль — язык т.н. статической («сильной» .»постоянной») типизации. Это значит, что для каждой переменной требуется, чтобы переменная было объявлена с указанием к какому типуона принадлежит до использования этой переменной в теле программы. Далее мы изучим базовые типы данных и, как следствие, переменные, которые используются в Паскале.
Типы данных в Pascal
В Паскале выделяют 5 типов данных (в списке сразу укажем ключевые слова, с помощью которых обозначаются эти типы в программном коде):
integer
— целые числа.real
— вещественные числа.boolean
— логический тип данных (значения типа да/нет, истина/лож).char
— символьный тип.string
— строковый тип.
В этом уроке мы будем говорить об понятия общих для всех типов данных на примере конкретного типа данных — integer (целые числа).
Объявление переменных
Объявление переменных — это уведомление компилятора.Паскаль о том, что в вашей программе будут использоваться переменные с указанными именами, каждая из которых имеет определённый (указанный в секции объявления) тип.
При объявлении переменной всегда указывают:
- Имя переменной.
- Тип переменной.
Объявление переменных происходит после ключевого слова var
, до до тела программы.
В общем виде объявление переменной можно записать так (как схему):
1 2 3 |
var a: integer; b: integer; |
То есть сначала идёт имя переменной, потом двоеточие, а потом один из типов данных (integer, string или иной — смотря какой требуется).
Объявление переменных списком
Также переменные можно объявлять списком (переменные одного типа можно просто перечислить через запятую, а потом после двоеточия указать типа):
1 2 3 4 |
var a,b: integer; // две переменные строкового типа списком с: integer; // и ещё две по одной d: integer; |
Тип, заданный переменной, может быть идентификатором типа, предварительно объявленным
■ В разделе описаний типов данного блока
■ В более старшем блоке (внешнем)
■ В модуле
Также он может быть новым определением типа.
Если идентификатор определяется внутри списка идентификаторов переменных, то такой идентификатор — идентификатор переменной для блока, в котором происходит объявление. На переменную можно ссылаться вне текущего блока, если только ее идентификатор не переобъявлен во внутреннем блоке.
Повторное определение создает новую переменную, с использованием того же самого идентификатора, не меняя значение первоначальной переменной.