共享指针:为什么没有双免费

Question

为什么当共享指针超出范围时，此代码不生成双重释放？

int main()
{
    {
        auto * ptr = new int(1);
        shared_ptr<int> a( ptr );
        shared_ptr<int> b( ptr );
        cout << "ok: " << *a << *b << endl;
    }
    cout << "still ok" << endl;
    return 0;
}

Answer 1

为什么当共享指针时，此代码不生成双重释放 超出范围？

你为什么认为它没有？

这是未定义的行为，任何事情都可能发生。这包括您的程序打印still ok。

Answer 2

此代码是 UB，因此可能会发生任何事情。

对于a在已删除的指针上调用删除。

Answer 3

从原始指针构造多个共享指针会导致未定义的行为，因为：

指向的对象将具有多个控制块。

^{摘自"有效的现代C++"，第129页，第19项}

避免将原始指针传递给std::shared_ptr构造函数。如果确实必须使用原始指针，请使用运算符 new 的结果而不是指针：

std::shared_ptr<int> a(new int(1));

或使用 std：：make_shared 宏：

std::shared_ptr<int> a = std::make_shared<int>(1);

并通过将 a 作为参数传递给构造函数来创建第二个共享指针：

std::shared_ptr<int> b(a);