Shared_pointer 显示的行为与我在教科书中读到的行为不同

Uma*_*ooq 3 c++ stl smart-pointers

所以我试图发展我对 shared_ptr 的理解,如果在同一个资源共享指针上的多个共享 ptr 点负责处理在指向资源的最后一个指针被销毁之前不应调用析构函数的情况。

这是我的示例代码:

#include <iostream>
#include <memory>
class A {
public:
    A(int num) {
        std::cout << "cons A\n";
    }
    ~A() {
        std::cout << "dis A\n";
    }
};

int main() {
    std::shared_ptr<A> ptr(new A(12));
    {
        std::cout << "Inside Scope \n";
        std::shared_ptr<A> ptr1 = ptr;
        std::cout << "Outside Scope \n";
    }
    std::shared_ptr<A> ptr2(ptr.get());
    std::cout << ptr << std::endl;
}
Run Code Online (Sandbox Code Playgroud)

下面给出了抛出异常的输出

cons A
Inside Scope 
Outside Scope 
dis A
dis A
free(): double free detected in tcache 2
Run Code Online (Sandbox Code Playgroud)

任何人都可以解释这种行为还是我误读了什么?提前致谢。

Ami*_*ory 6

问题出在你的线路上

std::shared_ptr<A> ptr2(ptr.get());
Run Code Online (Sandbox Code Playgroud)

这不是应该使用共享指针的方式。相反,用类似的东西替换它

std::shared_ptr<A> ptr2{ptr};
Run Code Online (Sandbox Code Playgroud)

或者

std::shared_ptr<A> ptr2 = ptr;
Run Code Online (Sandbox Code Playgroud)

(此外,正如 Den-Jason 在评论中指出的,您应该更喜欢使用std::make_shared。)


当您将裸指针传递给 时ptr2,它无法“知道”另一个共享指针(在本例中ptr为 )正在处理它。它“认为”你正在传递你刚刚分配的东西。因此,它们都尝试释放相同的指针,导致您观察到“双重释放”错误。

一旦共享指针正在管理资源,您应该尽可能避免处理裸指针,绝对不要将其传递给另一个指针。

  • 我还建议使用 Scott Meyers 等人推荐的 `make_shared` http://cppatomic.blogspot.com/2018/02/modern- effective-c-prefer-to-use.html (3认同)