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

@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 не будет вызван?

Новые блоги и статьи Все статьи Все блоги /
Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	Программный отбор значений справочника Maks 21.03.2026 Установка программного отбора значений справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит предопределенное значение перечислений. Процедура. . .	Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .
Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .

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

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

Решение