Типы данных языка Pascal: классификация и описания. Арифметические и порядковые типы данных, действия с ними. Арифметические выражения: функции, операции и порядок действий. Совместимость и преобразования типов данных.
Типы данных и операции. 1
Порядковые типы данных. 3
Стандартные подпрограммы, обрабатывающие порядковые типы данных. 3
Типы данных, относящиеся к порядковым.. 4
Вещественные типы данных. 5
Конструируемые типы данных. 5
Операции и выражения. 6
Арифметические операции. 6
Другие операции. 7
Стандартные арифметические функции. 7
Арифметические выражения. 7
Полнота вычислений. 8
Порядок вычислений. 8
Совместимость типов данных. 9
Эквивалентность. 9
Совместимость. 9
Совместимость по присваиванию.. 10
Приведение типов данных. 10
Неявное приведение типов данных. 10
Явное приведение типов данных. 11
Функции, изменяющие тип данных. 11
Компиляторы языка Pascal требуют, чтобы сведения об объеме памяти, необходимой для работы программы, были предоставлены до начала ее работы. Для этого в разделе описания переменных ( var ) нужно перечислить все переменные, используемые в программе. Кроме того, необходимо также сообщить компилятору, сколько памяти каждая из этих переменных будет занимать. А еще было бы неплохо заранее условиться о различных операциях, применимых к тем или иным переменным...
Все это можно сообщить программе, просто указав тип будущей переменной. Имея информацию о типе переменной, компилятор "понимает", сколько байт необходимо отвести под нее, какие действия с ней можно производить и в каких конструкциях она может участвовать.
Для удобства программистов в языке Pascal существует множество стандартных типов данных и плюс к тому возможность создавать новые типы.
Конструируя новые типы данных на основе уже имеющихся (стандартных или опять-таки определенных самим программистом), нужно помнить, что любое здание должно строиться на хорошем фундаменте. Поэтому сейчас мы и поговорим об этом "фундаменте".
На основании базовых типов данных строятся все остальные типы языка Pascal, которые так и называются: конструируемые.
Разделение на базовые и конструируемые типы данных в языке Pascal показано в таблице:
Базовые типы данных
Дискретные типы данных
Арифметические типы данных
Адресные типы данных
Структурированные типы данных
Целые
Вещественные
Логический
boolean
Символьный (литерный)
char
shortint
byte
integer
word
longint
real
single
double
extended
comp
Нетипизированный указатель
pointer
Конструируемые типы
Перечисляемый
week = (su, mo, tu,
we, th, fr,sa);
Типизированный указатель
^<тип>
Массив array
Строка string
Запись record
Интервал (диапазон)
budni = mo..fr;
Файл
text
file
Процедурный
Объектный1)
Типы данных, конструируемые программистом
Типы данных, конструируемые программистом, описываются в разделе type по следующему шаблону:
type <имя_типа> = <описание_типа>;
Например:
type lat_bukvy = 'a'..'z','A'..'Z';
Базовые типы данных являются стандартными, поэтому нет нужды описывать их в разделе type. Однако при желании это тоже можно сделать, например, дав длинным определениям короткие имена. Скажем, введя новый тип данных
type int = integer;
можно немного сократить текст программы.
Стандартные конструируемые типы также можно не описывать в разделе type. Однако в некоторых случаях это все равно приходится делать из-за требований синтаксиса. Например, в списке параметров процедур или функций конструкторы типов использовать нельзя (см. лекцию 8).
Среди базовых типов данных особо выделяются порядковые типы. Такое название можно обосновать двояко:
Каждому элементу порядкового типа может быть сопоставлен уникальный (порядковый) номер. Нумерация значений начинается с нуля. Исключение - типы данных shortint, integer и longint. Их нумерация совпадает со значениями элементов.
Кроме того, на элементах любого порядкового типа определен порядок (в математическом смысле этого слова), который напрямую зависит от нумерации. Таким образом, для любых двух элементов порядкового типа можно точно сказать, который из них меньше, а который - больше.
