5. Обмежені типи (тип-діапазон)

Стандартні скалярні типи, перераховані раніше, є зумовленими у мові Паскаль; їх зміст у мові фіксований і його не потрібно описувати. На основі стандартних скалярних типів програміст може визначити нові, власні скалярні типи, керуючись кількома досить простими правилами.

Найпростішим способом утворення нових типів з уже існуючих є обмеження (а саме, звуження) допустимого діапазону значень деякого стандартного скалярного типу. Це обмеження визначається завданням мінімального і максимального значень діапазону.

Синтаксис визначення такого типу:

мінімальне_ значення .. максиімальне_значення

Наприклад:

1 .. 10

-100 .. 100

'A' .. 'z'

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

Допускається створення обмежених типів з дискретних типів, тобто з усіх скалярних типів, крім речовинного. Обмежений тип успадковує всі властивості базового типу (зокрема, набір базових операцій).

Потрібно всіляко вітати активне використання в програмі обмежених типів. Кожного разу, коли заздалегідь відомо, що значення деякої змінної лежать усередині деякого діапазону, слід використовувати обмежений тип. Це істотно підвищує наочність програм, а, крім того, дозволяють більш надійно контролювати помилкові виходи значень за межі заданого діапазону (як при трансляції, так і в процесі виконання програми).

6. Речові типи

Ця група типів позначає безлічі речових значень в різних діапазонах Паскаль підтримує чотири різних речових типу. Вони іменуються ідентифікаторами Real, Single, Double, Extended та Comp і мають характеристики, представлені в таблиці 2.

Таблиця 2

Речовий тип	Діапазон значень	Число цифр мантиси	Розмір пам'яті
Real	2.9 E-39 .. 1.7E38	11-12	6 байт
Single	1.5E-45 .. 3.4E38	7-8	4 байти
Double	5.0E-324 .. 1.7E308	15-16	8 байт
Extended	3.4E-4932 .. 1.1E493	19-20	10 байт
Comp	-2E +63 .. +2 E +63-1		8 байт

Примітки

1. Хоча тип Comp вважається речовим типом, він містить тільки цілі числа з досить значного діапазону, які представляються в обчисленнях як речові (з нульовою мантиссой).

2. Всі речові типи, крім Real, можуть використовуватися в програмі, взагалі кажучи, тільки якщо зроблені відповідні опції компілятора. Для коректної компіляції програми, що використовує ці типи, можна також застосувати директиву компілятора {+ N}.

Речові значення можуть зображуватися у формі з фіксованою точкою і в формі з плаваючою крапкою. У першому випадку ціла і дробова частини дійсного числа відокремлюються одне від одного символом '.' (Крапка). Обидві ці частини мають бути обов'язково присутніми, наприклад:

17.384

0.5

Дійсне число у формі з плаваючою точкою записується як пара види:

<Мантиса> Е<порядок>

Таке позначення розуміється як "мантиса, помножена на 10 у степені, що дорівнює порядку". Наприклад:

7Е-2 еквівалентно 7 · 10 ^-2

12.25 Е +6 або 12.25 Е6 еквівалентно 12.25 · 10 ⁶