Глава 4. Введение в систему типов языка
Турбо Паскаль является языком с сильной системой типизации. Это означает, что все данные, обрабатываемые программой, должны принадлежать к какому-либо заранее известному типу. В языке предопределено достаточное количество типов данных (например, целые и вещественные числа, символы, строки и т.п.) и имеются большие возможности для объявления новых типов, более подходящих для конкретных практических приложений.
Объявление новых типов в программе на Паскале происходит в блоке описания типов TYPE. Алгоритм объявления нового типа прост: ставится ключевое слово TYPE, и за ним следует перечисление новых имен типов, которые будут введены, и конструкций из уже известных или ранее введенных типов, непосредственно определяющих новый тип. Схематично это выглядит так:
TYPE
НовыйТип1 = Массив целых чисел;
НовыйТип2 = Множество символов;
...
НовыйТип101 = Целое число;
НовыйТип102 = Перечисленные здесь значения;
В реальной программе, конечно, слева должны стоять имена — названия новых типов (идентификаторы введенных типов), а справа — определяющие тип зарезервированные слова и имена образующих типов. Между именем и его определением обязателен знак равенства «=» (не путать со знаком присваивания «:=»). Также обязательна точка с запятой «;» после завершения определения каждого нового типа. Концом блока описания типов считается начало любого другого блока (например, VAR, CONST, BEGIN) или описание заголовков процедур и (или) функций.
Какие же возможные типы данных и способы их развития предоставляет Турбо Паскаль? Система типов Турбо Паскаля значительно шире, чем в стандартном Паскале. В первую очередь, это обусловливается большим количеством базовых (простых) типов языка. Так, одних только целочисленных типов вводится пять (с математическим сопроцессором — все шесть)!
Основной (стандартный) набор простых, т.е. определяющих тип только одного отдельного значения, типов таков:
- 61 -
1. Числовые типы:
короткое целое без знака — Byte (0..255);
короткое целое со знаком — ShortInt (-128..127);
целое без знака — Word (0..65535);
целое со знаком — Integer (-32768..32767);
длинное целое со знаком — LongInt (-2147483648..2147483647);
вещественное — Real (точность 11-12 знаков после запятой).
2. Логический тип — Boolean.
3. Символьный тип — Char.