std::shared_ptr 中的错误？

Question

执行以下程序时会发生什么？

#include <iostream>
#include <memory>

class test;
std::shared_ptr<test> a_test_object;
struct test
{
    ~test()
    {
        std::cout << "destroy test" << std::endl;
        auto ptr = a_test_object;
    }
};

int main()
{
    a_test_object = std::make_shared<test>();
    //a_test_object.reset();  // Uncomment this and it works fine.
}

我在 GCC 和 Visual Studio 2015 上对此进行了测试，在这两种情况下程序都崩溃了。发生的情况是共享指针在其析构函数中递减计数，然后执行 ~test()，它复制共享指针递增然后递减计数，触发对 ~test() 的无限递归调用。奇怪的是，调用 reset() 不会触发问题。

我今天遇到了这个问题，因为一些使用 pre-C++11 版本的 shared_ptr 的旧代码（没有这种双重删除错误）已更新为使用 std::shared_ptr。令我惊讶的是，std::shared_ptr 使程序崩溃。这真的是 std::shared_ptr 的预期行为吗？

Answer 1

您违反了 C++ 对象生命周期的基本规则：对象生命周期结束后，您无法访问该对象。只有在所有shared_ptr 实例的生命周期结束后，才能删除test。因此，它的析构函数以及它调用的所有代码都无法访问任何引用自身的shared_ptr 实例。

否则会调用未定义的行为。这不是shared_ptr 中的错误；这是您代码中的错误。如果test 是vector<test> 中的一个对象并尝试在您的析构函数中访问该vector<test> 实例，那么它的UB 一样多。

令人恼火的是，可以使工作正常的东西却不是出于迂腐的原因。

这不是“迂腐的理由”。这是不可能。 a_test_object 不存在了；它不是一个有效的对象。

它不起作用的原因与返回对堆栈变量的引用不起作用的原因相同。对象此时已消失；你不能再访问它了。

所以你需要重构你的代码来处理这个事实。