c++ - C++17 中的 std::make_shared() 更改

Question

在 cppref ，以下内容在 C++17 之前有效:

code such as f(std::shared_ptr<int>(new int(42)), g()) can cause a memory leak if g gets called after new int(42) and throws an exception, while f(std::make_shared<int>(42), g()) is safe, since two function calls are never interleaved.

我想知道 C++17 中引入的哪个更改使这不再适用。

Answer 1

函数参数的计算顺序由 P0400R0 更改.

在更改之前，函数参数的计算相对于彼此是无序的。这意味着评估 g()可以插入到std::shared_ptr<int>(new int(42)) 的评价中，这会导致您引用的上下文中描述的情况。

更改后，函数参数的计算顺序不确定，没有交错，这意味着 std::shared_ptr<int>(new int(42)) 的所有副作用发生在 g() 之前或之后.现在考虑 g() 的情况。可能会抛出。

• 如果 std::shared_ptr<int>(new int(42)) 的所有副作用发生在 g() 之前，分配的内存将被std::shared_ptr<int>的析构函数释放.

• 如果 std::shared_ptr<int>(new int(42)) 的所有副作用发生在 g() 之后，甚至没有内存分配。

在任何一种情况下，无论如何都不会再次发生内存泄漏。