ТИПЫ ДАННЫХ

В любом алгоритмическом языке каждая константа, переменная, выражение или функция бывают определенного типа.

В языке ПАСКАЛЬ существует правило: тип явно задается в описании переменной или функции, которое предшествует их использованию. Концепция типа языка ПАСКАЛЬ имеет следующие основные свойства:

ü любой тип данных определяет множество значений (к которому принадлежит и константа) которые может принимать переменная или выражение, или вырабатывать операция или функция;

ü тип значения, задаваемого константой, переменной или выражением, можно определить по их виду или описанию;

ü каждая операция или функция требует аргументов фиксированного типа и выдает результат фиксированного типа.

Тип определяет:

ü возможные значения переменных, констант, функций, выражений, принадлежащих к данному типу;

ü внутреннюю форму представления данных в ЭВМ;

ü операции и функции, которые могут выполняться над величинами, принадлежащими к данному типу.

Обязательное описание типа приводит к избыточности в тексте программ, но такая избыточность является важным вспомогательным средством разработки программ и рассматривается как необходимое свойство современных алгоритмических языков высокого уровня.

В языке ПАСКАЛЬ существуют скалярные (простые) и структурированные типы данных (рис. 4.1).

К простым типам относятся: целый, действительный (вещественный), символьный, логический, перечисляемый и интервальный.

Структурированные типы имеют четыре разновидности: массивы, множества, записи и файлы.

Кроме перечисленных, BP включает еще два типа - процедурный и объектный.

Рис.4.1. Структура типов данных

В Турбо Паскале предусмотрен механизм создания новых типов данных, благодаря чему общее количество типов, используемых в программе, может быть сколь угодно большим.