c – 当shared_ptr重置为包含的同一地址时,是否可以保证weak_ptr将到期?

当shared_ptr重置为包含的同一地址时,是否可以保证weak_ptr将过期?
#include <cassert>
#include <memory>

int main()
{
    int* i = new int(0);
    std::shared_ptr<int> si( i );
    std::weak_ptr<int> wi = si;

    si.reset( i );

    assert( wi.expired() ); // wi.expired() == true (GCC 4.7)
}

或者,如果未定义wi.expired()的值,是这种情况吗?

编辑:

我现在稍微修改一下这个问题:

当shared_ptr被重置为同一个地址时,是否保证weak_ptr将到期,该地址在初始化时包含shared_ptr weak_ptr?

#include <cassert>
#include <memory>

int main()
{
    int* i = new int(0);
    std::shared_ptr<int> si( i );
    std::weak_ptr<int> wi = si;

    si.reset();

    int* j = new int(0); 
    // Suppose that new returns the same address that contains variable i :  
    assert(j == i); 

    si.reset( j );

    assert( wi.expired() ); // wi.expired() == true (GCC 4.7)
}

解决方法

一方面,它实际应该.
另一方面,将相同的指针分配给两个不同的共享指针(si-before-reset和si-after-reset)是不正确的.实际上,调用si.reset(i)它会发生:

> si的ref-count降至0
>删除i被调用
>重生的si再次指向我.

因此,重置后新分配的i将指向未分配的内存,并且wi正确到期(并且当si消失时将导致段错误,最终,再次尝试删除i).

好的做法是在将裸指针分配给shared_ptr之后永远不要引用它.

编辑后的答案:

这同样适用:指针相同的事实与shared_ptr及其内部引用计数无关.对于一个“邪恶”的例子,这可能更清楚.这是错的:

int *i = new int;

  std::shared_ptr<int> si1(i);
  std::shared_ptr<int> si2(i); // deleting twice i on destruction of si2 - boom!
  std::weak_ptr<int> wi1 = si1;

  si1.reset();
  assert (wi1.expired());      // true

这与你的第一个例子类似(实际上是相同的):si1和si2是两个不同的shared_ptr(它们是si-before-reset和si-after-reset). si1和si2(错误地)指向同一个内存的事实与shared_ptr和连接的weak_ptr的生命无关.

i指针的绝对值不用于确定引用计数.对于shared_ptr和weak_ptr都是如此.所以,是的,保证!

实际上,当你需要来自其类中的对象的shared_ptr时,你需要enable_shared_from_this – 如果你使用的是shared_ptr(this)而不是shared_from_this(),你每次都会得到不同的shared_ptr – 一旦他们第一次拥有你的对象就会被破坏退出了重新计算.

相关文章

本程序的编译和运行环境如下(如果有运行方面的问题欢迎在评...
水了一学期的院选修,万万没想到期末考试还有比较硬核的编程...
补充一下,先前文章末尾给出的下载链接的完整代码含有部分C&...
思路如标题所说采用模N取余法,难点是这个除法过程如何实现。...
本篇博客有更新!!!更新后效果图如下: 文章末尾的完整代码...
刚开始学习模块化程序设计时,估计大家都被形参和实参搞迷糊...