падкування визначає ставлення між класами, де клас поділяє структуру або поведінку, визначені в жодному іншому (одиничне успадкування) або в кількох інших (множинне спадкування) класах. Інший різновид ієрархічної організації - В«part of В»-ієрархічна структура - базується на ставленні агрегації. Агрегація не є поняттям, унікальним для об'єктно-орієнтованих систем. Наприклад, будь-яка мова програмування, що дозволяє структури типу В«записВ», підтримує агрегацію. І все ж агрегація особливо корисна в поєднанні з спадкуванням: агрегація забезпечує фізичну угруповання логічно зв'язного структури, а спадкування дозволяє легко і багаторазово використовувати ці загальні групи в інших абстракціях. p> Розглянемо пильніше об'єкти - конкретні сутності, які існують у часі і просторі.
Об'єкт - це конкретне уявлення абстракції. Об'єкт має індивідуальністю, станом і поведінкою. Структура і поведінку подібних об'єктів визначені в їх загальному класі. Терміни В«Екземпляри класуВ» і В«об'єктВ» взаємозамінні. p> Індивідуальність - це характеристика об'єкта, яка відрізняє його від всіх інших об'єктів.
Стан об'єкту характеризується переліком всіх властивостей об'єкта і поточними значеннями кожного їх цих властивостей. Об'єкти не існують ізольовано один від одного. Вони піддаються впливу або самі впливаю на інші групи. Поведінка характеризує те, як об'єкт впливає на інші об'єкти (або піддається впливу) у термінах змін його стану і передачі повідомлень. Поведінка об'єкта є функцією як його стану, так і виконуваних ним операцій. Кажуть, що стан об'єкта представляє сумарний результат його поведінки. Операція позначає обслуговування, яке об'єкт пропонує своїм клієнтам. Можливі п'ять видів операцій клієнта над об'єктом:
1) модифікатор (змінює стан об'єкта);
2) селектор (дає доступ до стану, але не змінює його);
3) ітератор (доступ до змісту об'єкта частинами, в суворо определ дованому порядку);
4) конструктор (створює об'єкт і ініціалізує його стан);
5) деструктор (руйнує об'єкт і звільняє займану їм пам'ять).
У чистих об'єктно-орієнтованих мовах програмування операції можуть оголошуватися лише як методи - елементи класів, екземплярами яких є об'єкти. Гібридні мови дозволяють писати операції як вільні підпрограми (поза класів). У загальному випадку всі методи і вільні підпрограми, асоційовані з конкретним об'єктом, утворюють протокол. Таким чином, протокол визначає оболонку допустимого поведінки об'єкта і тому містить в собі цільне (статичне і динамічне) подання об'єкта. Великий протокол корисно розділяти на логічні угруповання, що розділяють простір поведінки об'єкт, позначають ролі, які може грати об'єкт. З точки зору зовнішнього середовища важливе значення має таке поняття, як обов'язки об'єкта. Обов'язки означають зобов'язання об'єкта забез...
