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

@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.

@TheCalligrapher · 14.05.2019, 17:35

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

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

Смысл в том, что класс-наследник может пользоваться совсем другим механизмом распределения памяти, несовместимым с механизмом по умолчанию. Вот это +100 и призвано "на коленке" смоделировать "другой механизм распределения памяти". Именно из-за этого +100 механизм по умолчанию "подавится" неправильным указателем.

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

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

Да. Потому что вместо правильного B::operator delete вызван обычный ::operator delete.

В типичной реализации задача вызова правильного operator delete для объекта в динамической памяти тоже возложена на виртуальный деструктор.

@Azazel-San · 14.05.2019, 17:37

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

В типичной реализации задача вызова правильного operator delete для объекта в динамической памяти тоже возложена на виртуальный деструктор.

Спасибо, полезная инфа.

@d7d1cd · 14.05.2019, 17:48 **[ТС]**

Вот задал один вопрос, а столько полезного узнал! Теперь понятно, что наследоваться от класса, у которого нет виртуального деструктора, можно только в очень ограниченных случаях. Так как я планирую развивать создаваемый класс, то очевидно, что мне надо использовать композицию.

@Azazel-San · 14.05.2019, 17:48

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

Нам важно лишь то, что адрес объекта не совпадает с адресом выделенной памяти.

Т.е. отчасти это попытка специально сделать что бы, обычный operator delete хрякнулся,
получив

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

неправильный указатель

?
Ну отсюда и ошибка

Code
1
invalid pointer: 0x0000000001449c84

@TheCalligrapher · 14.05.2019, 17:53

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

Т.е. отчасти это попытка специально сделать что бы, обычный operator delete хрякнулся,
получив

Именно так. То есть вместо +100 можно было вызвать какой-нибудь платформенный VirtualAlloc или sbrk, или выделить память в каком-то своем рукописном пуле (последнее как раз и моделируется этим +100).

@Azazel-San · 14.05.2019, 17:55

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

Именно так. То есть вместо +100 можно было вызвать какой-нибудь платформенный VirtualAlloc или sbrk, или выделить память в каком-то своем рукописном пуле (последнее как раз и моделируется этим +100).

Круто, спасибо.

@TheCalligrapher · 14.05.2019, 18:58

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

Теперь понятно, что наследоваться от класса, у которого нет виртуального деструктора, можно только в очень ограниченных случаях.

Это вы чересчур перегибаете. Это правило предназначено для первокурсников, для того, чтобы выработать у них правильные приоритеты и отбить привычку злоупотреблять наследованием. Но уже второкурсникам первым делом объясняют, что такого правила на самом деле нет. Современное С++ программирование активно использует наследование, не имеющее никакого отношения к виртуальным деструкторам.

CRTP не беспокоится ни о каких виртуальных деструкторах. std::enable_shared_from_this не беспокоится ни о каких виртуальных деструкторах. И т.д. и т.п.

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

Аргументы из разряда "а что, если кто-то сделает вот так" - это чушь. Если кто-то "сделает вот так" - сами виноваты будут.

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

Вот здесь

Почему деструктор срабатывает больше раз, чем количество созданных объектов?

я уже описывал, как в реальности реализуется вызов правильного operator delete через посредство правильного деструктора.

Современные реализации GCC подчиняются требованиям Itanium ABI, согласно которым, вместо одного параметризованного деструктора у класса должно быть два отдельных деструктора (там их на самом деле даже три может быть). То есть современная реализация в GCC отличается в деталях, но суть остается та же.

IGPIGP · 14.05.2019, 22:12

Если плюсовый код не содержит UB - иди спать. Завтра с утра всё увидишь.
***
Уф-ф... Наконец-то всё прояснилось, а то уж начало казаться, что без виртуальных деструкторов - никуда. d7d1cd, соображения того плана, что delete на указателе базового класса (string) в вашем случае не сработает правильно, скорее всего вас не должны беспокоить. Поскольку вы не собираетесь использовать виртуальные методы, то вам и не предстоит создание коллекций полиморфных указателей. В этом случае беспокоиться не стоит. Если юзеру придёт в голову инициализировать указатель базового класса адресом наследника - это его проблема. Пусть кастит перед удалением или умрёт как мужчина. В конце концов в плюсах нет механизмов для запрета скастить любой указатель к void* а результат к чему то вовсе левому. А потом удалить. Хотя предусмотреть запрет на неявное преобразование указателя наследника к указателю базового класса в случае неполиморфного наследования можно было бы, наверное. Но не важно, важно, что чужая косорукость не ваша ответственность. А использование композиции защитит на уровне типа, но потребует много нудной писанины. Я бы предложил ещё вот какой вариант рассмотреть:

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
36
37
38
39
40
41
42
43
44
45
46
47
#include <iostream>
#include <string>
using namespace std;
template<class SelectedString >
struct IString;
 
template<>
struct IString<string>: public string
{
    IString()
        :string()
    {}
    template<class U>
     IString(const U& u)
         :string(u)
     {}
 
};
template<>
struct IString<wstring>: public wstring
{
    IString()
        :wstring()
    {}
    template<class U>
     IString(const U& u)
         :wstring(u)
     {}
 
};
 
 
struct IStringType
{
    typedef IString<string> SelectedStringStr;
    typedef IString<wstring> SelectedStringWStr;
};
 
int main()
{
IStringType::SelectedStringStr str("mama");
IStringType::SelectedStringWStr wstr(L"fat big mama");
cout<<str;
wcout<<wstr;
cin.get();
return 0;
}

Промежуточный уровень обобщения через шаблонный параметр может оказаться уместным.

Добавлено через 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
#include <iostream>
#include <string>
using namespace std;
template<class SelectedString >
struct IString:public SelectedString
{
    IString()
        :SelectedString()
    {}
    template<class U>
     IString(const U& u)
         :SelectedString(u)
     {}
};
 
struct IStringType
{
    typedef IString<string> SelectedStringStr;
    typedef IString<wstring> SelectedStringWStr;
};
 
int main()
{
IStringType::SelectedStringStr str("mama");
IStringType::SelectedStringWStr wstr(L"fat big mama");
cout<<str;
wcout<<wstr;
cin.get();
return 0;
}

И тут вдвое меньше писанины.

@d7d1cd · 15.05.2019, 08:37 **[ТС]**

Вот так дааа! TheCalligrapher, спасибо большое за ликбез! И вправду говорят, что С++ был придуман для того, чтобы хорошими программистами не становились случайные люди (вроде меня). Преклоняюсь пред Вашими знаниями данного предмета!

@oleg-m1973 · 15.05.2019, 09:15

d7d1cd, Если у базового класса нет виртуальных методов (а у std::string их нет, насколько мне известно), то крайне маловероятно что может понадобиться удаление через указатель на него, т.е. виртуальный деструктор. Идиотов, конечно хватает, но тратить время и силу на защиту от них в данном случае я бы не стал. Так что можешь смело вернуться к первоначальному варианту и не париться.

@d7d1cd · 15.05.2019, 09:47 **[ТС]**

Тут еще один нюанс вскрылся. При наследовании надо описать только конструкторы. Все остальные функции базового класса будут видны из моего класса. Вот только операторы не будут работать. То есть, операторы все равно надо прописывать в своем классе. Как правильно сказал n1b1ru, может мне все методы и не нужны будут, поэтому можно применять композицию и предоставлять доступ только к нужным функциям базового класса.
Блин, уже запутался и не знаю что применить... Может вообще с нуля написать свой класс строки?

@oleg-m1973 · 15.05.2019, 09:52

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

Все, кроме операторов. То есть, операторы все равно надо прописывать в своем классе.

Операторы тоже наследуются, уже давно.

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

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

При наследовании надо описать только конструкторы.

Даже этого можно не делать. Делаешь using std::string::string; - в твоём случае

Добавлено через 53 секунды

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

Как правильно сказал n1b1ru, может мне все методы и не нужны будут, поэтому можно применять композицию и предоставлять доступ только к нужным функциям базового класса.

А какие тебе будут не нужны?

@d7d1cd · 15.05.2019, 10:09 **[ТС]**

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

Операторы тоже наследуются, уже давно.

Тогда что я делаю не так в этом коде:

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 IString : public std::string
{
 public:
 IString() : std::string() {}
 IString(const char* src) : std::string(src) {}
};
 
int main()
{
 IString str1, str2, str3;
 str1 = "Hello ";
 str2 = "World";
 str3 = str1 + str2; /* no match for 'operator=' (operand types are 'IString' and 'std::basic_string') */
    
 std::cout << str1 << std::endl;
 std::cout << str2 << std::endl;
 std::cout << str3 << std::endl;
 
 return 0;
}

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

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

Даже этого можно не делать. Делаешь using std::string::string; - в твоём случае

Такое не прокатывает. Ошибка "std::string::string" is not declared.".

@oleg-m1973 · 15.05.2019, 10:12

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

Тогда что я делаю не так в этом коде:

Оператор + объявлен не в std::string, это внешний оператор, шаблонный https://en.cppreference.com/w/... perator%2B. Наверное, компилятор не может там преобразовать твой класс к std::basic_string<....>.
Попробуй сделать str1 += str2;

IGPIGP · 15.05.2019, 10:17

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
#include <iostream>
#include <string>
using namespace std;
template<class SelectedString >
struct IString:public SelectedString
{
    IString()
        :SelectedString()
    {}
    template<class U>
     IString(const U& u)
         :SelectedString(u)
     {}
};
 
struct IStringType
{
    typedef IString<string> SelectedStringStr;
    typedef IString<wstring> SelectedStringWStr;
};
 
int main()
{
IStringType::SelectedStringStr
        str1("mama"),
        str2("chto mi budem delat"),
        str3=str1+ ' ' +  str2;
cout<<str3+"?!";
 
cin.get();
return 0;
}

MinGW конечно компилирует и работает. Но MVS2008(!) тоже.

@oleg-m1973 · 15.05.2019, 10:27

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

Такое не прокатывает. Ошибка "std::string::string" is not declared.".

C++
1
2
3
4
5
6
7
8
9
10
11
12
class IString : public std::string
{
public:
    using std::string::string;
    IString() : std::string() {}
    IString(const char* src) : std::string(src) {}
};
 
static IString s(10, '!');
 
................
std::cout << s << std::endl;

Какая у тебя студия? У меня - 2017

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

C++
1
2
3
        static IString s2(10, 'X');
        auto s3 = s2 + s;
        std::cout << s << ", " << s3<< std::endl;

Добавлено через 2 минуты
А вот так IString s3 = s2 + s; нет

Добавлено через 28 секунд
error C2440: 'initializing': cannot convert from 'std::basic_string<char,std::char_traits <char>,std::allocator<char>>' to 'IString'

Добавлено через 4 минуты
Похоже, надо явно определять IString(std::string &&s) : std::string(std::move(s)) {}

@Azazel-San · 15.05.2019, 11:05

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

А вот так IString s3 = s2 + s; нет

Конечо для вы хотите что бы получился IString, надо определять свои операторы.

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

Похоже, надо явно определять IString(std::string &&s) : std::string(std::move(s)) {}

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

C++
1
2
3
4
5
6
7
8
struct mstring : public std::string {
    using std::string::string;
};
 
int main() {
    mstring a("Hello");
    mstring c(std::move(a)); // call mstring(mstring&&)
}

@oleg-m1973 · 15.05.2019, 11:13

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

Конечо для вы хотите что бы получился IString, надо определять свои операторы.

Ну, не оператор + точно. Только конструкторы и операторы преобразования.

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

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

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

Мог бы использовать соответствующий коструктор std::string

Добавлено через 36 секунд
Тем более, это не move-конструктор

@d7d1cd · 15.05.2019, 11:37 **[ТС]**

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

Какая у тебя студия? У меня - 2017

У меня система IBM i. Там компилятор основанный на IBM XL C/C++ for AIX.

@oleg-m1973 · 15.05.2019, 11:57

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

У меня система IBM i. Там компилятор основанный на IBM XL C/C++ for AIX.

Похоже, он 17-й стандарт не поддерживает. Тогда понятно, кода будет побольше.

Новые блоги и статьи Все статьи Все блоги /
Nekobox - outbounds[0].transport: unknown transport type: raw damix 01.10.2026 Фикс ошибки Правым кликом по серверу -> отладочная информация -> edit Заменить "net": "raw", на "net": "tcp", Нажать кнопку reload.	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .
Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .	Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .

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

@d7d1cd 279 / 156 / 52 Регистрация: 30.06.2011 Сообщений: 1,712
	15.05.2019, 08:37 [ТС]
	Вот так дааа! TheCalligrapher, спасибо большое за ликбез! И вправду говорят, что С++ был придуман для того, чтобы хорошими программистами не становились случайные люди (вроде меня). Преклоняюсь пред Вашими знаниями данного предмета! 0

@oleg-m1973 6772 / 4565 / 1844 Регистрация: 07.05.2019 Сообщений: 13,726
	15.05.2019, 09:15
	d7d1cd, Если у базового класса нет виртуальных методов (а у std::string их нет, насколько мне известно), то крайне маловероятно что может понадобиться удаление через указатель на него, т.е. виртуальный деструктор. Идиотов, конечно хватает, но тратить время и силу на защиту от них в данном случае я бы не стал. Так что можешь смело вернуться к первоначальному варианту и не париться. 0

@d7d1cd 279 / 156 / 52 Регистрация: 30.06.2011 Сообщений: 1,712
	15.05.2019, 09:47 [ТС]
	Тут еще один нюанс вскрылся. При наследовании надо описать только конструкторы. Все остальные функции базового класса будут видны из моего класса. Вот только операторы не будут работать. То есть, операторы все равно надо прописывать в своем классе. Как правильно сказал n1b1ru, может мне все методы и не нужны будут, поэтому можно применять композицию и предоставлять доступ только к нужным функциям базового класса. Блин, уже запутался и не знаю что применить... Может вообще с нуля написать свой класс строки? 0

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

Решение

Решение