为什么可以将指针两次放入 unique_ptr 的向量中？

Question

std::unique_ptr不应该防止出现这种错误的可能性吗？

#include <iostream>
#include <vector>
#include <memory>

struct B {
    int b;
};

int main()
{
    std::vector<std::unique_ptr<B>> v;  // unique_ptr can be stored in a container
    B* p = new B;
    v.emplace_back(p);
    std::cout << "p:" <<p <<"\n";
    std::cout << "v[0]:"<<v[0].get() << "\n";
    v.emplace_back(p);
    std::cout << "p:" <<p <<"\n";
    std::cout << "v[1]:"<<v[1].get() << "\n";

}

检测到双重释放时的错误消息：

*** Error in `./a.out': double free or corruption (fasttop): 0x0000000001094c20 ***
======= Backtrace: =========
/lib/x86_64-linux-gnu/libc.so.6(+0x777e5)[0x7f3da200b7e5]
...
======= Memory map: ========
00400000-00402000 r-xp 00000000 ca:01 3228321                            /tmp/1617748074.6996937/a.out
...             

Output 忽略双重释放时：

p:0x1094c20
v[0]:0x1094c20
p:0x1094c20
v[1]:0x1094c20

Answer 1

如果使用得当， std::unique_ptr可以防止双重释放错误：

• 永远不要创建拥有的原始指针； 使用std::make_unique 。
• 如果您必须绝对使用new创建一个拥有原始指针（即为了从工厂函数调用私有构造函数），那么在立即将原始指针包装在std::unique_ptr中并且不执行任何其他操作的语句中执行此操作，例如return std::unique_ptr<Base>(new Derived(...));
• 不要在任何其他上下文中使用采用原始指针的std::unique_ptr构造函数。

如果遵循这些准则，每个unique_ptr将管理一个不受其他任何人管理的 object。 如果不遵循它们，则可能会出现您观察到的错误，其中可以从同一个原始指针创建多个unique_ptr实例。 两个实例都没有“意识到”您传递给它的原始指针已经由另一个实例拥有。 如果unique_ptr构造函数必须检查是否有其他人拥有该指针，则会为每个用户带来性能开销。 我们使用 C++ 来避免这种不必要的开销。 只要您遵循指南，就没有必要。

Answer 2

最小的例子（不需要vector ）：

struct B {
    int b;
};

int main()
{
    B* p = new B;
    std::unique_ptr<B> x(p);
    std::unique_ptr<B> y(p);
}

您有两个unique_ptr认为他们拥有相同的原始指针。 他们都将在该指针上调用delete ，您将获得双重释放。 将unique_ptr放入容器中不会改变这一点。