Можно ли Конструктор и Деструктор вызывать как метод класса?

@Artem_Pv · Регистрация: 31.03.2019

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

Собственно вопрос:
можно ли Конструктор и Деструктор вызывать вручную, как обычный метод класса?
Например, я хочу управлять очередностью вызовов. См. пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
class FirstClass   
{
public:
    FirstClass()
    {
    }
};
 
class SecondClass : public FirstClass   
{
public:
    SecondClass()
    {
      // ...
 
      FirstClass ();  // А здесь его можно вызвать?  
    }
 };

@_stanislav · 30.06.2019, 11:14

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

Предположим, один из конструкторов содержит полезный функционал.

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

IGPIGP · 30.06.2019, 12:09

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

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

Конструкторы не должны ни кому ни чего. Но наличие "полезной вне создания объекта" логики в конструкторе, это не очень удачная идея, согласен. И об этом уже говорилось. А вот вызов такого рода "полезных" методов в конструкторе ни чем не лучше. Любое исключение в конструкторе ведёт к прерыванию создания объекта и это значит, что функция бросившая исключение должна позаботиться о том, чтобы освободить ресурсы, потому что деструктор не будет вызван автоматически (для автоматических объектов) при выходе из области. Ещё хуже то, что в общем случае, нужно иметь информацию о том, какие ресурсы захвачены а какие нет на момент исключения, чтобы не вызвать крэш освобождением того, чего не нужно. Это должна быть очень умная функция и очень умный обработчик исключения. То есть, одна головная боль. Но для любителей по извращаться - неисчерпаемая нива.

@Undisputed · 30.06.2019, 14:13

IGPIGP,
Если полностью отработает хотя бы 1 конструктор (тот, которому делегировали), а основной (тот, который использован для создания экземпляра) пусть даже бросит исключение, то деструктор все же будет вызван...

Добавлено через 1 час 33 минуты
С телефона был, пример кода не смог привести.

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
#include <iostream>
 
class Foo
{
public:
    Foo(int c)
    {
        m_c = c;
    }
    Foo(int a, int b) : Foo(a + b)
    {
        std::cout << __PRETTY_FUNCTION__ << '\n';
        throw 123;
    }
    ~Foo()
    {
        std::cout << __PRETTY_FUNCTION__ << '\n';
    }
    
private:
    int m_a;
    int m_b;
    int m_c;
};
 
int main()
{
    try {
        Foo f(1, 2);
    } catch (int code) {
        std::cout << "Exception code: " << code;
    }
}

https://rextester.com/UUIAQ12396

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

Любое исключение в конструкторе ведёт к прерыванию создания объекта и это значит, что функция бросившая исключение должна позаботиться о том, чтобы освободить ресурсы, потому что деструктор не будет вызван автоматически (для автоматических объектов) при выходе из области.

Как можно заметить, все не так однозначно...

IGPIGP · 30.06.2019, 14:26

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

IGPIGP,
Если полностью отработает хотя бы 1 конструктор (тот, которому делегировали), а основной (тот, который использован для создания экземпляра) пусть даже бросит исключение, то деструктор все же будет вызван...

Undisputed, речь не шла о делегировании и очередности вызовов. Хотя это отдельная тема и там не всё гладко. Очень мягко говоря. Речь шла о фразе:

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

деструктор можно вызвать как обычный метод.

и вопросе на неё:
И такой вызов уничтожает объект?

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

И такой вызов уничтожает объект?

Ответ очевиден - да уничтожит (деинициализирует). Но мы имеем ряд ответов от достаточно опытных участников, которые отличаются от данного. Это тоже интересный пример для новичка, который говорит о том, что всего знать невозможно и о том, что практика сильнее теории. На практике.

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

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

Как можно заметить, все не так однозначно...

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

@_stanislav · 30.06.2019, 14:28

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

Конструкторы не должны ни кому ни чего.

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

@Undisputed · 30.06.2019, 14:29

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

Ваш пример показывает случай когда делегирование спасает от неприятностей.

Нет )) Мой пример показывает что

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

отому что деструктор не будет вызван автоматически (для автоматических объектов)

не всегда == true

больше этим я ничего сказать не хотел

IGPIGP · 30.06.2019, 14:48

_stanislav, мне вспомнился очень интересный момент из Г. Саттера "Решение сложных задач на С++" Москва-СПБ-Киев 2002.
Там в главе 9 Ловушки, ошибки и антиидиомы. стр.337; есть размышле5ния о том, нужна ли проверка на само-присваивание в операторе присваивания. Делается вывод о том, что трюк с swap (известный и остроумный) позволяет безопасно проводить даже само-присваивание (с небольшими накладными расходами). А потом продолжается вопрос, а нужно ли проверять ~~само-присваивание~~ само-конструирование в конструкторе копий. И он делает вывод что не обязательно, так как объекта ещё нет. А чуть позже приводит припер (мелкими буквами в сноске от автора) о том, что в случаях:

C++
1
2
T t;
new(&t)T(t);

и

C++
1
T t=t;

поведение не определено. Но в силу искусственности примеров, проверка не нужна.
Я думаю, что в результате дискуссии мы нашли совершенно убедительное подтверждение того, что кроме UB тут возможны гораздо более тяжкие последствия:

C++
1
2
3
T t;
t.~();
new(&t)T(t);

и в этом польза дискуссий. Все делают полезное дело и правые и не правые оппоненты. А мусор вроде "бомбящий" wtf - накладные расходы. Это можно пережить.

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

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

не всегда == true

Undisputed, я написал о том, что всегда true и однозначно - в книге на 100500 true. И в стране вечной линковки. В реальной жизни - куча опечаток и в книгах на 100500 страниц. И не только опечаток, а и просто не верных утверждений. Но всё равно спасибо. Может кому-то нужно именно то, о чём вы написали.

@_stanislav · 30.06.2019, 14:55

IGPIGP, мне кажутся эти конструкции (которые ты привел) не здоровыми, страшными. не знаю может ли это понадобиться в быту, лично меня они пугают и я скорее всего так бы не писал.

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

мне вспомнился очень интересный момент

интересно почему тебе вспомнился этот момент?

IGPIGP · 30.06.2019, 14:57

нкегнгенш

@hoggy · 30.06.2019, 14:57

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

И такой вызов уничтожает объект?

нет.

деструктор только на словах "уничтожитель", а на деле - "уборщик".
чистит за объектом: освобождает дин. память, и тп.

сам объект при этом никуда не девается.
его даже можно использовать повторно:
https://rextester.com/KINF51884

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include <iostream>
#include <string>
 
int main()
{
    using string = std::string;
    
    std::string s = "hello,";
    std::cout << s;
    
    s.~string(); // <--- после вызова деструктора, объект существует
    // --- но находится в некотором неконсистентном состоянии
    
    // --- ре-инициализируем объект
    // заново переинициализуются все его данные
    // и объект снова будет в согласованном состоянии
    new(&s) std::string(" world");
    std::cout << s << '\n';
}

важно понимать: объект - это просто кусок памяти.
что бы уничтожить объект, нужно удалить саму память.

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

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

IGPIGP · 30.06.2019, 15:01

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

интересно почему тебе вспомнился этот момент?

Потому, что мы говорили о том, чего делать не стоит. Я не очень люблю такие разговоры. В любой области есть совсем немного разумных путей, в бесконечном многообразии не разумных. И всё же иной раз и такие разговоры наталкивают на интересные вещи.

@_stanislav · 30.06.2019, 15:02

Не по теме:

какая то перезагрузка в матрице (на форуме) случилась (дежавю), опять глюкануло.

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

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

в бесконечном многообразии не разумных

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

IGPIGP · 30.06.2019, 15:17

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

нкегнгенш

Удалите пожалуйста, - не успел доредактировать.

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

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

В том-то и дело что можно. Даже по своим. Хотя, излишне широкий взгляд может вызвать косоглазие. Это да. Вот сейчас - новая волна обсуждения. В чём её польза? С моей точки зрения, в том, что человеку новому в IT вообще и в С++ в частности, ещё не очевидно, что термины даже на английском, это не сильная сторона предмета. А уж по русски и тем паче. Разрушение объекта без зубила и молотка... Это трудная задача. А доводилось ли вам когда-либо видеть дико скачущую по подлунным пустошам память? После ея сердешной освобождения. А удаляли ли вы указатель? Без наркоза?
Хех... Даже хорошее понимание условности принятых терминов и контекста в котором они приняты не гарантирует сходности взглядов в обсуждении. Всегда можно не согласиться.
Но для новичка полезно понять, что слова - просто формальные обозначения того что за ними стоит. И не стоит искать этого в них самих (по обиходному значению, например), а нужно читать, пробовать и опять читать и пробовать.

@rat0r · 30.06.2019, 15:17

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

важно понимать: объект - это просто кусок памяти.

важно понимать: это дурацкое определение объекта несколько лет как выпилили из стандарта.

@_stanislav · 30.06.2019, 15:19

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

выпилили из стандарта.

а какое впилили?

Croessmah · 30.06.2019, 15:25

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

а какое впилили?

Перепилили: http://eel.is/c++draft/intro.object

@Undisputed · 30.06.2019, 15:30

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

// и объект снова будет в согласованном состоянии

вообще то время жизни этого объекта уже истекло

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

s.~string();

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

The lifetime of an object o of type T ends when:
(1.3) — if T is a class type with a non-trivial destructor (10.3.7), the destructor call starts, or
(1.4) — the storage which the object occupies is released, or is reused by an object that is not nested within o (6.6.2).

а эта штука

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

new(&s) std::string(" world");

формирует новый объект
который никак не связан со старым

If, after the lifetime of an object has ended and before the storage which the object occupied is reused or released, a new object is created at the storage location which the original object occupied, a pointer that pointed to the original object, a reference that referred to the original object, or the name of the original object will automatically refer to the new object and, once the lifetime of the new object has started, can be used to manipulate the new object

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

// и объект снова будет в согласованном состоянии

объект не будет снова в согласованном состоянии т.к время жизни его истекло при вызове деструктора
а использование просроченного объекта это UB.

IGPIGP · 30.06.2019, 15:39

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

а какое впилили?

А есть разница в данном контексте? Тут же вопрос ~~холиварный~~ философский.
Триединая сущность
- объект отображающий объект внешнего мира (логический - абстракция уровня описания);
- объект программы как алгоритмическая единица;
- объект типа ( С++),
трепещет.
Пересоздать можно даже константный объект или тем паче, синглтон. Значит ли это, что это тот же объект если он пересоздан? Создание состоит в выделении и инициализации. Можно повторять вторую фазу (после деинициализации). Но до какой степени нужно разрушить дом, чтобы считать его разрушенным?
Это дело вкуса, как к этому относиться.
Когда-то в зимних лыжных походах, в плохих спортивных группах, тех участников, кто часто падал, старались ставить последними на лыжне. Это потому, что человек падая с рюкзаком, делал в лыжне лохань из которой мог выбраться не снимая рюкзак, только если он реально Геракл. Или его родственник. Зато тем кто бежит следом угодить в эту лохань гораздо легче. И с каждым объектом лохань увеличивается (в отличие от памяти в C++). У нас однажды была маленькая девчушка, которая неплохо стояла на лыжах, но когда падала в такую лохань, то приходилось её вытаскивать.
Вот так. Лохань - одна и та же, а объекты постоянно разные.

@hoggy · 30.06.2019, 15:47

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

формирует новый объект

это - тот же самый объект, Бро

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

объект не будет снова в согласованном состоянии т.к время жизни его истекло при вызове деструктора
а использование просроченного объекта это UB.

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

тогда все равно имеем на руках "новый сформированный объект"

"новый сформированный объект" - это не "просроченный объект"

"новый сформированный объект",
который вообще ничем не отличается от "старого предыдущего объекта",
будет вполне себе в согласованном состоянии.

итого: никакого UB.

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

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

важно понимать: это дурацкое определение объекта несколько лет как выпилили из стандарта.

важно понимать,
что это "дурацкое определение" отражает суть происходящего в коде.
и эта суть не изменилась.

@_stanislav · 30.06.2019, 15:52

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

это дурацкое определение объекта

по мне так это самое правильное определение объекта если в двух словах.

Новые блоги и статьи Все статьи Все блоги /
Запустил конкурс "тем и промптов для текстовых квестов созданных почти чисто ИИ" Adler 06.10.2026 Всем привет! За последние три-четыре дня я создал более 16 текстовых квестовых игр используя преимущественно по одному запросу к ИИ на игру. Мне так понравилось смотреть все ветки/ сцены во всех. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр 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 и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9007 / 4708 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	30.06.2019, 14:57
	нкегнгенш 0