Типи даних

Поняття типу даних в Турбо Паскаль

Для обробки ЕОМ дані представляються у вигляді величин та їх сукупностей. З поняттям величини пов'язані така важлива характеристика, як її тип.

Тип визначає:

можливі значення змінних, констант, функцій, виразів, що належать до даного типу;
внутрішню форму представлення даних в ЕОМ;
операції та функції, що можуть виконуватися відносно до величин, котрі належать до даного типу.

У мові Паскаль тип величини визначають заздалегідь. Всі змінні, що використовуються в програмі, повинні бути оголошені в розділі опису разом із зазначенням їх типу. Обов'язковий опис типу призводить до надмірності в тексті програми, але така надмірність є важливим допоміжним засобом розробки програм і розглядається як необхідна властивість сучасних алгоритмічних мов високого рівня.

Ієрархія типів у мові Паскаль наступна:

Прості
- Порядкові
  - Цілі
  - Логічні
  - Символьні
  - Перераховувані
  - Інтервальні
- Дійсні
Структуровані
- Масиви
- Рядки
- Множини
- Записи
- Файли
Покажчики

Прості типи даних

У таблиці наведені прості типи даних Турбо Паскаль, обсяг пам'яті, який необхідний для зберігання однієї змінної зазначеного типу, множина допустимих значень і допустимі операції.

Ідентифікатор	Довжина (байт)	Діапазон значень	Операції
Цілі типи
integer	2	-32768..32767	+, -, /, *, Div, Mod, >=, <=, =, <>, <, >
byte	1	0..255
word	2	0..65535
shortint	1	-128..127
longint	4	-2147483648..2147483647
Дійсні типи
real	6	2,9x10^-39 - 1,7x10³⁸	+, -, /, *, >=, <=, =, <>, <, >
single	4	1,5x10^-45 - 3,4x10³⁸
double	8	5x10^-324 - 1,7x10³⁰⁸
double	8	5x10^-324 - 1,7x10³⁰⁸
Логічний тип
boolean	1	true, false	Not, And, Or, Xor, >=, <=, =, <>, <, >
Символьний тип
char	1	Всі символи коду ASCII	+, >=, <=, =, <>, <, >

Перелічуваний та інтервальний типи відносяться до таких, що визначаються користувачем і будуть розглянуті нами пізніше.

Порядкові типи, які виділяються з групи простих типів, характеризуються наступними властивостями:

всі можливі значення порядкового типу являють собою обмежену впорядковану множину;
до будь-якого порядкового типу може бути застосована стандартна функція Ord, яка в якості результату повертає порядковий номер конкретного значення в даному типі;
до будь-якого порядкового типу можуть бути застосовані стандартні функції Pred і Succ, які повертають попереднє і наступне значення відповідно;
до будь-якого порядковому типу можуть бути застосовані стандартні функції Low і High, які повертають найменше і найбільше значення величин даного типу.

У мові Паскаль введено поняття еквівалентності і сумісності типів. Два типи Т1 і Т2 є еквівалентними (ідентичними), якщо виконується одна з двох умов:

Т1 і Т2 є одне і те ж ім'я типу;
тип Т2 описаний з використанням типу Т1 за допомогою рівності або послідовності рівності. Наприклад:

 type
 T1 = Integer;
 T2 = T1;
 T3 = T2;

Менш строгі обмеження накладаються на сумісність типів. Так, типи є сумісними, якщо:

вони еквівалентні;
є обидві або цілими, або дійсними;
один тип - інтервальний, інший - його базовий;
обидва інтервальні із загальним базовим;
один тип - рядковий, інший - символьний.

У Турбо Паскаль обмеження на сумісність типів можна обійти з допомогою приведення типів. Приведення типів дозволяє розглядати ту саму величину в пам'яті ЕОМ як належить різним типам. Для цього використовується конструкція

Ім‘я_Типу (змінна чи значення)

Наприклад, Integer ('Z') являє собою значення коду символу 'Z' в двобайтному поданні цілого числа, а Byte (534) дасть значення 22, оскільки ціле число 534 має тип Word і займає два байти, а тип Byte займає один байт, і в процесі приведення старший байт буде відкинутий.