Типи, що іменуються.
Типи значення яких утворюється з компонентів різних типів , доступно по значенню,називають іменованим.Мультизначеення іменованого типа називається структурою , або записом.
Щоб описати значення комбінованого типу необхідно описати тип значення кожного типу (поля) і поставити їм у відповідність позначення, унікальні в кконтексті даного опису. Таке позначення називається покажчиком поля, або селектором.Для представлення селектора використовується ідентифікатор.Селектор набуває сеенсу тільки в поєднанні з позначенням об’єкту, що має значення іменованого типу.
Характерний для іменнованог типу є те що зв'язок “позначення об’єкта – селектор- значення компонента”, установлюється під час компіляції, тоді як зв'язок “позначення об’єкта – значення індексатора – значення компонента мультизначення індексованого типу”
як правило , установлюється в періоді виконання програми. У цьому полягає істотна відмінність механізмів обробки значень іменованого та індексованого типів, яка береться до уваги при виборі типу для опису об’єктів, якщо компоненти мультизнаачень описуваного об’єкта мають один і той самий тип.
Сортування компонентів мультизначення типу, що індексується.
Опис устрою мультизначення індексованого типу.
Оскільки тип компонентів мультизначення однаковий, то для доступу достатньо розмістити їх у деякому порядку, поставивши у відповідність цьому порядку деякий дискретний діапазон. Якщо мультизначення одновимірне то достатньо одного дискретного діапазону інакше декілька. Кожний дискретний діапазон називається мережевою парою, індексом або мультидіапазон.
Устрій паспорту індексованого типу
Зазвичай синтаксис паспорту розміщується в опису типу серед символів [] або () а дискретний діапазон зазначається через кому.
[1..m,1..n] integer
Зображення мультизнвачень виконуються зазначенням зображень значень, що утворюють мультизначення. Кожний компонент у зображеному мультизначчення займає місце згідно з паспортом індексованого типу
Приклад опису устрою індексованого типу
[1..2, 1..3] real
[1..5] integer
Структури даних, загальні положення.
Звичайно порядок розміщення значень у пам’яті або не становлять інтересу для програміста , або ці значення є компонентами мультизначень, і тоді порядок їх розміщення в панят наперед визначеним типом. Проте існує дуже широкий клас значень, розміщенням яких у пам’яті можна управляти єднаючи значення один з одним. Вони називаються структурними даними або структурами даних. Як правило структури даних реалізується на основі динамічного розподілу памяті в купі і називаються динамічними структурами даних. Як правило структури даних реалізуються на основі динамічного розподілу пам'яті в купі і називаються динамічними структурами даних. Структури даних можуть реалізовуватися і на основі визначуваних (іменованих, індексованих) типів у статичній або динамічній у стеку пам’яті|. Тоді вони називаються статичними. Самостійного значення структури даних, як правило, не мають, однак вони лежать в основі абстрактних типів даних. Нині в середовищах програмування передбачається дуже широкий вибір реалізації абстрактних типів даних у вигляді модулів, класів, шаблонів, які базуються на структурах даних. Структури даних ділять на два типи - лінійні і нелінійні.