Форум программистов, компьютерный форум CyberForum.ru

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
 
m45
0 / 0 / 0
Регистрация: 06.07.2015
Сообщений: 24
#1

Наследование - вызов конструкторов и деструкторов - C++

01.11.2015, 02:04. Просмотров 1010. Ответов 53
Метки нет (Все метки)

Делаю два класса - предок и потомок:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
class class_1_type {
private:
    int t;
public:
    class_1_type(int t_) { t = t_; cout << "class_1. object: " << this << " - constructor  t = " << t << endl; }
    ~class_1_type() { cout << "class_1. object: " << this << " - destructor  t = " << t << endl; }
};
 
 
class class_2_type: public class_1_type {
private:
    int s;
public:
    class_2_type(int t_, int s_): class_1_type(t_) { s = s_; cout << "class_2. object: " << this << " - constructor  s = " << s << endl; }
    ~class_2_type() { cout << "class_2. object: " << this << " - destructor  s = " << s << endl; }
};
Пишу такой код:
C++
1
2
3
4
5
6
7
8
9
10
11
    class_1_type * ob1;
    class_2_type * ob2;
 
    ob1 = new class_1_type(1);
    delete ob1;
 
    ob1 = new class_2_type(2, 3);
    delete ob1;
 
    ob2 = new class_2_type(4, 5);
    delete ob2;
Получаю такой вывод на экран:
class_1. object: 00343AF8 - constructor t = 1
class_1. object: 00343AF8 - destructor t = 1

class_1. object: 00343AF8 - constructor t = 2
class_2. object: 00343AF8 - constructor s = 3
class_1. object: 00343AF8 - destructor t = 2

class_1. object: 00343AF8 - constructor t = 4
class_2. object: 00343AF8 - constructor s = 5
class_2. object: 00343AF8 - destructor s = 5
class_1. object: 00343AF8 - destructor t = 4
Первый и третий случаи - все понятно.
Подскажите пожалуйста, почему во втором случае не вызвался деструктор класса-наследника??
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
01.11.2015, 02:04
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Наследование - вызов конструкторов и деструкторов (C++):

Вызов конструкторов/деструкторов при наследовании - C++
Объясните пожалуйста, как получается вывод на экран 2531 #include &lt;iostream&gt; class A { public: A(int n = 2) : m_i(n) {...

Вызов лишних конструкторов и деструкторов в std::vector - C++
почему вызывает лишние конструкторы и вообще делает не то, что ожидаешь class S { public: int x; S() { cout &lt;&lt; &quot;cons&quot; &lt;&lt; endl; } ...

Задание с использованием конструкторов и деструкторов - C++
Нужна ваша помощь. Само задание: Разработать класс - СТУДЕНТ. В закрытой части определить данные: фамилия, номер зачетной книжки,...

Порядок вызова конструкторов/деструкторов - C++
Вопрос чисто теоретический. Попробую сформулировать, не ругайте если получится коряво. Например, есть некий класс для писанины в лог,...

Правильное использование конструкторов и деструкторов - C++
#include &quot;stdafx.h&quot; #include &lt;iostream&gt; #include &lt;conio.h&gt; using namespace std; class Worker {public: ...

Как реализовать набор конструкторов и деструкторов - C++
Делаю так: #include &lt;iostream&gt; class Time //начало объявления класса { public: //начало раздела public Time(int...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
hoggy
6533 / 2713 / 469
Регистрация: 15.11.2014
Сообщений: 5,992
Завершенные тесты: 1
01.11.2015, 02:12 #2
Цитата Сообщение от m45 Посмотреть сообщение
почему во втором случае не вызвался деструктор класса-наследника??
замените:
C++
1
~class_1_type()
на
C++
1
virtual ~class_1_type()
Fallenworld
76 / 76 / 9
Регистрация: 14.04.2014
Сообщений: 408
01.11.2015, 07:00 #3
чтобы вызвались все деструкторы иерархии наследования, у всех классов предков они должны быть виртуальными.
m45
0 / 0 / 0
Регистрация: 06.07.2015
Сообщений: 24
04.11.2015, 05:14  [ТС] #4
Так а почему для конструктора не нужно указывать метод виртуальным?
Fallenworld
76 / 76 / 9
Регистрация: 14.04.2014
Сообщений: 408
04.11.2015, 05:45 #5
конструктор сам вызывает консруктор базового класса. И только без параметров. Все остальное надо пилить самому
Убежденный
Системный программист
Эксперт С++
15509 / 7007 / 1106
Регистрация: 02.05.2013
Сообщений: 11,441
Завершенные тесты: 1
04.11.2015, 08:43 #6
Цитата Сообщение от Fallenworld Посмотреть сообщение
чтобы вызвались все деструкторы иерархии наследования, у всех классов предков они должны быть виртуальными.
Уточню: нужно, чтобы деструктор базового класса был объявлен с ключевым
словом virtual. В производных классах использовать virtual для этого
не обязательно (хотя и не запрещено).
Fallenworld
76 / 76 / 9
Регистрация: 14.04.2014
Сообщений: 408
04.11.2015, 12:51 #7
Цитата Сообщение от Убежденный Посмотреть сообщение
В производных классах использовать virtual для этого
не обязательно
ну да, я имел ввиду, что если иерархия более 1ой ступени, то только у самого последнего потомка можно не виртуальный деструктор.
Убежденный
Системный программист
Эксперт С++
15509 / 7007 / 1106
Регистрация: 02.05.2013
Сообщений: 11,441
Завершенные тесты: 1
04.11.2015, 12:59 #8
Ладно, я поясню на примере:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#include <cstdio>
 
struct base
{
    virtual ~base() {}
};
 
struct child : base
{
    ~child()
    {
        printf("child destructor\r\n");
    }
};
 
struct grandchild : child
{
    ~grandchild()
    {
        printf("grandchild destructor\r\n");
    }
};
 
int main()
{
    base * Child = new child();
    base * GrandChild = new grandchild();
    delete GrandChild;
    delete Child;
    return 0;
}
> grandchild destructor
> child destructor
> child destructor
P.S. Ни у child, ни у grandchild деструктор не объявлен virtual.
m45
0 / 0 / 0
Регистрация: 06.07.2015
Сообщений: 24
05.11.2015, 00:42  [ТС] #9
Спасибо!

Т.е. в моем примере эта часть:
C++
1
2
3
......
class_2_type(int t_, int s_): class_1_type(t_) { s = s_; cout << ......
......
Эта часть: "....: class_1_type(t_)...." является фактически явным вызовом конструктора предка?
gromo
370 / 269 / 24
Регистрация: 04.09.2009
Сообщений: 1,214
05.11.2015, 03:41 #10
Цитата Сообщение от Убежденный Посмотреть сообщение
Уточню: нужно, чтобы деструктор базового класса был объявлен с ключевым
словом virtual. В производных классах использовать virtual для этого
не обязательно (хотя и не запрещено).
Ну и я уточню и добавлю
С недавних пор предпочтительно помечать такие вещи в производных классах спецификатором override.
C++
1
2
3
4
5
6
7
8
9
struct A
{
    virtual ~A() {}
};
struct B : A
{
    ~B() override {}
 
};
Хотя с современными IDE подсветка синтаксиса и без этого покажет, что это виртуальная функция, но мы ж то пишем код добросовестно

P.s.
Если не планируется полиморфное разрушение объекта через указатель на базовый класс, то деструктор лучше делать невиртуальным и защищенным.
По этому поводу есть хорошая статья Саттера: Virtuality

Цитата Сообщение от m45 Посмотреть сообщение
является фактически явным вызовом конструктора предка?
Да.
Fallenworld
76 / 76 / 9
Регистрация: 14.04.2014
Сообщений: 408
05.11.2015, 03:55 #11
Цитата Сообщение от gromo Посмотреть сообщение
хорошая статья Саттера: Virtuality
вот спасибо, только дошел по книжке до нее) на всякий пример:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
using namespace std;
class Base{
   public:
    void print(){
        out();
    }
 
private:
    virtual void out(){
        cout<<"base"<<endl;
    }
};
class Derived:public Base{
private:
    virtual void out(){
        cout<<"derived"<<endl;
    }
};
 
int main()
{
    Base a;
    Base *pa;
 
 
    Derived d;
 
 
    pa = &d;
    a.print();
    pa->print();
 
 
    return 0;
}
Цитата Сообщение от gromo Посмотреть сообщение
Если не планируется полиморфное разрушение объекта через указатель на базовый класс, то деструктор лучше делать невиртуальным и защищенным.
как я понял он там говорит про базовые классы, которые нельзя разрушить. unary_function состоящий только из typedef типо не надо разрушать?
gromo
370 / 269 / 24
Регистрация: 04.09.2009
Сообщений: 1,214
05.11.2015, 04:10 #12
Цитата Сообщение от Fallenworld Посмотреть сообщение
как я понял он там говорит про базовые классы, которые нельзя разрушить.
Любой объект можно разрушить и нужно разрушать, когда он больше не нужен.
Цитата Сообщение от Fallenworld Посмотреть сообщение
unary_function состоящий только из typedef типо не надо разрушать?
Конечно же надо. Возможно, компилятор применит какие-нибудь оптимизации типа Empty Base Optimization, но с точки зрения программиста можно считать что он будет разрушаться как базовый класс с данными-членами.

Подытоживая: убрать возможность разрушения через указатель на базовый класс может понадобиться в mixin-классе при множественном наследовании. В таком случае нам скорее всего предпочтительнее отнаследоваться от такого класса защищенным или приватным наследованием, что лишит возможности кастовать к типу миксина. В данном случае мы никак не сможем вызвать delete по указателю на базовый класс-миксин и соответственно лишаемся преимуществ объявления деструктора виртуальным. Поэтому делаем его защищенным и невиртуальным, получая при этом шанс ускорить рантайм и дополнительную инкапсуляцию в виде невозможности инстанцировать в коде напрямую объект класса-mixin'a.

Не по теме:

Кто-нибудь знает как тут выделять ключевые слова в темную inline-рамочку akin stackoverflow? А то я более чем за 6 лет на форуме так и не разобрался

gru74ik
Модератор
Эксперт CЭксперт С++
4150 / 1776 / 197
Регистрация: 20.02.2013
Сообщений: 4,898
Записей в блоге: 21
05.11.2015, 08:17 #13
Цитата Сообщение от gromo Посмотреть сообщение
Кто-нибудь знает как тут выделять ключевые слова в темную inline-рамочку akin stackoverflow? А то я более чем за 6 лет на форуме так и не разобрался
Внезапно: кнопочкой inline
Миниатюры
Наследование - вызов конструкторов и деструкторов  
mporro
256 / 102 / 14
Регистрация: 04.07.2014
Сообщений: 571
05.11.2015, 09:20 #14
Когда-то я тоже стремился к таким вот вывертам. Всё казалось очень логичным.
Но, познакомившись полноценно с объектным программированием, понял, что все эти советы ничего не дают.

Главная проблема в том, что С++ использует наследование одновременно для двух задач: внедрение функциональности и типовых меток. Грубо говоря, сам инструмент наследования в С++ уже смешивает интерфейсы и детали реализации. Как бы мы не старались теперь разодрать эту связь -- ничего не получится.
gromo
370 / 269 / 24
Регистрация: 04.09.2009
Сообщений: 1,214
05.11.2015, 12:04 #15
mporro, ну а как же идиома Non-Virtual Interface? Костыльно, не спорю, но "разодрать" очень даже неплохо получается.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
05.11.2015, 12:04
Привет! Вот еще темы с ответами:

Ошибки в программе с использованием конструкторов/деструкторов - C++
Приветы Есть код: #include &lt;iostream&gt; #include &lt;cmath&gt; #include &lt;stdlib.h&gt;

Разработка классов, создание конструкторов и деструкторов - C++
Здравствуйте, помогите решить следующее задание: Постpоить класс для pаботы со cтpоками. Класс должен включать следующие поля: массив...

Оценить правильность использования конструкторов, деструкторов в коде - C++
Всем доброго времени суток. Не могли бы вы оценить правильность использования конструкторов,деструкторов и динамического выделения памяти...

Классы и обьекты в С++. Выполнить исследование вызовов конструкторов и деструкторов - C++
Написать программу, в которой создаются и разрушаются обьекты, определенного пользователем класса. Выполнить исследование вызовов...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
Yandex
Объявления
05.11.2015, 12:04
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru