从weak_from_this() 得到的weak_ptr 无效

Question

这是重现的最小示例：

源代码：

#include <memory>
#include <iostream>

class A : public std::enable_shared_from_this<A>
{
 public:
  A(std::weak_ptr<A> up) : up_(up)
  {
    std::cout << "A" << " has up_? " <<
        ((up_.lock()) ? "yes" : "no")
              << std::endl;
  }

  void grow()
  {
    if (dp_)
      dp_->grow();
    else
      dp_ = std::make_shared<A>(weak_from_this());
  }

 private:
  std::weak_ptr<A> up_;
  std::shared_ptr<A> dp_;
};

int main()
{
  auto wp = std::weak_ptr<A>();
  A a(wp);
  for (int i = 0; i < 3; ++i)
  {
    a.grow();
  }
  return 0;
}

原始日志：

clang++ minimal.cpp && ./a.out
A has up_? no
A has up_? no
A has up_? yes
A has up_? yes

期望的行为：

clang++ minimal.cpp && ./a.out
A has up_? no
A has up_? yes
A has up_? yes
A has up_? yes

其实我想知道为什么原始输出中的第二行说“不”？我认为当我们第一次创建类型 A 的对象时（正好在它的构造完成之后，在我们调用grow()它之前），我们有一个有效的对象，我们可以将引用传递到我们想要的任何地方，不是吗？ ?

Answer 1

来自 cppreference，关于 std::enable_shared_from_this::weak_from_this

返回一个std::weak_ptr<T>跟踪*this所有std::shared_ptr引用 的现有所有权的*this。

同时

A a(wp);

这不是任何跟踪的对象shared_ptr。它是一个具有自动存储持续时间的普通对象。如果要weak_from_this工作，首先必须有一个shared_ptr跟踪对象。