Порядковые типы данных
Тип данных
Совместимость типов
Конструируемые типы данных
Вещественные типы данных
Порядковые типы данных
Тип данных
План
Лекция 8
Тема: Тип данных
Компиляторы языка Pascal требуют, чтобы сведения об объёме памяти, необходимой для работы программы, были предоставлены до начала её работы. Для этого в разделе описания переменных (var) нужно перечислить все переменные, используемые в программе. Кроме того, необходимо также сообщить компилятору, сколько памяти каждая из этих переменных будет занимать. А ещё было бы неплохо заранее условиться о различных операциях, применимых к тем или иным переменным...
Всё это можно сообщить программе, просто указав тип будущей переменной. Имея информацию о типе переменной, компилятор «понимает», сколько байт необходимо отвести под неё, какие действия с ней можно производить и в каких конструкциях она может участвовать.
Тип определяет множество допустимых значений, которые может иметь тот или иной объект, а также множество допустимых операций, которые применимы к нему. Кроме того, тип определяет также и формат внутреннего представления данных в памяти ПК .
Базовые типы данных являются стандартными, поэтому нет нужды описывать их в разделе type. Однако при желании это тоже можно сделать, например, дав длинным определениям короткие имена. Скажем, введя новый тип данных
type Int = Integer;можно немного сократить текст программы.
Разделение на базовые и конструируемые типы данных в языке 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 | ||||||
| Множество set | ||||||
| Интервал (диапазон) Budni = Mo .. Fr; | Файл Text File | |||||
| Процедурный | ||||||
| Объектный1 | ||||||
Среди базовых типов данных особо выделяются порядковые типы. Такое название можно обосновать двояко:
1. Каждому элементу порядкового типа может быть сопоставлен уникальный (порядковый) номер. Нумерация значений начинается с нуля. Исключение — типы данных ShortInt, Integer и LongInt. Их нумерация совпадает со значениями элементов.
2. Кроме того, на элементах любого порядкового типа определён порядок (в математическом смысле этого слова), который напрямую зависит от нумерации. Таким образом, для любых двух элементов порядкового типа можно точно сказать, который из них меньше, а который — больше2.