Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
 
Рейтинг 4.80/25: Рейтинг темы: голосов - 25, средняя оценка - 4.80
0 / 0 / 0
Регистрация: 06.07.2015
Сообщений: 36

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

01.11.2015, 02:04. Показов 5468. Ответов 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
Первый и третий случаи - все понятно.
Подскажите пожалуйста, почему во втором случае не вызвался деструктор класса-наследника??
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
01.11.2015, 02:04
Ответы с готовыми решениями:

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

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

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

53
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
01.11.2015, 02:12
Цитата Сообщение от m45 Посмотреть сообщение
почему во втором случае не вызвался деструктор класса-наследника??
замените:
C++
1
~class_1_type()
на
C++
1
virtual ~class_1_type()
2
76 / 76 / 32
Регистрация: 14.04.2014
Сообщений: 408
01.11.2015, 07:00
чтобы вызвались все деструкторы иерархии наследования, у всех классов предков они должны быть виртуальными.
1
0 / 0 / 0
Регистрация: 06.07.2015
Сообщений: 36
04.11.2015, 05:14  [ТС]
Так а почему для конструктора не нужно указывать метод виртуальным?
0
76 / 76 / 32
Регистрация: 14.04.2014
Сообщений: 408
04.11.2015, 05:45
конструктор сам вызывает консруктор базового класса. И только без параметров. Все остальное надо пилить самому
1
Ушел с форума
Эксперт С++
 Аватар для Убежденный
16481 / 7444 / 1187
Регистрация: 02.05.2013
Сообщений: 11,616
Записей в блоге: 1
04.11.2015, 08:43
Цитата Сообщение от Fallenworld Посмотреть сообщение
чтобы вызвались все деструкторы иерархии наследования, у всех классов предков они должны быть виртуальными.
Уточню: нужно, чтобы деструктор базового класса был объявлен с ключевым
словом virtual. В производных классах использовать virtual для этого
не обязательно (хотя и не запрещено).
2
76 / 76 / 32
Регистрация: 14.04.2014
Сообщений: 408
04.11.2015, 12:51
Цитата Сообщение от Убежденный Посмотреть сообщение
В производных классах использовать virtual для этого
не обязательно
ну да, я имел ввиду, что если иерархия более 1ой ступени, то только у самого последнего потомка можно не виртуальный деструктор.
0
Ушел с форума
Эксперт С++
 Аватар для Убежденный
16481 / 7444 / 1187
Регистрация: 02.05.2013
Сообщений: 11,616
Записей в блоге: 1
04.11.2015, 12:59
Ладно, я поясню на примере:
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.
2
0 / 0 / 0
Регистрация: 06.07.2015
Сообщений: 36
05.11.2015, 00:42  [ТС]
Спасибо!

Т.е. в моем примере эта часть:
C++
1
2
3
......
class_2_type(int t_, int s_): class_1_type(t_) { s = s_; cout << ......
......
Эта часть: "....: class_1_type(t_)...." является фактически явным вызовом конструктора предка?
0
 Аватар для gromo
383 / 281 / 31
Регистрация: 04.09.2009
Сообщений: 1,225
05.11.2015, 03:41
Цитата Сообщение от Убежденный Посмотреть сообщение
Уточню: нужно, чтобы деструктор базового класса был объявлен с ключевым
словом 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 Посмотреть сообщение
является фактически явным вызовом конструктора предка?
Да.
2
76 / 76 / 32
Регистрация: 14.04.2014
Сообщений: 408
05.11.2015, 03:55
Цитата Сообщение от 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 типо не надо разрушать?
0
 Аватар для gromo
383 / 281 / 31
Регистрация: 04.09.2009
Сообщений: 1,225
05.11.2015, 04:10
Цитата Сообщение от Fallenworld Посмотреть сообщение
как я понял он там говорит про базовые классы, которые нельзя разрушить.
Любой объект можно разрушить и нужно разрушать, когда он больше не нужен.
Цитата Сообщение от Fallenworld Посмотреть сообщение
unary_function состоящий только из typedef типо не надо разрушать?
Конечно же надо. Возможно, компилятор применит какие-нибудь оптимизации типа Empty Base Optimization, но с точки зрения программиста можно считать что он будет разрушаться как базовый класс с данными-членами.

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

Не по теме:

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

0
Модератор
Эксперт CЭксперт С++
 Аватар для sourcerer
5288 / 2376 / 342
Регистрация: 20.02.2013
Сообщений: 5,773
Записей в блоге: 20
05.11.2015, 08:17
Цитата Сообщение от gromo Посмотреть сообщение
Кто-нибудь знает как тут выделять ключевые слова в темную inline-рамочку akin stackoverflow? А то я более чем за 6 лет на форуме так и не разобрался
Внезапно: кнопочкой inline
Миниатюры
Наследование - вызов конструкторов и деструкторов  
1
306 / 101 / 18
Регистрация: 04.07.2014
Сообщений: 571
05.11.2015, 09:20
Когда-то я тоже стремился к таким вот вывертам. Всё казалось очень логичным.
Но, познакомившись полноценно с объектным программированием, понял, что все эти советы ничего не дают.

Главная проблема в том, что С++ использует наследование одновременно для двух задач: внедрение функциональности и типовых меток. Грубо говоря, сам инструмент наследования в С++ уже смешивает интерфейсы и детали реализации. Как бы мы не старались теперь разодрать эту связь -- ничего не получится.
0
 Аватар для gromo
383 / 281 / 31
Регистрация: 04.09.2009
Сообщений: 1,225
05.11.2015, 12:04
mporro, ну а как же идиома Non-Virtual Interface? Костыльно, не спорю, но "разодрать" очень даже неплохо получается.
0
306 / 101 / 18
Регистрация: 04.07.2014
Сообщений: 571
05.11.2015, 12:51
gromo
Ничего разделить не получится.
Как бы Вы ни пытались, но
C++
1
2
class A_impl: public B_type {
};
всегда вместе с типовой меткой прицепит к A_impl реализацию из B_type. Единственное, что можно сделать, это лишить B_type всякой реализации, в том числе и разного рода приватных методов (это же детали реализации, зачем они там, где реализации нет?)

Приличный дизайн подразумевал бы нечто подобное:

-- определим тип
Type Show {
show(some_stream: Tostream): Tostream
}


Object SomeImplementation Ensures Show {
Show::show(some_stream: Tostream): Tostream
{
-- code goes here
}
}

-- ошибка компиляции SomeImplementation не определяет тип
Object TheOtherImplementation Ensures SomeImplementation {
}

То есть, типы и реализации принципиально разделены.

Non-virtual interfaces -- это просто внедрение лишней детали. А лучшая деталь та, которой нет.
По-существу non-virtual interface если и не является "анти-паттерном", то очень близко к этому.
1
 Аватар для gromo
383 / 281 / 31
Регистрация: 04.09.2009
Сообщений: 1,225
05.11.2015, 13:10
Цитата Сообщение от mporro Посмотреть сообщение
всегда вместе с типовой меткой прицепит к A_impl реализацию из B_type.
Можно в B_type сделать функции чисто виртуальными и никакого прицепления не будет. Вы это имели ввиду здесь:
Цитата Сообщение от mporro Посмотреть сообщение
Единственное, что можно сделать, это лишить B_type всякой реализации,
?
Цитата Сообщение от mporro Посмотреть сообщение
Non-virtual interfaces -- это просто внедрение лишней детали. А лучшая деталь та, которой нет.
Какой еще детали? Наоборот, скрывается та деталь, что функция может менять свою реализацию в производных классах. Вы статью Virtuality по ссылке выше читали?

Добавлено через 1 минуту

Не по теме:

Цитата Сообщение от gru74ik Посмотреть сообщение
Внезапно: кнопочкой inline
Ну как я мог её не заметить?! Долго ведь искал… Спасибо :good:

0
306 / 101 / 18
Регистрация: 04.07.2014
Сообщений: 571
05.11.2015, 13:17
Цитата Сообщение от gromo Посмотреть сообщение
Наоборот, скрывается та деталь, что функция может менять свою реализацию
Эта "деталь" никуда не скрывается. Она "перемещается". Более того! Создаётся новая деталь и более тесная связь.
Если с "виртуальным" интерфейсом наследнику нужно было знать только контракты открытых методов, то теперь к ним ещё прилипнут контракты приватных методов.
Всё это просто иллюзия. В том-то и проблема.
0
 Аватар для gromo
383 / 281 / 31
Регистрация: 04.09.2009
Сообщений: 1,225
05.11.2015, 13:47
mporro, действительно, рассуждать можно с разных позиций и все они в чем-то правильны и в чем-то неправильны. Здесь, на мой взгляд, хорошо впишется цитата:
There are just two kinds of languages: the ones everybody complains about and the ones nobody uses. — Bjarne Stroustrup
И это замечательно
1
76 / 76 / 32
Регистрация: 14.04.2014
Сообщений: 408
05.11.2015, 13:49
Цитата Сообщение от mporro Посмотреть сообщение
наследнику нужно было знать только контракты открытых методов
в том то и суть, что при nvi наследник не знает открытых методов. А закрытые определяет из своих потребностей.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
05.11.2015, 13:49
Помогаю со студенческими работами здесь

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

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

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

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

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


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

Или воспользуйтесь поиском по форуму:
20
Ответ Создать тему
Новые блоги и статьи
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост.
Programma_Boinc 28.12.2025
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / **********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / **********/ gallery/ bKBkQFf Пост отсюда. . .
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США.
Programma_Boinc 26.12.2025
Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка.
Programma_Boinc 23.12.2025
Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~
and_y87 14.12.2025
PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .
Как объединить две одинаковые БД Access с разными данными
VikBal 11.12.2025
Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук
volvo 07.12.2025
Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом
volvo 04.12.2025
Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python
IndentationError 23.11.2025
Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru