Доступ к локальной переменной после «delete this»

Question

У меня есть класс, который использует механизм подсчета ссылок. Объекты этого класса в конечном итоге уничтожаются, вызывая delete this, когда счетчик ссылок падает до нуля. Мой вопрос: могу ли я использовать локальную переменную on-stack после delete this? Вот конкретный пример:

class RefCountedClass 
{ 
public: 
    RefCountedClass(Mutex& m) : 
     mutex_(m) 
    {} 

    . 
    . 
    . 

private: 
    Mutex& mutex_; 

    void RemoveReference() 
    { 
     // As I understand, mutex_ will be destroyed after delete, 
     // but using m is all right because it is on-stack and 
     // references an external object. Am I right? 
     Mutex& m = mutex_; 
     m.Acquire(); 

     --recount_; 
     if (refcount <= 0) delete this; 

     m.Release(); 
    } 
}; 

Answer 1

Да, you may do this, до тех пор, как сама переменная член действительно только ссылка на внешний объект.

(Пожалуйста, простите предыдущий неправильный ответ, я был смущен о переменной mutex_.)

Answer 2

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

В вашем случае есть хороший шанс, что RemoveReference не будет работать. Это потому, что m указывает на mutex_, который больше не существует после удаления этого. Ваш лучший выбор вполне мог бы сделать mutex_ статическим.

Edit: Хотя mutex_ указует на внешний переменный, которая продолжает существовать после того, как класс удаляются, нет пуленепробиваемых гарантий, что компилятор не будет ссылаться на mutex_ после того, как класс удаляется, чтобы получить значение из внешний мьютекс. Есть хороший шанс, что все будет работать так, как ожидалось, но я не верю, что это может быть гарантировано.

Answer 3

Да в этом случае. Ваша переменная стека «m» указывает на внешний ресурс, который вы получаете в конструкторе

Answer 4

Да, вы можете, но почему бы не использовать атомный декремент вместо декремента счетчика под мьютексом? И вам на самом деле нужно защитить (от мьютекса) уничтожение объекта? Действительно, после того, как counter becames 0, только текущий поток может захватить объект.

Так, может быть, можно переписать код, как

 
    int tmp_count; 
    m.Acquire(); 
     tmp_count= --recount_; 
    m.Release(); 
    if (tmp_count <= 0) delete this; 

(или использовать атомарных декрементировать и проверить счетчик)