1. Перелічені типи.

2. Об’єднані типи.

3. Строкові типи.

4. Типи, що індексуються.

5. Типи, що іменуються.

6. Сортування компонентів мультизначення типу, що індексується.

7. Структури даних, загальні положення.

8. Лінійні структури даних (черга, стек, дек).

9. Векторне представлення лінійних структур даних.

10. Зв’язане представлення лінійних структур даних.

11. Підпрограми. Загальні положення.

12. Відкриті підпрограми.

13. Закриті підпрограми.

14. Локальні та глобальні об’єкти підпрограми.

15. Процедурна абстракція та абстракція керування

16. Способи передачі параметрів у підпрограму.

17. Способи повернення результату з підпрограми.

18. Процедурний тип та покажчики на функції

19. Абстрактні типи даних, загальні положення.

20. Реалізація абстрактних типів даних.

1.Перелічені типи

Визначувані типи, повний набір значень яких явно перелічують в опису типу, називаються перелічуваними (enumerationtype).

Значення в опису типу називається літераломперелічуваноготипу. Кожний літерал у перелічуваному типі виробляє відмінне від інших літералів значення.

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

У мовах Pascal і С значення літералів перелічуваного типу належать значенням цілого типу. Як позначення літерала перелічуваного типу в обох мовах використовується ідентифікатор.

У мові С можна встановлювати значення для літерала перелічуваного типу за допомогою R-виразу. Тоді значення наступного літерала в уточненні за замовчуванням дорівнюватиме значенню R-виразу, збільшеному на одиницю. Для різних літералів в мові С може бути призначено однакові значення, які можуть бути й від’ємними.

2.Обєднані типи

Тип, значення якого в будь-який момент часу є значенням одного з типів, оголошених в опису, називається об'єднаним (unitedtype) або об'єднанням.

При створенні об'єкта цього типу пам'ять для його значення відводиться під більше (за розміром) значення типу, оголошеного в об'єднанні, тому, що всі значення об’єкту об’єднаного типу розміщуються на єдиній ділянці пам’яті. Тип є лише в мові С.

Доступ до значень об'єднаного типу відбувається шляхом зазначення позначення об'єкту цього типу та позначення відповідного компонента типу, що ввійшов в опис типу.

3.Строкові типи

Цей тип можнабуло б віднести до наперед визначенихтипів,коли б не зміннадовжинайогомультизначна.

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

Мультизначенняможна подати ланцюжкомсимволівдовжинаякогозазначається при описі. Самовираженемультизначеннярядкового типу є рядковийлітералабо рядок.

Представленнярядків

Існує три видипредставленнязначеньрядків.

1.із статичною довжиною(довжина рядка зазначена в ньому ж кількістюсимволізаданих при описі )

2.з обмеженоюдинамічноюдовжиною(довжина рядка зазначається в ньому ж спеціальним символом)

3.із динамічноюдовжиною

Операції над рядковимизначеннями в мові Паскаль

Основніопераціїізмультизначеннями рядкового типу реалізується за допомогоюстандартнихпідпрограмабометодів. У мові Паскаль для значеньцього типу передбаченостандартнуопераціюконкатенацію яка позначається символом + і означаєопераціюсполученнядвохрядків одного за одним. Доступ до оператора за номером за допомогою ІНДЕКСАТОРОМ.

Операції над рядковимизначеннями в мовіСі

У мові СІ для значень рядкового типу використовуєтьсявказівнітипізованізмінні типу Чар (Char*).

Мультизначення в цьомуразіподаєтьсяланцюжкомсимволів але воно не зберігаєдовжиниланцюжка а закінчується автоматично подаваним нулем (“\0”).

4.Типи що індексуються

Індексовані типи кожне значення яких складається з компонентів одного і того ж самого типу називається індексованим. Значення цього типу може бути одновимірним та багато вимірним.

Об’єкт, що має значення індексованого типу , називатиметься об’єктами індексованого типу , а його значення масивом.

Для того щоб описати індексований тип необхідно описати тип компонентів і спосіб утворення мультизначеннь із компонентів:

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

- Спосіб утворення мультизначення подається в в частині опису дескрипторі.

Індексатор

Для вибору під значення використовують індексатори.

Індексатор - це конструкція що складається з індексних позицій які у свою чергу є зображення ми значень індексу. Індексатор записується в символах () або [].

Індексація – це спосіб вказати під значення за індексом шляхом опису індексатора

Основні властивості індексованого типу

- Кількістю індексів мережевих пар .

- Типом і позицією кожного індексу.

- Верхніми та нижніми значеннями мережевих пар.

- Типом компонентів (тип однаковий).

Ініціалізація об’єктів індексованого типу

У мовах програмування ініціалізувати об’єкти можна трьома способами:

- за умовчанням (у контексті механізму розподілу пам’яті)

- при створенні об’єкту

- за допомогою оператора присвоювання