Тип символів та інші перелічувані

6.5.* У шістнадцятковій системі числення літерами 'A', 'B', … , 'F' позначають числа, що в десятковій системі зображаються відповідно як 10, 11, … , 15. Написати оператор, що задає обчислення:

а) цілого числа від 0 до 15 за значенням символьної змінної ch, яким може бути цифра від '0' до '9' або буква від 'A' до 'F';

б) символу від '0' до '9' або від 'A' до 'F' за цілим значенням змінної dg від 0 до 15.

6.6. Написати програму друкування таблиці символів та їх номерів, починаючи з символу ' ' (пропуск), номер якого 32.

6.2. Перелічувані типи

Елементи кожного з типів Boolean, char і integer упорядковані відповідно до операції порівняння <. У цьому порядку їх можна взаємно однозначно зіставити натуральним числам 0, 1, … (перелічити їх). За будь-яким натуральним числом можна указати наступне за ним і попереднє перед ним (крім числа 0). Так само за будь-яким елементом, крім найбільшого, цих типів можна назвати наступний за ним і за будь-яким елементом, крім найменшого, – попередній перед ним. Наприклад, наступним за false є true, наступним за chr(0) – chr(1), за chr(254) – chr(255).

Елементи типу real теж упорядковані, але поставити їм у відповідність натуральні 0, 1, … неможливо, як і за дійсним числом указати наступне за ним. Отже, всім базовим типам, окрім типу real, притаманно те, що для них означено операції "наступний", "попередній" та "порядковий номер".

У мові Паскаль перелічуваним називається тип, для якого означено операції SUCC (наступний), PRED (попередній) і ORD (порядковий номер елемента), а також порівняння =, <>, <, >, <=, >=.

Типи boolean, char і integer, на відміну від типу real, є перелічуваними. Операції succ, pred, ord записуються у вигляді викликів функцій: вирази pred(1), succ('a') і ord(true) мають значення відповідно 0, 'b' і 1.

Всі чотири базових типи називаються скалярними, тому що значення цих типів не складені з частин, які можна було б окремо ідентифікувати. У наступному підрозділі ми розглянемо спосіб означення власних скалярних типів. Але всі вони будуть перелічуваними.У мові Турбо Паскаль для всіх перелічуваних типів означено операції, аналогічні succ і pred. Вони застосовуються до змінних перелічуваних типів у вигляді викликів процедур INC і DEC. Виклик inc(z) рівносильний оператору z:=succ(z), dec(z) – оператору z:=pred(z). У виклику може бути другий аргумент – цілочисловий вираз. Наприклад, виклик inc(z, 2) задає збільшення z на дві "одиниці" того типу, до якого належить z. Якщо змінна z типу char і має значення 'A', то в результаті виконання inc(z, 2) її значенням буде 'C'. Значення виразу може бути й від'ємним – тоді z зменшиться. Аналогічно за виконання dec(z, 3) значення z зменшується у його типі, наприклад, від 3 до 0 або від 'D' до 'A'.

6.3. Означення власних перелічуваних типів

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

Носій типу, тобто множина його елементів, задається в означенні імені типу. Загальний вигляд означення такий:

type ім'я = вираз, що описує елементи множини;

Службове слово type – це англійське "тип". З виразами, що задають множини елементів, ми будемо знайомитися поступово.

Найпростіший вираз – це ім'я типу, уже означене вище або ім'я стандартного типу. Наприклад, означення

type int = integer;

задає нове іменування типу integer. Після цього означення скрізь замість довгого імені integer можна писати коротке int.

Вирази, що задають множини елементів, можна записувати як в означенні імені типу, так і на місці імені типу в означеннях змінних. Приклади наведемо трохи нижче.