ТИПЫ ДАННЫХ

Определение типа данных.

Переменные.

Переменная – это программный объект, способный принимать некоторое значение. Переменная имеет собственное имя, фиксированный тип и переменное значение. Тип – одно из фундаментальных понятий языка программирования. Он задает множество значений, которые может принимать переменная данного типа, форму представления ее значений в памяти компьютера и операции над переменной. Тип связывается с именем посредством объявления. В соответствии с типом компилятор резервирует некоторую область памяти, где будут храниться текущие значения переменной. В программе на алгоритмическом языке Паскаль можно использовать только переменные, определенные в разделе VAR. Каждая переменная после ее описания отождествляется с некоторой ячейкой (областью) памяти, содержимое которой является ее значением. Поэтому все переменные программы или подпрограммы объявляются в соответствующих разделах определения переменных программы или подпрограммы. Форма определения переменных: VAR список объявлений переменных.

Определение переменных одного элемента списка объявлений:

список идентификаторов переменных : тип;

VAR

A, B, I, J : INTEGER; {целого типа}

X, Y, Z : REAL; {вещественного типа}

В ряде случаев более удобным или вообще единственно возможным является объявление типа переменной в блоке описаний программы. Раздел определения типов раздела описания программы должен начинаться со служебного слова TYPE, после которого вводится имя типа переменной и ее тип. В языке определяются по умолчанию стандартные типы данных (REAL, INTEGER, BOOLEAN, CHAR и STRING). Определение типа используется для описания простых и сложных (структурированных) типов данных.

Форма определения типа:

TYPE F = тип.

Пример.

TYPE {начало раздела определения типов}

G = REAL

VECTOR = ARRAY [1..20] OF REAL {определение типа переменной вектор}

MATR = ARRAY [1..20, 1..30] OF INTEGER;

STROKA = STRING [10];

VAR {начало раздела определения переменных}

G1, G2 : G

A, B : VECTOR;

C, D : MATR;

E, F : STROKA;

Приведенные переменные можно определить не в разделе объявления типов данных, а в разделе объявления переменных:

VAR

A, B : ARRAY[1..20] OF REAL;

MATR : ARRAY [1..20,1..30];

Данные – это формализованное представление информации. Они обрабатываются программами. Конкретным выражением данных в компьютере являются константы и переменные. Данные, с обрабатываемой информацией пользователя, могут быть разных типов: простые и сложные.

Тип данного определяет:

1) вид информации;

2) допустимый набор преобразований;

3) множество допустимых значений.

Поэтому тип данного считается заданным, если известна: форма его объявления; допустимый диапазон значений; возможные операции по его обработке.

Порядковыми называют данные, которые имеют конечное число возможных значений, которые можно определенным образом упорядочить и, следовательно, с каждым из них можно сопоставить некоторое целое число – присвоить порядковый номер. К любому из порядковых типов применима функция ORD(X), которая возвращает порядковый номер значения X.

К порядковым типам можно применять также функции:

1. Pred (X) – возвращает предыдущее значение порядкового типа (значение, которое соответствует порядковому номеру ORD(X) – 1);

2. Succ (X) – возвращает следующее значение порядкового типа, которое соответствует порядковому номеру ORD(X) + 1.

Количество возможных значений вещественных типов столь велико, что сопоставить с каждым из них целое число не представляется возможным.

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