¿Por qué funciona esta implementación de COM IUnknown :: Release?

Question

De ejemplos que he visto COM IUnknown::Release() implementación de la función es algo así:

ULONG Release() 
{ 
    InterlockedDecrement(&m_count); 
    if(m_count == 0) { 
     delete this; 
    } 
    return m_count; 
} 

lo tanto, si m_count es 0, por lo que estamos eliminando objeto "this", y devolver el recuento de ref. Lo que no entiendo es por qué funciona?!?!

1. eliminar el objeto no arruinaría la pila de llamadas o ¿es correcto porque está siendo realizado por el flujo, por lo que no tiene nada que ver con el objeto ???

2. Si el objeto se ha eliminado, ¿cómo es posible que podamos devolver m_count, debería haberse eliminado? Podría haberme convencido a mí mismo de que está bien si después de la eliminación, el código devuelve un código fijo de 0, pero ¿cómo puede devolver el miembro?!?!

¡Muchas gracias por su ayuda! :-)

Answer 1

Ese código es falso. Uno nunca puede confiar en m_count después de la disminución. El código correcto es siempre así:

ULONG Release() 
{ 
    ULONG count = InterlockedDecrement(&m_count); 
    if(count == 0){ delete this; } 
    return count; 
} 

Answer 2

Lo que observamos es un comportamiento indefinido. La pila de llamadas no se cambia por delete this; y delete this by itself is always safe, sino renders this pointer invalid, lo que significa que ya no puede desreferenciarla.

Hay dos posibles explicaciones de lo que observa. O la implementación en cuestión simplemente no desreferencia this puntero para obtener m_count al regresar de la función - lo tiene cargado en un registro y solo usa ese valor y por lo tanto this no se desreferencia y no observa ningún problema o delete finaliza la memoria ocupada por el objeto que todavía está mapeada en el espacio de direcciones del proceso y permanece técnicamente accesible, por lo que la eliminación de referencias this se realiza correctamente y m_count se lee con éxito. Supongo que este último es más probable.

Cualquiera que sea la explicación de ese comportamiento indefinido, no puede confiar en eso, use lo que user Remus Rusanu sugiere in his answer.