Определение типов
При составлении программ могут использоваться данные самых разнообразных типов, включая и достаточно сложные. От типа переменной зависит выделяемая для нее память и интерпретация данных в выделенной памяти.
В простейшем случае указывается стандартный тип при описании переменной, например, как в примере вычисления суммы. Однако в Паскале допускается определение своего типа отдельно, например определение комплексного типа:
Type Complex = Record
Re,Im:real;
end;
Начинается этот раздел с служебного слова Type и широко используется при работе с динамическими переменными и при объектном программировании.
Описание переменных
Перед началом выполнения программы под все переменные (за исключением динамических) должно быть выделено место в памяти ЭВМ. То есть все переменные, используемые в программе, должны быть описаны и транслятор «должен знать» о них. В некоторых языках программирования используются правила умолчания, так в Фортране тип и размер переменной определяется по первой букве имени, и часто этот раздел отсутствует: при встрече новой переменной по тексту программы для нее автоматически определяется размер и выделяется место (она заносится в таблицу). Но язык Паскаль разрабатывался как «надежный» язык программирования, с максимально возможным поиском формальных ошибок. Поэтому в нем все переменные, участвующие в программе, должны быть описаны в данном разделе.
Общий вид описания переменных выглядит следующим образом:
Var <имя1>[,<имя2>...] :<тип>; ...
Например:
Var x:real;
i,j,k:integer;
Так как по свойству массовости алгоритма переменные присутствуют в каждой программе, то в реальных программах всегда в наличии и этот раздел.
Раздел описания процедур и функций будет рассмотрен далее.
Контрольные вопросы
Какие группы символов входят в алфавит языка Паскаль?
Что такое служебные слова?
Приведите примеры метасимволов для описания общих конструкций языка программирования.
Из каких элементов состоит программа на языке Паскаль?
Что такое в структуре программы блок?
Какие бывают разделы описаний?
Как отделяются операторы друг от друга?
Как записываются комментарии?
Для чего используются идентификаторы (имена)?
Какие есть правила образования идентификаторов (имен)?
Что такое метка и для чего они используются?
Каким образом рекомендуется располагать конструкции программы для ее большей наглядности?
Каким образом описываются метки?
Какие различия между константами и переменными?
Как описываются константы?
Как определяется тип описываемых констант?
Что такое типизированные константы?
Как описываются типы?
Как описываются переменные?
Какой раздел описаний чаще всего присутствует в простых программах?
Часть 3. Простые типы данных Иерархия типов
В Паскале любая переменная характеризуется своим типом. Под типом здесь понимается множество значений, которые может принимать переменная, и множеством операций, допустимых над данной переменной.
Паскаль является типизированным, или статическим языком, то есть тип переменной определяется при ее описании и не может быть изменен в процессе выполнения программы. Транслятором контролируется допустимость операций с величинами данного типа, чем повышается надежность программы.
Паскаль имеет развитую систему типов. На основе стандартных типов можно конструировать данные произвольной структуры и сложности, адекватно отражающие информационную природу задачи, используя раздел описания типов.
Турбо-Паскаль наследует систему типов стандартного языка, но несколько расширен, что представлено на схеме рис. 3.1.
Рис. 3.1. Иерархия стандартных типов языка Паскаль.
Базовыми являются стандартные типы, на основе которых по определенным правилам образуются все остальные. Новые типы, появившиеся в Турбо-Паскале, отмечены звездочкой, в языке Delphi введены и еще дополнительные типы. Каждому типу соответствует свое имя, указываемое при описании переменных или введении новых типов.