Безопасно ли «удалить это»?

Question

В моих первоначальных базовых тестах это совершенно безопасно. Тем не менее, мне показалось, что попытка манипулировать this позже в функции, которая delete s this может быть ошибкой во время выполнения. Это правда, и нормально ли оно безопасно delete this? или существуют ли только определенные случаи, когда это безопасно?

Answer 1

delete this является законным и делает то, что вы ожидаете: он называет деструктор вашего класса и освобождает базовую память. После того, как delete this вернется, ваше значение указателя не изменить, так что теперь это болтающийся указатель, который должен не быть разыменован. Это включает неявное разыменование, используя переменные-члены класса.

Он обычно находится в справочниках подсчета классов, которые, когда реф-счетчик уменьшенные до 0,/что функция члена DecrementRefCount()/Release() вызывает delete this.

delete this обычно считается очень плохой формой по многим причинам. Легко случайно получить доступ к переменным-членам после delete this. Код вызывающего абонента может не понимать, что ваш объект имеет самоуничтожение.

Кроме того, delete this - это «запах кода», который может быть несовместим с тем, что ваш код может не иметь симметричной стратегии для владения объектами (кто выделяет и удаляет). Объект не мог выделить new, поэтому вызов delete this означает, что класс A выделяет объект, но класс B позже освобождает его [self].

Answer 2

Да. Это должно быть прекрасно. «Это» - всего лишь указатель. Любой указатель сделает для удаления. Информация о том, как удалить объект, содержится в записях кучи. Вот как IUnknown :: Release() обычно реализуется в COM-объектах.

Answer 3

Безопасно удалять «это», если это по существу последняя операция в методе. На самом деле это делают несколько API-интерфейсов профессионального уровня (см. Пример реализации CComObject ATL для примера).

Единственная опасность заключается в попытке получить доступ к любым другим данным элемента после вызова «удалить это». Это, безусловно, небезопасно.

Answer 4

Read для аналогичного обсуждения. Ваше понимание правильно в том, что оно действительно работает, оно необходимо и может быть опасным, поскольку после этого вы не можете получить доступ к нему.

Answer 5

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

Удалить это очень удобно, когда вы реализуете ссылочный подсчитанный объект, примером которого являются классы COM.

Answer 6

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

Answer 7

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

Один из способов сделать это - сделать как конструктор, так и деструктор закрытым и обеспечить создание объекта с помощью фабричной функции класса, которая создает объект в куче и возвращает указатель на него. Фабрика классов может быть статической функцией-членом или функцией друга. Затем очистка может быть выполнена с помощью метода Delete() для объекта, который выполняет «delete this». COM-объекты в основном работают таким образом, за исключением того, что в дополнение к ним они подсчитываются с помощью «delete this», когда счетчик ссылок уменьшается до нуля.

Answer 8

но не делайте это в деструкторе!

Answer 9

Юридический Да
Сейф Нет

Answer 10

Если вы наследовать от базового класса и дал удалить это в функции базового класса, используя полученный указатель класса приведет к аварии. Например:

class Base 
{ 

    virtual void Release() 
    { 
     delete this; 
    } 

} 

class Derived : public Base 
{ 

    void Foo() 
    { 
     ... 
    } 

} 

main() 
{ 

    Base *ptrDerived = new Derived(); 
    ptrDerived->release(); 
    ptrDerived->Foo() //Crash 

} 

Answer 11

Считается плохая практика использовать delete this.

Однако, если они используются, следующие пункты должны быть рассмотрены:

1. Оператор delete работает только для объектов, размещённых с помощью new оператора. Если объект создан с использованием new, мы можем сделать delete this, иначе поведение не определено.

class A { 
    public: 
    void fun(){ 
    delete this; 
    } 
    }; 

int main(){ 
    /* Following is valid */ 
    A *ptr = new A; 
    ptr->fun(); 
    ptr = NULL // make ptr NULL to make sure that things are not accessed using ptr. 


    /* And following is invalid: Undefined Behavior */ 
    A a; 
    a.fun(); 

    return 0; 
} 

2. После того, как delete this сделано, любой член удаленный объект не должен быть доступен после удаления.

class A { 
    int x; 
    public: 
    A() { 
     x = 0; 
    } 
    void fun() { 
     delete this; 

    /* Invalid: Undefined Behavior */ 
    cout<<x; 
    } 
};