在制作shared_ptr的副本时会发生什么？

Question

我想了解如何在管理对象的引用计数shared_ptr时，受影响shared_ptr被分配到另一个。

我在C ++入门第5版中遇到以下声明：

例如，与shared_ptr关联的计数器在...时使用它作为赋值的右手操作数 ... 当我们为shared_ptr分配新值时 ， 计数器会递减 ...

作为一个例子，它显示在那里：

auto p = make_shared<int>(42); // object to which p points has one user

auto q(p); // p and q point to the same object
           // object to which p and q point has two users

auto r = make_shared<int>(42); // int to which r points has one user
r = q; // assign to r, making it point to a different address
       // increase the use count for the object to which q points
       // reduce the use count of the object to which r had pointed
       // the object r had pointed to has no users; that object is automatically freed

当我运行类似的代码时，以上不是我的观察：

码：

#include<iostream>
#include<memory>

int main()
{
  std::shared_ptr<int> sh1 = std::make_shared<int>(1);
  std::shared_ptr<int> sh2 = std::make_shared<int>(2);

  sh2 = sh1;

  std::cout << "sh1 use count: " << sh1.use_count() << std::endl;
  std::cout << "sh2 use count: " << sh2.use_count() << std::endl;

  return 0;
}

输出 ：

sh1使用次数：2

sh2使用次数：2

sh2的use_count如何也是2？ 根据上面提到的文字，它不应该是0吗？ 我在这里错过了什么吗？

Answer 1

起初你有sh1.use_count=1和sh2.use_count=1 。 现在当你使用sh2=sh1分配时，会发生以下情况：

1. sh2计数器减1，因为sh2 （ shared_ptr ）将采用另一个指针
2. 由于sh2.use_count=0现在，其指针下的对象（ int(2)被销毁。
3. 现在你将sh2分配给了一个属于sh1的新对象，因此它的计数器增加了1，所以： sh2.use_count=2 ，当然还有sh1.use_count=2 ，因为两个shared_ptr对象都指向同一个对象，这是int(1) 。

Answer 2

我认为这种误解的发生是因为您认为计数器与指向拥有对象的指针一起存储在shared_ptr实例中。 但实际上， shared_ptr的实例仅包含指向内部存储对象的指针，该内部存储对象包含引用计数器和指向拥有对象的指针。 因此当你执行sh2 = sh1; 你做的赋值sh2引用与sh1相同的内部存储对象，因此sh1和sh2报告的计数器值来自同一个源。

Answer 3

原来我们有

sh1.use_count =1 and 
sh2.use_count = 1
*sh1  = 1 and 
*sh2  = 2

在sh2 = sh1 。 sh1 ->int(1) <- sh2 。

int(2)会发生什么？ 它被破坏了，因为sh2现在指向int(1) 。

因此，我们有

sh1.use_count == sh2.use_count
*sh1 == *sh2

* sh1和* sh2有1