Perché c'è una perdita di memoria durante l'utilizzo di shared_ptr come parametro di funzione?

Question

Ho letto un manuale dicendo che (vedi http://en.cppreference.com/w/cpp/memory/shared_ptr/make_shared):

Inoltre, f(shared_ptr<int>(new int(42)), g()) può portare alla perdita di memoria se g genera un'eccezione. Questo problema non esiste se make_shared è utilizzato.

Perché questo porta alla perdita di memoria?

Answer 1

Il compilatore è permesso di valutare che l'espressione nel seguente ordine:

auto __temp1 = new int(42); 
auto __temp2 = g(); 
auto __temp3 = shared_ptr<int>(__temp1); 
f(__temp3, __temp2); 

Si può vedere che se g() tiri liberi, quindi l'oggetto allocato non viene mai eliminato.

Utilizzando make_shared, non è possibile ottenere nulla tra l'assegnazione dell'oggetto e l'inizializzazione del puntatore intelligente per gestirlo.