04 Object Hierarchy

Бублик Володимир Васильович

Програмування - 2

Лекція 4. Об'єктне програмування.

Ієрархія об’єктів: композиція і агрегація

Лекції для студентів 2 курсу

Типи ієрархії об'єктів

• // Layering: вкладання• class AnyClass• {• T _composee;• T& _refferee;• T* _agregee;• };

Композиція об'єктів

• Композит складається з компонентів

• Компонент служить атрибутом композиту

Приклад 1. Відрізок

• // Composite• class Segment• {• private:• // Components• Point _a, _b;• ………………• };

Приклад 2. Трикутник

• // Композиція вершин• class Triangle• {• private:• Point _a, _b, _c;• ........................• };

Приклад 3. Знову трикутник

// Композиція сторін class Triangle• {• private:• Segment _ab, _bc, _ca;• …………………………….• };Композити самі можуть бути компонентами

інших об'єктів: Композит Triangle містить компонентами три композити Segment

Приклад 4. Все той же трикутник

• // Композиція вершин і сторін

• class Triangle• {• private:• Point _a, _b, _c;• Segment _ab, _bc, _ca;• ........................• };

Тривалість життя: створення компонент

• Компоненти створюються конструктором композиту: звичайним або копіювальним

• Triangle::Triangle• (const Point& a, const Point& b, const Point &c):• // Ініціалізація компонент• _a(a), _b(b), _c(c)• {• return;• }

Тривалість життя: видалення компонент

• Компоненти не вимагають окремого видалення, оскільки вони видаляються автоматично власними деструкторами при видаленні композиту як його атрибути

• ~ Triangle ::Triangle()• {• // _a.~Point();• // _b.~Point();• // _c.~Point();• return;• }

Права доступу

• Звичайно доступ до компонент та їх методів зовні композиту закрито (компоненти служать атрибутами композиту, а атрибути, як правило, закриті)

• Композит сам не має доступу до закритої частини компоненту

• Композит має доступ до відритої частини компоненту, при необхідності він може делегувати цей доступ нагору

Доступ до атрибутів: селектор

Оскільки компоненти закриті, доступ (модифікація) забезпечуються селекторами (модифікаторами)

• class Triangle• {• private:• Point _a, _b, _c;• public:• const Point& apexA() const;• const Point& apexB() const;• const Point& apexC() const;• };

Реалізація селектора

• const Point& Triangle::apexA() const• {• return _a;• }

• Чим відрізняються одна від одної ці реалізації?

• const Point Triangle::apexA() const• {• return _a;• }

Делегування

• // Delegation of methods• class Triangle• {• private:• Segment _ab, _bc, _ca; • public:• // delegators• double length_ab() const;• double length_bc() const;• double length_ca() const;• };

Реалізація делегатів

• // Delegator• // трикутник делегує довжину відрізку• double Triangle::length_ab() const• {• // Delegate• // метод трикутника звертається• // до методу сегмента, недоступного зовні• return _ab.length();• }

Неделеговані методи

• Реалізація методів композиту може використовувати відкриту частину компоненти або асоційованого об'єкту як будівельний матеріал

• double Triangle::square() const• {• // length() і distance(_a) методи відрізка• return 0.5*side_a().length()*side_a().distance(_a);• }• Звідки візьмуться відрізки у варіанті трикутника,

складеного лише з вершин?

Асоційовані об'єкти

• Об'єкти не завжди вкладаються один в інший

• Асоційовані об'єкти (associate) можуть будуватися на замовлення і існувати поза асоціатором (associator)

Асоційовані об'єкти

• // Associator• class Triangle• {• private:• Point _a, _b, _c;• public:• // Associate: сторона трикутника• const Segment side_a() const;• };

Створення асоційованої сторони

t.side_a(); // Візьмемо трикутник t

t.side_a(); // Він має селектори вершин,

t.side_a(); // Він має селектори вершин, // але не сторін

t.side_a(); // Візьмемо дві потрібні вершини

t.side_a(); // і побудуємо відрізок

Варіант надлишкової композиції

• class Triangle• {• private:• Point _a, _b, _c;• // Асоціанти стали компонентами• Segment _ab, _bc, _ca; • public:• const Point& apexA() const;• // Делегати стали селекторами• const Segment& side_a() const; • };

Селектор замість делегата

• // Селектор сторони трикутника• const Segment& Triangle::side_a() const• {• return _bc;• // return Segment(_b, _c);• }

Конструювання компонентів

• Triangle::Triangle• (const Point& a, const Point& b, const Point &c):• // Багато зайвих копій• _a(a), _b(b), _c(c),• _ab(Segment(a, b)),• _bc(Segment(b, c)), • _ca(Segment(c, a))• {• return;• }

Consistency (сумісність)

• Надлишкове копіювання шкідливе можливою несумісністю

• Візьмемо трикутник t, з вершинами a, b і c; сторонами _bc, _ca і _ab.

• Змінимо значення вершини a, але забудемо змінити значення сторін _ca і _ab.

• Трикутник t виявиться несумісним.

• Проблема сумісності не виникає, якщо трикутник задано лише вершинами

Як правильно обрати компоненти композиту?

• // Трикутник за трьома сторонами• class Triangle• {• private:• Segment _ab, _bc, _ca;• public:• // а конструктор, як раніше за трьома вершинами• Triangle(const Point &, const Point&, const Point&);• };

Конструювання сторін

• Triangle::Triangle• (const Point& a, const Point& b, const Point &c):• _ab(Segment(a, b)),• _bc(Segment(b, c)),• _ca(Segment(c, a))• {• return;• }

Тепер вершини делегуються

• // Вершина трикутника• const Point& Triangle::apexA() const• {• // return _a;• return _ab.start();• }

Знову по сумісність

• Трикутник складений із сторін знову може стати несумісним при спробі змінити одну із сторін, не змінивши іншої, прилеглої сторони.

• Проблема: надлишкове кодування приводить до несумісності

• Рішення: використовувати розвиненіші форми вкладень, а саме агрегацію.

Підсумок композицій

Вершини компоненти, сторони асоціанти

Вершини і сторони компоненти

Сторони компоненти, вершини асоціанти

Агрегація

• Кожен нетривіальний об'єкт є агрегатом, складеним зі своїх атрибутів

• Атрибути можуть бути• об'єктами ― композиція;• указниками ― агрегація указниками; • відсилками ― агрегація відсилками

Агрегація указниками

• Агрегація указниками відрізняється від композиції тривалістю життя: деструктор агрегату сам відповідає за видалення агрегованого об'єкту

• class Agregate• {• private:• Agregee * _agregee;• public:• Agregate(): _agregee(0){};• ~Agregate() { delete _agregee; }• };

Сторони, агреговані в трикутник

• class Triangle• {• private:• Point _a, _b, _c;• Segment *_ab, *_bc, *_ca;• public:• Triangle(const Point &, const Point&, const Point& c);• ~Triangle();• }

Конструктор агрегату

• Triangle::Triangle• (const Point& a, const Point& b, const Point &c):• _a(a), _b(b), _c(c),• // Сторони обчислюються і агрегуються• // на замовлення (on demand)• _ab(0), _bc(0), _ca(0)• {• return;• }

Деструктор агрегату

• Triangle::~Triangle()• {• if (_ab!=0) delete _ab; // vs delete _ab;• if (_bc!=0) delete _bc;• if (_ca!=0) delete _ca;• };

• Питання: чи необхідна перевірка на нуль?

Модифікований селектор

• // Сторона трикутника• const Segment& Triangle::side_a() const• {• // Якщо не обчислювали раніше• if (_bc == 0) • // Обчислюємо і запам'ятовуємо• _bc = new Segment(_b, _c);• return *_bc;• }

Агрегація сторін указниками

вершини компонентисторони агреговані

Проблема сумісності відкрита

Агрегація відсилкою

• Використовується для агрегування об'єктів, тривалість життя яких перевищує тривалість життя агрегату. За створення і видалення агрегованих відсилкою об'єктів агрегат відповідальності не несе

• class Agregate• {• private:• Agregee & _agregee;• public:• Agregate (const Agregee & original):• _agregee (original) {};• };

Вершини, агреговані в сторону

• class Segment• {• private:• // Агреговані вершини• Point &_a, &_b;• ………………• };

• Що гарантує сумісність?

Збалансований трикутник

// Кінці відрізків// відсилають// до вершин// трикутникаclass Segment{private:

Point &_a, &_b;};

//Сторони трикутника// агреговані указниками

class Triangle{private:

Point _a, _b, _c; Segment *_ab, *_bc, *_ca;};

Гарантована сумісність

Висновок

• Головна проблема у створенні агрегатів полягає у виборі правильного типу вкладень залежно від тривалості життя об'єктів з метою досягнення максимальної сумісності

04 Object Hierarchy

Technology

09 Object And Class Hierarchy

The Java Inheritance Hierarchy CSIS 3701: Advanced Object...

Chapter 6 - Hierarchy Jim Fawcett CSE687 – Object Oriented...

Settlement Hierarchy Methodology 2013 - Calderdale ·...

Hyperion Financial Management Release 4.1 Object …...iv...

Adaptive Patch Features for Object Class Recognition … ·...

State central Product hierarchy node Product hierarchy...

Object-Oriented Programming: Polymorphism Outline 10.1...

So What is a Learning Object? nmc. Autodesk Content...

The Crop Hierarchy · 2020-01-31 · 15/06/04 The Crop...

Introduction... · Web viewThe individual objects in a...

1 Lecture 8 Chapter 10 - Object-Oriented Programming:...

Hanwha Techwin SNMP MIB ver.2 Guide · SNMP MIB VER.2 GUIDE...

04 Intro Object Oriented in Java

1 Consensus Hierarchy Part 2. 2 FIFO (Queue) FIFO Object...

generally grammar grateful guarantee harass height...