Вызов конструктора базового класса

@d7d1cd · Регистрация: 30.06.2011

Студворк — интернет-сервис помощи студентам

Приветствую всех. Создаю класс-наследник std::string. У базового класса есть конструктор копии: std::string(const std::string& str). Правильно ли я создаю конструктор копии для своего класса?

C++
1
2
3
4
5
class IString : public std::string
{
 public:
 IString(const IString& String) : std::string(String) {}
};

Такой код работает, но смущает то, что я в конструктор копии класса std::string передаю объект типа IString.

@Azazel-San · 14.05.2019, 13:12

Сообщение от eva2326

Шта? щ_Щ

=.=

Сообщение от expr.delete

In a single-object delete expression, if the static type of the object to be deleted is different from its dynamic type and the selected deallocation function (see below) is not a destroying operator delete, the static type shall be a base class of the dynamic type of the object to be deleted and the static type shall have a virtual destructor or the behavior is undefined. In an array delete expression, if the dynamic type of the object to be deleted differs from its static type, the behavior is undefined.

@oleg-m1973 · 14.05.2019, 13:15

Сообщение от d7d1cd

Ну не вызовется деструктор ~IString, ну и что? Ведь в нем все равно нет никакого кода.

Сегодня нет, завтра появится. Будешь потом искать утечки памяти.
Тут важно соблюдать правила, чтоб у тебя это закрепилось на уровне рефлексов.

@d7d1cd · 14.05.2019, 13:21 **[ТС]**

Сообщение от oleg-m1973

Тут важно соблюдать правила, чтоб у тебя это закрепилось на уровне рефлексов.

С этим не могу поспорить...
Значит выход один - использовать композицию?

@hoggy · 14.05.2019, 13:25

Сообщение от eva2326

Шта? щ_Щ

Сообщение от d7d1cd

Ну не вызовется деструктор ~IString, ну и что?

если delete применяется к указателю на базовый класс для наследника,
у которого отсутствует виртуальный деструктор,
то поведение не определено.

UB в действии:

https://rextester.com/XMEVIJ77333

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
#include <iostream>
#include <string>
 
class mystring : public std::string
{
    using base = std::string;
public:
    using base::base;
    
    int a[255];
};
 
class some 
{
    int a[255];
};
 
 
class der: public some, public mystring
{
};
 
int main()
{
    mystring* ptr = new der;
    delete ptr;
}

output:

Code
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
Error(s):
*** Error in `/var/www/service/usercode/982667182/a.out': free(): invalid pointer: 0x00000000022ed020 ***
======= Backtrace: =========
/lib/x86_64-linux-gnu/libc.so.6(+0x777e5)[0x7f473a9d27e5]
/lib/x86_64-linux-gnu/libc.so.6(+0x7fe0a)[0x7f473a9dae0a]
/lib/x86_64-linux-gnu/libc.so.6(cfree+0x4c)[0x7f473a9de98c]
/var/www/service/usercode/982667182/a.out[0x40069f]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f473a97b830]
/var/www/service/usercode/982667182/a.out[0x400709]
======= Memory map: ========
00400000-00401000 r-xp 00000000 b6:3c7d1 3045200                         /var/www/service/usercode/982667182/a.out
00600000-00601000 r--p 00000000 b6:3c7d1 3045200                         /var/www/service/usercode/982667182/a.out
00601000-00602000 rw-p 00001000 b6:3c7d1 3045200                         /var/www/service/usercode/982667182/a.out
022db000-0230d000 rw-p 00000000 00:00 0                                  [heap]
7f4734000000-7f4734021000 rw-p 00000000 00:00 0 
7f4734021000-7f4738000000 ---p 00000000 00:00 0 
7f473a43c000-7f473a452000 r-xp 00000000 b6:3c7d1 105                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f473a452000-7f473a651000 ---p 00016000 b6:3c7d1 105                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f473a651000-7f473a652000 rw-p 00015000 b6:3c7d1 105                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f473a652000-7f473a75a000 r-xp 00000000 b6:3c7d1 10854                   /lib/x86_64-linux-gnu/libm-2.23.so
7f473a75a000-7f473a959000 ---p 00108000 b6:3c7d1 10854                   /lib/x86_64-linux-gnu/libm-2.23.so
7f473a959000-7f473a95a000 r--p 00107000 b6:3c7d1 10854                   /lib/x86_64-linux-gnu/libm-2.23.so
7f473a95a000-7f473a95b000 rw-p 00108000 b6:3c7d1 10854                   /lib/x86_64-linux-gnu/libm-2.23.so
7f473a95b000-7f473ab1a000 r-xp 00000000 b6:3c7d1 10849                   /lib/x86_64-linux-gnu/libc-2.23.so
7f473ab1a000-7f473ad1a000 ---p 001bf000 b6:3c7d1 10849                   /lib/x86_64-linux-gnu/libc-2.23.so
7f473ad1a000-7f473ad1e000 r--p 001bf000 b6:3c7d1 10849                   /lib/x86_64-linux-gnu/libc-2.23.so
7f473ad1e000-7f473ad20000 rw-p 001c3000 b6:3c7d1 10849                   /lib/x86_64-linux-gnu/libc-2.23.so
7f473ad20000-7f473ad24000 rw-p 00000000 00:00 0 
7f473ad24000-7f473ad3c000 r-xp 00000000 b6:3c7d1 10855                   /lib/x86_64-linux-gnu/libpthread-2.23.so
7f473ad3c000-7f473af3b000 ---p 00018000 b6:3c7d1 10855                   /lib/x86_64-linux-gnu/libpthread-2.23.so
7f473af3b000-7f473af3c000 r--p 00017000 b6:3c7d1 10855                   /lib/x86_64-linux-gnu/libpthread-2.23.so
7f473af3c000-7f473af3d000 rw-p 00018000 b6:3c7d1 10855                   /lib/x86_64-linux-gnu/libpthread-2.23.so
7f473af3d000-7f473af41000 rw-p 00000000 00:00 0 
7f473af41000-7f473b0b3000 r-xp 00000000 b6:3c7d1 3213                    /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21
7f473b0b3000-7f473b2b3000 ---p 00172000 b6:3c7d1 3213                    /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21
7f473b2b3000-7f473b2bd000 r--p 00172000 b6:3c7d1 3213                    /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21
7f473b2bd000-7f473b2bf000 rw-p 0017c000 b6:3c7d1 3213                    /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21
7f473b2bf000-7f473b2c3000 rw-p 00000000 00:00 0 
7f473b2c3000-7f473b2e9000 r-xp 00000000 b6:3c7d1 10838                   /lib/x86_64-linux-gnu/ld-2.23.so
7f473b4b4000-7f473b4ba000 rw-p 00000000 00:00 0 
7f473b4e5000-7f473b4e8000 rw-p 00000000 00:00 0 
7f473b4e8000-7f473b4e9000 r--p 00025000 b6:3c7d1 10838                   /lib/x86_64-linux-gnu/ld-2.23.so
7f473b4e9000-7f473b4ea000 rw-p 00026000 b6:3c7d1 10838                   /lib/x86_64-linux-gnu/ld-2.23.so
7f473b4ea000-7f473b4eb000 rw-p 00000000 00:00 0 
7ffecd116000-7ffecd12b000 rw-p 00000000 00:00 0                          [stack]
7ffecd135000-7ffecd137000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]
 
Abort signal from abort(3) (SIGABRT)

виртуальный деструктор не нужен,
если у наследника нет своих собственных членов-данных.

то есть, если sizeof(der) == sizeof(base),
тогда проблем не будет.

Сообщение от oleg-m1973

Я бы не стал на это закладываться.

почему нет?
а если программист ничайно позабудет - ему компилятор напомнит.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
class mystring : public std::string
{
    using base = std::string;
public:
    using base::base;
private:
    void check() noexcept
    {
        static_assert(
            sizeof(base) == sizeof(mystring )
        );
    }
};

@DrOffset · 14.05.2019, 13:28

Сообщение от d7d1cd

Значит выход один - использовать композицию?

Нет, выходов здесь множество. В том числе и ваш вариант тоже правомерен в случае правильного использования.

Вместо композиции можно использовать закрытое наследование, с выделением нужных функций из базового класса, например:

C++
1
2
3
4
5
6
class String : private std::string
{
public:
    using std::string::string;
    using std::string::substr;
};

@oleg-m1973 · 14.05.2019, 13:28

Сообщение от d7d1cd

Значит выход один - использовать композицию?

А зачем тебе вообще нужен этот IString, если в нём нет никаких данных? Если только ради конструкторов, сделай лучше функцию std:string make_string(.......);

@Azazel-San · 14.05.2019, 13:33

Сообщение от hoggy

виртуальный деструктор не нужен,
если у наследника нет своих собственных членов-данных.
то есть, если sizeof(der) == sizeof(base),
тогда проблем не будет.

И как это проверить? Если программа не упала, знач все ок?

В стандарте не вижу исключений, такого рода.

@d7d1cd · 14.05.2019, 13:39 **[ТС]**

Сообщение от DrOffset

Вместо композиции можно использовать закрытое наследование, с выделением нужных функций из базового класса

Ну тут все равно нарушается принцип "Наследование от класса без виртуального деструктора - не есть хорошо!"

Сообщение от oleg-m1973

А зачем тебе вообще нужен этот IString, если в нём нет никаких данных?

Ну почему же не будет? Может и будут (например, int или char). Но ведь освобождение памяти, занятое ими, будет проходить без проблем?..

Сообщение от oleg-m1973

Если только ради конструкторов, сделай лучше функцию std:string make_string(.......);

Ну как бы хочется применять ООП, а не методы С.

@Azazel-San · 14.05.2019, 13:44

Сообщение от d7d1cd

Ну тут все равно нарушается принцип "Наследование от класса без виртуального деструктора - не есть хорошо!"

Как однажды мне сказал один человек:
"Ты пишешь код и выражаешь мысль, современный код это и инструкции для процессора ( в конечном счете) и роман для другого программиста. Поэтому как роман составленный из шаблонов из методички будет смотреться "не очень", так и программа, наполненная бездумно вставленным кодом, обоснование которому "так принято", - тоже.".

Сообщение от d7d1cd

Ну как бы хочется применять ООП, а не методы С.

А что такое ООП?))
Не вижу что бы вы следовали особо каким-то принципам, например, SOLID?

@DrOffset · 14.05.2019, 13:53

Сообщение от d7d1cd

Ну тут все равно нарушается принцип "Наследование от класса без виртуального деструктора - не есть хорошо!"

Нет, не нарушается.

Да и принципа такого нет. Есть общая рекомендация, которую выработали для общего случая. Однако в частном случае ее можно и не применять - если это обосновано.

@hoggy · 14.05.2019, 13:57

Сообщение от Azazel-San

И как это проверить?

почитать документацию: как работают new/delete

Сообщение от Azazel-San

В стандарте не вижу исключений, такого рода.

стандарт ясно даёт понять:
если нет виртуального деструктора,
то случится две вещи:
1.
деструктор наследника не будет запущен.

2.
за размер куска памяти,
который нужно освободить,
будет принят sizeof(object) удаляемого объекта.

выше я привел пример, где случился краш.
почему случился краш?

причина - множественное наследование.
получилось так,
что delete попыталась освободить только часть памяти,
(удалить один из подобъектов)
вместо того, что бы освободить всю память,
которая была захвачена у системы посредством new.

так делать нельзя.
нельзя запросить целое, а вернуть только половину.

если у класса нет собственных членов-данных,
стало быть размер наследника совпадает с размером базового класса,
следовательно new/delete априори будет аллоцировать/освобождать
тот же самый кусок памяти,
даже с учетом множественного наследования.

убираем данные-члены из классов, и вуаля!
проблем никаких.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
#include <string>
 
class mystring : public std::string
{
    using base = std::string;
public:
    using base::base;
};
 
class some 
{
};
 
class der: public some, public mystring
{
};
 
int main()
{
    mystring* ptr = new der;
    delete ptr;
}

понятно, что само по себе отсутствие данных-членов
у конкретного наследника ещё ничего не гарантирует.

важно, что бы либо не было множественного наследования,
либо классы-участники в множественном наследовании
так же не имели данных-членов.

короче, смысл простой:
нужно гарантировать что удаляется тот же самый кусок памяти,
что был захвачен при помощи new

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

Сообщение от d7d1cd

Ну тут все равно нарушается принцип "Наследование от класса без виртуального деструктора - не есть хорошо!"

потому что так петух на горе прокукарекал?

или ты сейчас сможешь ответить на вопрос:
"почему не есть хорошо?"

Croessmah · 14.05.2019, 14:08

Сообщение от hoggy

убираем данные-члены из классов, и вуаля!
проблем никаких.

Как это влияет на присутствие неопределенного поведения в коде?
Речь-то о том, что подобный код приводит к неопределенному поведению.
Код с UB может вполне нормально работать, однако UB как было, так и остается.

@Azazel-San · 14.05.2019, 14:09

Сообщение от Croessmah

Речь-то о том, что подобный код приводит к UB.

Ну, как я понимаю

Сообщение от hoggy

смысл простой:
нужно гарантировать что удаляется тот же самый кусок памяти,
что был захвачен при помощи new

А такую гарантию мы имеем.

Остальное на свой риск, как всегда?)

Croessmah · 14.05.2019, 14:11

Сообщение от Azazel-San

А такую гарантию мы имеем.

Вы не имеете гарантий от стандарта, что это будет работать.
UB на то и UB, что никаких гарантий со стороны стандарта нет.
Всё что без гарантий - всегда на свой страх, риск, опыт, знание реализации.

@d7d1cd · 14.05.2019, 15:14 **[ТС]**

Уфф! Здорово! Спасибо за информацию всем!
Мне непонятен следующий момент. Есть базовый класс без виртуального деструктора, а так же есть наследник этого класса с полем простого типа. Произойдет ли корректное освобождение памяти, занятой этим полем, в следующем коде:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
class A
{
 int* a;
 
 public:
 A() { a = new int; }
 ~A() { delete a; }
};
 
class B : public A
{
 int c;   
};
 
int main()
{
 A* a = new B;
 delete a; 
 return 0;
}

@oleg-m1973 · 14.05.2019, 15:36

Сообщение от d7d1cd

Мне непонятен следующий момент. Есть базовый класс без виртуального деструктора, а так же есть наследник этого класса с полем простого типа. Произойдет ли корректное освобождение памяти, занятой этим полем, в следующем коде:

Сделай

C++
1
2
3
4
5
6
7
8
class A
{
 int* a;
 
 public:
 A() { std::cout << __FINCTION__ << std::endl; a = new int; }
 ~A() { std::cout << __FINCTION__ << std::endl; delete a; }
};

Ии посмотри. То же самое для B

@Azazel-San · 14.05.2019, 15:56

Сообщение от d7d1cd

роизойдет ли корректное освобождение памяти, занятой этим полем, в следующем коде:

Нет конечно же, о чем мы вам втолкмачивали последние сообщений 10?

@d7d1cd · 14.05.2019, 16:11 **[ТС]**

То есть, мои слова о том, что в созданном по умолчанию деструкторе нет кода, неверны. Там есть код освобождения памяти, которую занимали поля класса. Я все правильно понимаю?

@TheCalligrapher · 14.05.2019, 17:19

Сообщение от hoggy

виртуальный деструктор не нужен,
если у наследника нет своих собственных членов-данных.
то есть, если sizeof(der) == sizeof(base),
тогда проблем не будет.

Пробуем

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
struct A
{
  int a, b, c;
};
 
struct B : A
{
  static void *operator new(std::size_t s)
  {
    return (char *) std::malloc(s + 100) + 100;
  }
    
  static void operator delete(void *p)
  {
    std::free((char *) p - 100);
  }
};
 
int main()
{
  A *p = new B;
  delete p;
}

У наследника нет своих членов-данных. И даже sizeof(A) == sizeof(B). Однако хрясь

Code
1
*** Error in `./a.out': free(): invalid pointer: 0x0000000001449c84 ***

Добавляем виртуальный деструктор в A и - о чудо - вдруг все заработало!

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

Сообщение от d7d1cd

Мне непонятен следующий момент. Есть базовый класс без виртуального деструктора, а так же есть наследник этого класса с полем простого типа. Произойдет ли корректное освобождение памяти, занятой этим полем, в следующем коде

Вам же ясно сказали - произойдет неопределенное поведение. Нет никакого смысла говорить ни о каких "полях". Неопределенное поведение.

@Azazel-San · 14.05.2019, 17:25

Сообщение от TheCalligrapher

C++
1
return (char *) std::malloc(s + 100) + 100;

А в чем смысл в конце +100 добавлять?

Сообщение от TheCalligrapher

Однако хрясь

Потому что B::operator delete не будет вызван?

Новые блоги и статьи Все статьи Все блоги /
Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Video: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .

@d7d1cd 279 / 156 / 52 Регистрация: 30.06.2011 Сообщений: 1,712
	14.05.2019, 16:11 [ТС]
	То есть, мои слова о том, что в созданном по умолчанию деструкторе нет кода, неверны. Там есть код освобождения памяти, которую занимали поля класса. Я все правильно понимаю? 0

Вызов конструктора базового класса

Решение