9

Читаю "A Tour of C++" Страуструпа, и наталкиваюсь на стр. 77 на такой совет:

If a class has a pointer member, it probably needs a user-defined or deleted destructor, copy and move.

Т.е. вроде бы как

Если класс имеет член-указатель, вероятно, ему требуются пользовательские или удаленные деструктор, копирование и перемещение.

Про копирование и перемещение - нет вопросов, все понятно, про пользовательский деструктор - тоже.

Но что может означать удаленный деструктор? Не в плане написать

~Class() = delete;

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

В чем тут глубокий смысл - создавать бессмертные объекты? :)

P.S. Написал Страуструпу, потребовал объяснений :) Он согласился, что формулировка не самая точная, предложил вариант

If a class has a pointer member, consider if it needs a user-defined or deleted destructor, copy and move;

Как по мне, разница невелика, но тем не менее... В этом плане ответ @lёxölüt ближе к реалиям, потому принимаю именно его.

1
  • Можно использовать бессмертный объект синглетон, живущий все время работы приложения. Вещь не особо нужная, но синтаксически и семантически допустимая. 27 ноя 2018 в 10:00

2 ответа 2

7

Смысл вытекает из Правила трёх (пяти). И читать это следует группами (user-defined or deleted) и (destructor, copy and move). Т.е. любую из упомянутых функций следует либо сделать определённой пользователем, либо удалённой.

Акцент на удалённом деструкторе получается, видимо, из-за расположения этих слов рядом. То, что этот случай несколько более особенный, чем для копирования/перемещения, можно было бы отразить в исходном предложении, но тогда оно стало бы более многословным. А к чему это ведёт для объекта уже сказано в смежном ответе, да и в самом вопросе, по сути, тоже.

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

#include <new>

struct S {
    ~S() = delete;
};

int main()
{
    void* p = ::operator new (sizeof(S)); // Выделили память
    S* s = new (p) S; // Сконструировали объект по адресу 'p'
    ::operator delete(p); // Освободили память
}
7
  • Т.е. меня подвело знание английского? :)
    – Harry
    27 ноя 2018 в 10:18
  • @Harry удаление деструктора формально разрешено. То, что этот случай несколько более особенный, чем для копирования/перемещения, можно было бы отразить в исходном предложении, но тогда оно стало бы более многословным. По сути, возможность удаления деструктора - это более сильный способ закрыть возможность создания на стеке. До с++11 это достигалось размещением деструктора в приватной секции.
    – αλεχολυτ
    27 ноя 2018 в 11:26
  • @älёxölüt, но Вы же понимаете, что Страуструп не имел в виду подобных извращений?
    – ixSci
    27 ноя 2018 в 11:32
  • Потому я и написал в комменте подробнее, почему фраза построена именно так. Добавил в текст ответа на всякий случай.
    – αλεχολυτ
    27 ноя 2018 в 11:33
  • См. P.S. к вопросу...
    – Harry
    1 дек 2018 в 17:50
4

Единственная причина для объявления класса с удаленным деструктором, которая приходит в голову: такие объекты нельзя будет объявлять, как автоматические или статические, нельзя будет использовать в качестве подобъектов, но можно будет создавать в динамической памяти, при условии, что они не будут освобождаться, т.е. будут сознательно отправляться в memory leaks.

В чем, однако, связь с темой менеджмента ресурсов через голый указатель - не ясно. Возможно, просто непродуманная формулировка.

8
  • Ну, вот я тоже подумал, что тут что-то Страуструп не так сформулировал :) Рядом у него, кстати, тоже формулировка еще та: "If a class has a destructor, it probably needs user-defined or deleted copy and move" - я бы сказал, что user-defined destructor...
    – Harry
    27 ноя 2018 в 9:47
  • Кстати, чтоб перекрыть возможность объявления как статического или автоматического - вроде бы достаточно деструктор сделать private, нет?
    – Harry
    27 ноя 2018 в 9:50
  • а не лучше делать deleted?
    – KoVadim
    27 ноя 2018 в 9:53
  • @KoVadim Не думаю. Тогда динамический объект - бессмертен, а так - его можно удалить, пусть и не через delete непосредственно.
    – Harry
    27 ноя 2018 в 10:06
  • 1
    @Harry, да там банально destructor попал в список, где его не должно быть. Нет там никакого глубинного смысла.
    – ixSci
    27 ноя 2018 в 10:58

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.