ктів. Даний підхід реалізований у величезній кількості мов програмування, в тому числі C + +, Object Pascal. На даний момент саме він є найбільш поширеним в об'єктно-орієнтованих мовах. p align="justify"> Концепція віртуальних методів, підтримувана цими та іншими сучасними мовами, з'явилася як засіб забезпечити виконання потрібних методів при використанні поліморфних змінних, тобто, по суті, як спроба розширити можливості виклику методів для реалізації частини функціональності, забезпечуваною механізмом обробки повідомлень.
1.3 Особливості реалізації
Як вже говорилося вище, в сучасних об'єктно-орієнтованих мовах програмування кожен об'єкт є значенням, що належать до певного класу. Клас являє собою оголошений програмістом складовою тип даних, що має в складі:
Параметри об'єкту (звичайно, не всі, а тільки необхідні в програмі), що задають його стан (властивості об'єкта предметної області). Іноді поля даних об'єкта називають властивостями об'єкта, через що можлива плутанина. Фізично поля являють собою значення (змінні, константи), оголошені як належать класу. p align="justify"> Процедури і функції, пов'язані з класом. Вони визначають дії, які можна виконувати над об'єктом такого типу, і які сам об'єкт може виконувати. p align="justify"> Класи можуть успадковуватися один від одного. Клас-нащадок отримує всі поля та методи класу-батька, але може доповнювати їх власними або перевизначати вже наявні. Більшість мов програмування підтримує тільки одиничне успадкування (клас може мати тільки один клас-батько), лише в деяких допускається множинне успадкування - породження класу від двох або більше класів-батьків. Множинне спадкування створює цілий ряд проблем, як логічних, так і чисто реалізаційних, тому в повному обсязі його підтримка не поширена. Замість цього в 1990-і роки з'явилося і стало активно вводитися в об'єктно-орієнтовані мови поняття інтерфейсу. Інтерфейс - це клас без полів і без реалізації, що включає лише заголовки методів. Якщо якийсь клас успадковує (або, як кажуть, реалізує) інтерфейс, він повинен реалізувати всі вхідні в нього методи. Використання інтерфейсів надає відносно дешеву альтернативу множинного спадкоємства. p align="justify"> Взаємодія об'єктів в абсолютній більшості випадків забезпечується викликом ними методів один одного.
Оскільки методи класу можуть бути як чисто внутрішніми, що забезпечують логіку функціонування об'єкта, так і зовнішніми, за допомогою яких взаємодіють об'єкти, необхідно забезпечити прихованість перших при доступності ззовні других. Для цього в мови вводяться спеціальні синтаксичні конструкції, явно задають область видимості кожного члена класу. Традиційно це модифікатори public, protected і private, що позначають, відповідно, відкриті члени класу, члени класу, доступні тільки з класі...
