Почему запускается деструктор в данном примере?

Question

krot0glot @krot0glot

C++

Почему запускается деструктор в данном примере?

Основной код:

spoiler

#include <iostream>

using std::cout;

class MyString
{
public:
	MyString();
	MyString(const char *);
	~MyString();

	void Print() 
	{ cout << m_string << '\t' << m_length << '\n'; }

private:
	char *m_string;
	size_t m_length;

	void Copy(const char *);
	size_t StrLen(const char *);
};

MyString::MyString()
{ 
	m_string = nullptr;
	m_length = 0ull;
}

MyString::MyString(const char *string)
{
	Copy(string);
}

MyString::~MyString()
{
	if (m_string == nullptr)
		return;

	delete[] m_string;
}

size_t MyString::StrLen(const char *string)
{
	size_t len = 0ull;
	while (string[len] != '\0')
		++len;

	return len;
}

void MyString::Copy(const char *string)
{
	m_length = StrLen(string);
	m_string = new char[m_length + 1];

	if (m_string == nullptr)
		return;

	for (size_t i = 0; i < m_length; ++i)
		m_string[i] = string[i];

	m_string[m_length] = '\0';
}

int main()
{
	MyString a("hi");
	a.Print();

	return EXIT_SUCCESS;
}

Метод, который не вызывает деструктор:

spoiler

void MyString::Copy(const char *string)
{
	m_length = StrLen(string);
	m_string = new char[m_length + 1];

	if (m_string == nullptr)
		return;

	for (size_t i = 0; i < m_length; ++i)
		m_string[i] = string[i];

	m_string[m_length] = '\0';
}

Метод, после которого вызывается деструктор:

spoiler

MyString MyString::Copy(const char *string)
{
	m_length = StrLen(string);
	m_string = new char[m_length + 1];

	if (m_string == nullptr)
		return *this;

	for (size_t i = 0; i < m_length; ++i)
		m_string[i] = string[i];

	m_string[m_length] = '\0';

        return *this;
}

Вопрос задан более двух лет назад
268 просмотров

7 комментариев

Подписаться 2 Простой 7 комментариев

Евгений Шатунов @MarkusD Куратор тега C++
krot0glot

if (m_string == nullptr) return *this;

Я хочу тебя спросить. Почему исполнение никогда не пойдет по истинной ветке в этом коде?
Написано более двух лет назад
RabraBabr @RabraBabr

Евгений Шатунов,

std::bad_alloc ?

Написано более двух лет назад
rPman @rPman

RabraBabr, std::bad_alloc будет выдан после того как new убьет процесс
мне интересно что будет если собирать проект для микроконтроллера

upd:
https://learn.microsoft.com/ru-ru/cpp/cpp/new-oper...

В случае неудачи new возвращается ноль или возникает исключение.

Older C++ code returned a null pointer for a failed allocation.

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

Написано более двух лет назад
Евгений Шатунов @MarkusD Куратор тега C++

RabraBabr, я ожидал этот ответ в более развернутой форме от автора вопроса. Но, в целом, да.
rPman, чтобы понять поведение new, нужно читать именно стандарт, а не документацию майков.
new не убивает процесс. Рядовая форма, используемая в этом коде, именно что бросит исключение, ловить которое будет некому. Ситуацию в сторону возвращается ноль исправляет аргумент std::nothrow для самого new.

Написано более двух лет назад
krot0glot @krot0glot Автор вопроса

Евгений Шатунов, честно сказать - не знаю. Я намеренно пропустил главу в про динамическую память в книге про С++, так как ожидал, что это одно и то же, как в Си.
Вы, чуть ниже, сказали читать Стандарт языка С++, но, насколько мне известно, все стандарты необходимо покупать. Это действительно так, или же можно где то это достать? Если, все же, нужно будет покупать, где можно достать приближенное к стандарту руководство?

Написано более двух лет назад
Евгений Шатунов @MarkusD Куратор тега C++

krot0glot, про стандарты. Да. Труд комитета стандартизации C++ не бесплатен. Это вообще очень дорогое удовольствие - заниматься стандартизацией работы сложного инструмента. И я бы рекомендовал именно купить стандарт. Стоит он не так много в обмен на изложенную в нем информацию.
Но! Есть одно маленькое но. Рабочие копии стандарта являются открытыми в виду специфики работы самого комитета. Все рабочие копии протоколируются и сохраняются в историю. И именно из этой истории публикуются стандарты на продажу. В этой истории можно найти документ почти похожий на финальный стандарт C++11, C++14, C++17 и C++20. Сходство неточное, но пользоваться им можно с т.з. пользователя языка.

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

Приведенный мной участок кода - это только один из сильно бросающихся в глаза. Попробуй глазами прочитать код для случая, когда в MyString::Copy передан ноль. Где именно произойдет падение и почему?
Нужно ли тебе писать m_string[m_length] = '\0'; или m_string можно как-то иначе инициализировать чтобы не писать эту строчку?
В MyString::Copy ты практикуешь ранний выход, но не нарушает ли это инвариант типа?
Ну и под конец, каким должен быть тип результата чтобы при выходе из MyString::Copy из *this не создавалась временная строка, деструктор которой ты и наблюдаешь?

Написано более двух лет назад
krot0glot @krot0glot Автор вопроса

Евгений Шатунов, Благодарю, вы мне очень помогли.

Написано более двух лет назад

krot0glot

if (m_string == nullptr) return *this;

Я хочу тебя спросить. Почему исполнение никогда не пойдет по истинной ветке в этом коде?
RabraBabr, std::bad_alloc будет выдан после того как new убьет процесс
мне интересно что будет если собирать проект для микроконтроллера

upd:
https://learn.microsoft.com/ru-ru/cpp/cpp/new-oper...

В случае неудачи new возвращается ноль или возникает исключение.

Older C++ code returned a null pointer for a failed allocation.

формально new это обычный оператор, для своих объектов можно переопределить его поведение и возвращать ноль
RabraBabr, я ожидал этот ответ в более развернутой форме от автора вопроса. Но, в целом, да.
rPman, чтобы понять поведение new, нужно читать именно стандарт, а не документацию майков.
new не убивает процесс. Рядовая форма, используемая в этом коде, именно что бросит исключение, ловить которое будет некому. Ситуацию в сторону возвращается ноль исправляет аргумент std::nothrow для самого new.
Евгений Шатунов, честно сказать - не знаю. Я намеренно пропустил главу в про динамическую память в книге про С++, так как ожидал, что это одно и то же, как в Си.
Вы, чуть ниже, сказали читать Стандарт языка С++, но, насколько мне известно, все стандарты необходимо покупать. Это действительно так, или же можно где то это достать? Если, все же, нужно будет покупать, где можно достать приближенное к стандарту руководство?
Евгений Шатунов, Благодарю, вы мне очень помогли.

Answer 1 · 2023-01-06 20:05:21

Сам copy никак не вызывает деструктор
деструктор будет вызван автоматически по завершению области действия места где объект был создан, т.е. после завершения main

Если же ты добавляешь *this в return Copy то у тебя возникает вызов деструктора этого возвращенного объекта, который не используется, а затем еще раз по завершению программы, собственно программа у тебя будет мусор на экран выводить вместо ожидаемого hi.

Добавь в деструктор вывод на экран "destructor", увидишь

Причина (если честно для меня не очевидная) в том что ты мешаешь два подхода - работа с объектами и работа со ссылкой на объект, преобразованный в сам объект (return *this), рекомендуется не мешать эти два подхода

Почему запускается деструктор в данном примере?

Войдите на сайт