c++ - 智能指针的计数器递减如何工作？

Question

下面是共享指针的示例代码。我在花括号范围内定义了一个共享指针。 sp1 由 new A(计数器 = 1)初始化，sp1 被分配给 sp2(复制和/或赋值将计数器增加 1，因此，计数器 = 2)。我一直认为当计数器变为 0 时会调用 A 的析构函数。但在我的例子中，智能指针即将超出范围(通过大括号)时，计数器为二。

我的问题是:谁将计数器从 2 更改为 0？

#include <iostream>
#include <memory>

using namespace std;

class A{
public:
    ~A(){

        std::cout << "~A" <<  std::endl;
    }    
};
int main(){
    {
        shared_ptr<A> sp1 (new A); 
        shared_ptr<A> sp2 = sp1;

        std::cout << "sp1 count = " << sp1.use_count() << std::endl;
        std::cout << "sp2 count = " << sp2.use_count() << std::endl;
    }

return 0;
}

编辑: 链接到 smart pointer 上的论文

输出:

---

sp1 count = 2

sp2 count = 2

~A

Answer 1

当您的代码到达 main 的末尾时，sp1 和 sp2 的析构函数都会运行，这会将计数器递减为零 - 这是非常重要的部分共享指针，析构函数会减少引用计数，因此，当“什么都没有”时，会调用实际共享对象的析构函数。

shared_ptr 的析构函数将具有如下逻辑:

 counter--;    // Should be atomic!
 if (counter == 0)
 {
    delete owned_thing;
 }