5 Види відношень, friend функції, види спадкувань

Об’єктно-орієнтоване
програмування
Максим Михайлович Древаль
m.dreval@kpi.ua
Кафедра математичних методів системного аналізу (ММСА)

Інститут прикладного системного аналізу
НТУУ «КПІ ім. І.Сікорського»
Весняний семестр 2020/21

Старт курсу — 06 лютого 2021
Об’єктно-орієнтоване програмування (2020/21) М.М. Древаль / ІПСА НТУУ «КПІ ім. І.Сікорського» // m.dreval@kpi.ua 1
У попередній серії…
➢ Діаграма класів
➢ Скорочена та аналітична форми
➢ Загальна нотація класу
➢ Відношення на рівні об’єктів: проста асоціація, агрегація, композиція
➢ Відношення на рівні класів: спадкування, реалізація
➢ Віртуальні та чисто віртуальні методи
➢ Абстрактний клас та клас-інтерфейс
Нагадування
Види відношень в об’єктно-

орієнтованих моделях
Відношення (асоціації)
➢ В об’єктно-орієнтованій моделі об’єкти взаємодіють між собою
➢ Зазвичай об’єкт «надає послуги» кільком іншим об'єктам
➢ Об’єкт має зв’язки з іншими об'єктами для делегування завдань
Види відношень
на рівні об’єктів на рівні класів загальні
проста асоціація спадкування залежність

агрегація реалізація уточнення
композиція
Проста асоціація
➢ «Найслабший» вид відношення між об’єктами
➢ Характеризує, що один об’єкт може взаємодіяти з іншим об’єктом
➢ Зазвичай називається просто «асоціацією»
Види простої асоціації
за напрямком за кратністю
одностороння бінарна
двостороння тернарна
n-арна
Одностороння асоціація
➢ Зв’язок встановлюється лише в одному напрямку
➢ Позначається стрілкою до «обслуговуючого» об’єкта
lives in
Alice House
1 1
“Alice lives in a house”
drives
Alice Car
1 *
“Alice drives her car”
Двостороння асоціація
➢ Зв’язок встановлюється в обох напрямках
➢ Позначається суцільною лінією між об’єктами
works for
Employee Company
* 1
“Employee works for company”

“Company employs employees”
friend
Alice Bob
1 1
“Alice is Bob’s friend”

“Bob is Alice’s friend”
Бінарна асоціація
➢ Асоціює об’єкти рівно двох класів
➢ Позначається суцільною лінією або стрілкою між об’єктами
works for
Employee Company
* 1
Асоціація «works for» пов’язує об’єкти рівно двох класів
drives
Alice Car
1 *
Асоціація «drives» пов’язує об’єкти рівно двох класів
Тернарна асоціація
➢ Асоціює об’єкти рівно трьох класів
➢ Позначається ромбом, який з’єднується лініями з пов’язаними об’єктами
Student Teacher
* 1
*
Course
Тернарна асоціація пов’язує об’єкти рівно трьох класів
n-арна асоціація
➢ Зазвичай — асоціація між об’єктами трьох або більше класів
➢ Практичні приклади достатньо рідкісні, за можливості розкладається на

простіші асоціації
Агрегація та композиція
➢ Відношення типу «частина-ціле»
Head
1
Arm Alice Leg

2 2
Body
Дружні функції та класи
Дружні функції
Приклад
class X {
int a, b;
public:
void memberFunction();
…
}
➢ Глобальна функція:
void doSomething (X obj) {

obj.a = 3; // Error
obj.b = 4; // Error
}
Оголошення дружніх функцій
➢ Для того, щоб отримати доступ до захищених членів класу X, функція
doSomething() має бути оголошена дружньою функцією.
class X {
int a, b;
public:
…
friend void doSomething (X obj);
}
➢ Тепер глобальна функція матиме доступ до захищених членів класу X:
void doSomething (X obj) {

obj.a = 3; // OK
obj.b = 4; // OK
}
Оголошення дружніх функцій
➢ Сигнатури дружніх функції розміщуються в оголошенні класу
➢ Дружні функції не є членами класу
➢ Специфікатори доступу не впливають на оголошення дружніх функцій

або класів, тому їхні сигнатури можуть розміщуватися будь-де в
оголошенні класу
class X {
…
private:
friend void doSomething (X obj);
public:
friend void doAnything (X obj);
…
};
Визначення дружніх функцій
➢ У визначенні дружньої функції ключове слово friend не використовують
friend void DoSomething (X obj) {

…
}
Дружні класи
➢ Один з класів можна оголосити дружнім класом для іншого класу
class X {
friend class Y;
…
};
➢ Методи класу Y тепер матимуть доступ до захищених членів класу X
Оголошення дружніх класів
Приклад
class X {
friend class Y;
private:
int x_var1, x_var2;
…
};
Визначення дружніх класів
class Y {
private:
int y_var1, y_var2;
X objX;
public:
void setX() {
objX.x_var1 = 1;
}
};
Використання дружніх класів
int main() {
Y objY;
objY.setX();
return 0;
}
Спадкування.
Види спадкування в C++
Спадкування
Спадкування (наслідування) — це властивість ієрархічної
системи, яка дозволяє описати новий клас на основі вже
існуючого з частково або повністю запозиченим функціоналом.
➢ Спадкування реалізує зв’язок «is a» («is a kind of»)
➢ Наприклад:
➢ папуга є птах;
➢ долар є різновидом валюти;
➢ банк не є банківським рахунком.
Базові та похідні класи
➢ Якщо клас B успадковується від класу A, то B містить усі складові

(структуру інформації та поведінку) класу A
➢ Батьківський клас називається базовим (суперкласом), клас-нащадок —

похідним (субкласом)
➢ Окрім успадкованих характеристик, похідний клас може мати свої

унікальні характеристики
Спадкування
Застосування спадкування
#include <iostream>
using namespace std;
class Electronic {
public:
int serial_number = 12345678;
void turn_on() {
cout << "Electronic is on" << endl;
}
private:
int pincode = 87654321;
};
Застосування спадкування
class Phone: public Electronic {

…
};
int main() {
Phone Myphone;
Myphone.turn_on();
cout << "Serial number is: " <<
Myphone.serial_number << endl;
return 0;
}
Спадкування на діаграмах класів
Parent Class Base Class Superclass
Child Class Derived Class Subclass
UML-нотація
Види спадкування: public
public
➢ Public-члени базового класу стають public-членами похідного класу
➢ Private-члени базового класу не доступні за межами базового класу,

навіть у похідному класі (information hiding — приховування інформації)
Вид Специфікатор доступу у базовому → похідному класі

спадкування public protected private
public public protected hidden
Види спадкування: protected
protected
➢ Protected-спадкування може використовуватися для побудови ієрархії

класів за допомогою відношення «implemented in terms of»
➢ Якщо B є базовим класом, а D є похідним класом, то відкриті та захищені

члени B можуть використовуватися функціями-членами похідних від D
класів та їх друзями

protected protected protected hidden
Приклад
GrandParent
Parent
Child
class GrandParent {
public:
void doSomething();
};
class Parent: protected GrandParent {

void someFunction(){
doSomething();
}
};
class Child: protected Parent {

public:
Child() {
doSomething();
}
};
➢ Якщо B є базовим класом, а D є похідним класом, то лише члени D, його
друзі та члени похідних від D класів можуть здійснити перетворення D* у
B* або D& у B&
void doSomething (GrandParent&);
class GrandParent { … };
class Parent: protected GrandParent { … };
class Child: protected Parent {

public:
Child()
{
doSomething(*this);
}
};
Види спадкування: private
private
➢ Якщо вид спадкування не вказано, то за замовчуванням реалізується

private-спадкування
➢ Private-спадкування зазвичай використовується для побудови ієрархії

класів за допомогою відношення «implemented in terms of»

private private private hidden
class Child: private Parent { … };

// is equivalent to
class Child: Parent { … };
Приклад
class Collection {
…
public:
void addElement(int);
bool searchElement(int);
bool searchElementAgain(int);
bool deleteElement(int);
};
➢ Якщо елемент не знайдено в Collection, метод searchElement() повертає

false
➢ searchElementAgain() знаходить друге входження елемента в Collection
class Set: private Collection {

…
public:
void addMember(int);
bool isMember(int);
bool deleteMember(int);
};
void Set::addMember(int i) {
if (!isMember(i)) addElement(i);
}
bool Set::isMember(int i) {
return searchElement(i);
}
➢ Тільки функції-члени похідного класу та його друзі можуть перетворювати

вказівник/посилання на об’єкт похідного класу у вказівник/посилання на
об’єкт базового класу
class Parent { … };
class Child: private Parent { … };
int main() {
Child cObj;
Parent *pPtr = &cObj; // Error
return 0;
}
➢ Тільки функції-члени похідного класу та його друзі можуть перетворювати

вказівник/посилання на об’єкт похідного класу у вказівник/посилання на
об’єкт базового класу
void doSomething (const Parent&);
Child::Child() {
Parent& pPtr = static_cast<Parent&>(*this);
doSomething(pPtr);
// doSomething(*this);
}
➢ Об’єкт похідного класу містить анонімний об’єкт базового класу
➢ За потреби можуть викликатися конструктор за замовчуванням та

конструктор копіювання базового класу
class Parent {
public:
Parent() {
cout << “Parent Constructor”;
}
Parent (const Parent& prhs) {
cout << “Parent Copy Constructor”;
}
};
class Child: private Parent {
public:
Child() {
cout << “Child Constructor”;
}
Child (const Child& crhs) : Parent (crhs) {
cout << “Child Copy Constructor”;
}
};
int main() {
Child cObj1;
Child cObj2 = cObj1;
// Child cObj2(cObj1);
return 0;
}
Результат виконання
Parent Constructor
Child Constructor
Parent Copy Constructor
Child Copy Constructor
➢ У випадку private-спадкування похідний клас, який розташований нижче,
ніж на один рівень за ієрархією:
➢ не може отримати доступ до членів базового класу;
➢ не може перетворити вказівник/посилання на об’єкт похідного класу у
вказівник/посилання на об’єкт базового класу.
class GrandParent {
public:
void doSomething();
};
void doAnything (GrandParent&);
class Parent: private GrandParent {

void someFunction() { doSomething(); }
Parent() { doAnything (*this); }
};
class Child: private Parent {

public:
Child() {
doSomething(); // Error
doAnything(); // Error
}
};
Види спадкування
class B: public A {
class A { // x is public
public: // y is protected
int x; // z is not accessible from B
protected: };
int y;
class C: protected A {
private:
// x is protected
int z;
}; // y is protected
// z is not accessible from C
};
class D: private A { // private is default
// x is private
// y is private
// z is not accessible from D
};
Спеціалізація (обмеження)
➢ Спеціалізація (обмеження) — це вид зв’язку спадкування (нагадування:
встановлюється на етапі проектування), за якого похідний клас
поведінково несумісний з базовим класом, тобто базовий клас не завжди
може бути замінений похідним класом.
➢ Спеціалізація (обмеження) зазвичай реалізується за допомогою private-

або protected-спадкування.
Person
age : [0..125] age = a
setAge (a)
Adult if age < 18 then

age : [18..125] error
else
setAge (a) age = a
class Person {
…
protected:
int age;
public:
bool setAge(int _age) {
if (_age >=0 && _age <= 125) {
age = _age;
return true;
}
return false;
}
};
class Adult: private Person {

public:
bool setAge(int _age){
if (_age >=18 && _age <= 125) {
age = _age;
return true;
}
return false;
}
};
Далі буде… ☺

5 Види відношень, friend функції, види спадкувань

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

5 Види відношень, friend функції, види спадкувань

Uploaded by

Copyright:

Available Formats

Об’єктно-орієнтоване

Кафедра математичних методів системного аналізу (ММСА)

Весняний семестр 2020/21

➢ Скорочена та аналітична форми

➢ Загальна нотація класу

➢ Відношення на рівні об’єктів: проста асоціація, агрегація, композиція

➢ Відношення на рівні класів: спадкування, реалізація

➢ Віртуальні та чисто віртуальні методи

➢ Абстрактний клас та клас-інтерфейс

Види відношень в об’єктно-

➢ В об’єктно-орієнтованій моделі об’єкти взаємодіють між собою

➢ Зазвичай об’єкт «надає послуги» кільком іншим об'єктам

➢ Об’єкт має зв’язки з іншими об'єктами для делегування завдань

на рівні об’єктів на рівні класів загальні

проста асоціація спадкування залежність

➢ «Найслабший» вид відношення між об’єктами

➢ Характеризує, що один об’єкт може взаємодіяти з іншим об’єктом

➢ Зазвичай називається просто «асоціацією»

Види простої асоціації

➢ Зв’язок встановлюється лише в одному напрямку

➢ Позначається стрілкою до «обслуговуючого» об’єкта

“Alice lives in a house”

“Alice drives her car”

➢ Зв’язок встановлюється в обох напрямках

➢ Позначається суцільною лінією між об’єктами

“Employee works for company”

“Alice is Bob’s friend”

➢ Асоціює об’єкти рівно двох класів

➢ Позначається суцільною лінією або стрілкою між об’єктами

Асоціація «works for» пов’язує об’єкти рівно двох класів

Асоціація «drives» пов’язує об’єкти рівно двох класів

➢ Асоціює об’єкти рівно трьох класів

➢ Позначається ромбом, який з’єднується лініями з пов’язаними об’єктами

Тернарна асоціація пов’язує об’єкти рівно трьох класів

➢ Зазвичай — асоціація між об’єктами трьох або більше класів

➢ Практичні приклади достатньо рідкісні, за можливості розкладається на

➢ Відношення типу «частина-ціле»

Arm Alice Leg

void doSomething (X obj) {

➢ Тепер глобальна функція матиме доступ до захищених членів класу X:

void doSomething (X obj) {

➢ Дружні функції не є членами класу

➢ Специфікатори доступу не впливають на оголошення дружніх функцій

➢ У визначенні дружньої функції ключове слово friend не використовують

friend void DoSomething (X obj) {

➢ Один з класів можна оголосити дружнім класом для іншого класу

➢ Методи класу Y тепер матимуть доступ до захищених членів класу X

➢ Спадкування реалізує зв’язок «is a» («is a kind of»)

➢ Якщо клас B успадковується від класу A, то B містить усі складові

➢ Батьківський клас називається базовим (суперкласом), клас-нащадок —

➢ Окрім успадкованих характеристик, похідний клас може мати свої

class Phone: public Electronic {

Parent Class Base Class Superclass

Child Class Derived Class Subclass

➢ Public-члени базового класу стають public-членами похідного класу

➢ Private-члени базового класу не доступні за межами базового класу,

Вид Специфікатор доступу у базовому → похідному класі

➢ Protected-спадкування може використовуватися для побудови ієрархії

➢ Якщо B є базовим класом, а D є похідним класом, то відкриті та захищені

Вид Специфікатор доступу у базовому → похідному класі

class Parent: protected GrandParent {

class Child: protected Parent {

void doSomething (GrandParent&);