ієрархії класів описується у вигляді дерева. Вершини дерева відповідають класам, а корені відповідає клас, який описує щось спільне (саме загальне) для всіх інших класів. p align="justify"> Поліморфізм і віртуальні методи
Поліморфізм - це властивість споріднених об'єктів (тобто об'єктів, що мають одного батька) вирішувати схожі за змістом проблеми різними способами.
Два або більше класу, які є похідними того ж базового класу, називаються поліморфними. Це означає, що вони можуть мати спільні характеристики, але так само володіти власними властивостями. p align="justify"> Методи об'єктів бувають статичними, віртуальними і динамічними.
Статичні методи
включаються в код програми при компіляції. Це означає, що до використання програми визначено, яка процедура буде викликана в даній точці. Компілятор визначає, якого типу об'єкт використовується при даному виклику, і підставляє метод цього об'єкта. p align="justify"> Віртуальні методи
на відміну від статичних, підключаються до основного коду на етапі виконання програми. Віртуальні методи дають можливість визначити тип і конкретизувати екземпляр об'єкта в процесі виконання, а потім викликати методи цього об'єкта. p align="justify"> Цей принципово новий механізм, званий пізнім зв'язуванням, забезпечує поліморфізм, тобто різний спосіб поведінки для різних, але однорідних (в сенсі наслідування) об'єктів.
У кожного об'єкта свій таблиця віртуальних методів VMT. Саме це і дозволяє однойменним методом викликати різні процедури. p align="justify"> Основне призначення деструкторів - знищення VMT даного об'єкта. Часто деструктор не виконує інших дій і являє собою порожню процедуру. p align="justify"> 2.5 Програмування задач з використанням рекурсії
Рекурсія - складний прийом у програмуванні, який полягає в багаторазовому зверненні з функції (процедури) до самої себе. Рекурсією потрібно вміти управляти і вчасно її припиняти, в іншому випадку вона призведе до нескінченного циклу. p align="justify"> У Паскалі рекурсія зазвичай реалізується двома функціями - назвемо їх, наприклад, vid (вид) і hag (крок). Друга функція буде перебирати все дерево відгалужень в глибину (тобто відразу вибудовувати ціле число, міняючи потім необхідні цифри з кінця), а перша - на ходу виписувати кожен згенерований варіант. p align="justify"> Двійковий перебір - це набір всіх можливих n-символьних комбінацій, що складаються лише з двох різних станів. Двійковий перебір досягається ефектор рекурсії, і використовується в безлічі завдань з програмування, де необхідно перебрати ієрархію з декількох сотень варіантів рішень, і знайти серед них єдино вірне. p align="justify"> Якщо кілька підпрограм викликають один одного, але ці виклики "замкнуті в кільце", то така рекурсія називається непрямої. У разі непрямої
рекурсії виникає проблема з описом підпрограм:
за правилом мови Паскаль, не можна використовувати ніякої об'єкт раніше, ніж він був описаний.
Приклад програми В«Килим СерпінськогоВ» див. Додаток № 2 (Лістинг програми 6).
2.6 Розробка програм з використанням динамічних структур даних
Динамічні змінні створюються в купі під час виконання програми за допомогою підпрограм new або getmem. Динамічні змінні не мають власних імен - до них звертаються через покажчики. p align="justify"> Процедура new (var p: тіп_указателя) виділяє в динамічній пам'яті ділянку розміру, достатнього для розміщення змінної того типу, на який посилається вказівник p, і адресу початку цієї ділянки заносить у цей покажчик.
Функція new (тіп_указателя): pointer виділяє в динамічної пам'яті ділянку розміру, достатнього для розміщення змінної базового типу для заданого типу покажчика, і повертає адресу початку цього участка.пріменяется для типізованих покажчиків.
Процедура getmem (var p: pointer; size: word) виділяє в динамічній пам'яті ділянку розміром в size байт і привласнює адресу його початку вказівником p. Якщо виділити необхідний обсяг пам'яті не вдалося, програма аварійно завершується. Покажчик може бути будь-якого типу. p align="justify"> Динамічні змінні частіше реалізуються як пов'язані структури.
За допомогою посилань легко вставити нову компоненту в ланцюжок даних. Для цього достатньо змінити два посилання. p align="justify"> Нова динамічна компонента може бути розміщена в будь-якому вільному місці пам'яті, відведеному під такі змінні. Сама динамічна змінна не позначається ідентифікатором. Динамічна змінна - це В«невидимкаВ» в програмі: ідентифікатором вона позначається, транслятор їй місця в пам'яті не відводить. Пам'ять під таку змінну резер...
