6 Конструктори та деструктори, розподіл памяті при спадкуванні

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

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

Старт курсу — 06 лютого 2021
Об’єктно-орієнтоване програмування (2020/21) М.М. Древаль / ІПСА НТУУ «КПІ ім. І.Сікорського» // m.dreval@kpi.ua 1
У попередній серії…
➢ Дружні функції
➢ Дружні класи
➢ Спадкування в C++
➢ Базові та похідні класи
➢ Види спадкування в C++: public, protected, private
Спадкування.
Конструктори та деструктори
Розподіл пам’яті
➢ Кожен об’єкт похідного класу містить анонімний об'єкт базового класу
base member1
Інформаційні члени
base member2 базового класу
...
derived member1
Інформаційні члени
derived member2 похідного класу
...
Конструктори
➢ Анонімний об’єкт базового класу ініціалізується за допомогою
конструктора базового класу
➢ При створенні об’єкта похідного класу конструктор базового класу

виконується перед конструктором похідного класу
Конструктор
base member1
базового класу
base member2 ініціалізує
... анонімний об’єкт
derived member1 Конструктор

похідного класу
derived member2 ініціалізує об’єкт
... похідного класу
class Parent {
public:
Parent() {
cout << “Parent Constructor” << endl;
}
};
class Child : public Parent {

public:
Child() {
cout << “Child Constructor” << endl;
}
};
int main() {
Child cObj;
return 0;
}
Результат виконання
Parent Constructor
Child Constructor
➢ Якщо конструктора за замовчуванням для базового класу не існує, то
компілятор спробує його створити та виконати перед виконанням
конструктора похідного класу
➢ Якщо розробник надав лише перевантажений конструктор для базового

класу, компілятор не ґенерує конструктор за замовчуванням для базового
класу
class Parent {
public:
Parent (int i) {}
};
public:
Child() {}
} сObj; // Error!
Явна ініціалізація
➢ С++ забезпечує механізм явного виклику конструктора базового класу з

➢ Синтаксис подібний до ініціалізаторів полів і трактується як явна

ініціалізація об’єкта базового класу
class Parent{
public:
Parent (int i) {…};
};

public:
Child (int i) : Parent (i) {…}
};
class Parent {
public:
Parent() { cout << “Parent Constructor” << endl; }
…
};
class Child : public Parent{

public:
Child() : Parent() {
cout << “Child Constructor” << endl;}
…
};
➢ Розробник може використовувати ініціалізатор базового класу та список
ініціалізації полів об’єкта одночасно
➢ Ініціалізатор базового класу може бути записаний після ініціалізатора

поля похідного класу
➢ Конструктор базового класу виконується перед ініціалізацією полів

class Parent {
public:
Parent () {…}
};

int member;
public:
Child () : member(0), Parent() {…}
};
Ініціалізація полів
➢ Похідний клас може ініціалізувати члени базового класу лише

використовуючи перевантажені конструктори
➢ Похідний клас не може ініціалізувати відкриті члени базового класу за

допомогою списку ініціалізації
➢ Причина: фактично це буде присвоювання, а не ініціалізація
Ініціалізація полів
class Person {
public:
int age;
char *name;
…
public:
Person();
};
class Student : public Person {

private:
int semester;
…
public:
Student (int a) : age(a) // Error!
{ …
}
};
Деструктори
➢ Деструктори викликаються у зворотному порядку
➢ Деструктор похідного класу викликається перед викликом деструктора

базового класу
class Parent {
public:
Parent() { cout << “Parent Constructor” << endl;}
~Parent() { cout << “Parent Destructor” << endl;}
};

public:
Child() { cout << “Child Constructor” << endl;}
~Child() { cout << “Child Destructor” << endl;}
};
Деструктори
Результат виконання
Parent Constructor
Child Constructor
Child Destructor
Parent Destructor
Спадкування.
Вказівники та посилання
Відношення «is a» / «is a kind of»
➢ Відношення «is a» / «is a kind of» зазвичай моделюються за допомогою
public-спадкування
➢ При цьому похідний об’єкт є різновидом базового об'єкта
class Person {
char * name;
public:
const char * getName();
…
};
class Student : public Person {

int rollNo;
public:
int getRollNo();
…
};
int main()
{
Student sObj;
cout << sObj.getName();
cout << sObj.getRollNo();
return 0;
}
➢ Вказівник на об’єкт базового класу може також вказувати на об'єкт
int main() {
Person *pPtr = 0;
Student s;
pPtr = &s;
cout << pPtr->getName();
return 0;
}
s
pPtr base member1
base member2
...
derived member1
derived member2
...
int main() {
Person *pPtr = 0;
Student s;
pPtr = &s;
cout << pPtr->getRollNo(); // Error!
return 0;
}
➢ Тип, який використовується для оголошення вказівника або посилання,

називається його статичним типом:
➢ статичним типом pPtr є Person
➢ статичним типом s є Student
➢ Виклик pPtr->getRollNo() є некоректним
➢ Можна використовувати посилання на похідний об'єкт там, де потрібне

посилання на базовий об'єкт
int main() {
Person p;
Student s;
Person& refP = s;
cout << refP.getName();
cout << refP.getRollNo(); // Error!
return 0;
}
Далі буде… ☺

6 Конструктори та деструктори, розподіл памяті при спадкуванні

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

6 Конструктори та деструктори, розподіл памяті при спадкуванні

Uploaded by

Copyright:

Available Formats

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

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

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

➢ Базові та похідні класи

➢ Види спадкування в C++: public, protected, private

➢ Кожен об’єкт похідного класу містить анонімний об'єкт базового класу

➢ При створенні об’єкта похідного класу конструктор базового класу

derived member1 Конструктор

class Child : public Parent {

➢ Якщо розробник надав лише перевантажений конструктор для базового

➢ С++ забезпечує механізм явного виклику конструктора базового класу з

➢ Синтаксис подібний до ініціалізаторів полів і трактується як явна

class Child : public Parent {

class Child : public Parent{

➢ Ініціалізатор базового класу може бути записаний після ініціалізатора

➢ Конструктор базового класу виконується перед ініціалізацією полів

class Child : public Parent {

➢ Похідний клас може ініціалізувати члени базового класу лише

➢ Похідний клас не може ініціалізувати відкриті члени базового класу за

class Student : public Person {

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

➢ Деструктор похідного класу викликається перед викликом деструктора

class Child : public Parent {

➢ При цьому похідний об’єкт є різновидом базового об'єкта

class Student : public Person {

➢ Тип, який використовується для оголошення вказівника або посилання,

➢ Виклик pPtr->getRollNo() є некоректним

➢ Можна використовувати посилання на похідний об'єкт там, де потрібне

You might also like