Прості типи мовою програмування

Тип визначає: можливі значення змінних, констант,

функцій, виразів, що належать до даного типу;

внутрішню форму представлення даних в ЕОМ;

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

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

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

Прості Порядкові

Цілі Логічні Символьні Перераховувані Інтервальні

Дійсні

Структуровані

Масиви Рядки Множини Записи Файли

Покажчики

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

Ідентифікатор Довжина (байт)

Діапазон значень Операції

Цілі типиinteger 2 -32768..32767

+, -, /, *, Div, Mod, >=, <=, =, <>, <, >

byte 1 0..255word 2 0..65535shortint 1 -128..127

longint 4-2147483648..2147483647

Дійсні типиreal 6 2,9x10-39 -

1,7x1038

+, -, /, *, >=, <=, =, <>, <, >

single 4 1,5x10-45 - 3,4x1038

double 8 5x10-324 - 1,7x10308

double 8 5x10-324 - 1,7x10308

Логічний тип

boolean 1 true, falseNot, 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 займає один байт, і в процесі приведення старший байт буде відкинутий.

Дякуємо за увагу!