爲什麼在使用shared_ptr作爲函數參數時存在內存泄漏？

Question

我讀手動說（見http://en.cppreference.com/w/cpp/memory/shared_ptr/make_shared）：

此外，f(shared_ptr<int>(new int(42)), g())可導致存儲器泄漏 如果g拋出異常。如果使用make_shared爲 ，則不存在此問題。

爲什麼會導致內存泄漏？

Answer 1

編譯器允許評估以下順序的表達：

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

你可以看到，如果g()拋出，那麼分配的對象永遠不會被刪除。

使用make_shared，在分配對象和初始化智能指針來管理它之間什麼也不能。