为什么 enable_shared_from_this 无法直接访问嵌入的weak_ptr？

Question

我想在多线程应用程序中使用带有自动连接管理的升压信号2。我的类继承自enable_shared_from_this<>，我想从另一个成员方法中连接一个成员方法。连接可能会经常重建，因此我的代码应该尽可能快（尽管提升了信号 2 性能本身）：

typedef boost::signals2::signal<void ()> signal_type;

struct Cat : public enable_shared_from_this<Cat>
{
  void meow ();

  void connect (signal_type& s)
  {
    // can't write this
    s.connect (signal_type::slot_type (&Cat::meow, this, _1).track (weak_from_this ()));

    // ok, but slow?! two temporary smart pointers
    weak_ptr<Cat> const myself (shared_from_this ());
    s.connect (signal_type::slot_type (&Cat::meow, this, _1).track (myself));
  }

  // i am missing something like this in the base class
  // protected:
  //   weak_ptr<Cat> const& weak_from_this ();
};

我知道我的设计目标可能会相互冲突（自动连接管理和线程安全以及快速代码），但无论如何：

1. 为什么enable_shared_from_this<> 无法直接访问嵌入式weak_ptr<>？我看不到相反的理由。有没有和我类似的用例？

2. 有比上述更快的解决方法吗？

编辑：

我知道我可以这样做，但我想避免额外的存储/初始化检查惩罚：

template <typename T>
struct enable_weak_from_this : public enable_shared_from_this<T>
{
protected:
  weak_ptr<T> /* const& */ weak_from_this ()
  {
    if (mWeakFromThis.expired ())
    {
      mWeakFromThis = this->shared_from_this ();
    }

    return mWeakFromThis;
  }

private:
  weak_ptr<T> mWeakFromThis;
};

Answer 1

您无法访问weak_ptr 的原因是enable_shared_from_this 没有必须使用一个。拥有weak_ptr 只是enable_shared_from_this 的一种可能 实现。它不是唯一的。

由于enable_shared_from_this 与shared_ptr 属于同一标准库，因此可以使用比直接存储weak_ptr 更有效的实现。而且委员会不想阻止这种优化。

// 好的，但是慢？！两个临时智能指针

这只是一个临时智能指针。复制省略/移动应该处理除第一个对象之外的任何内容。

Answer 2

这可能是因为没有 shared_ptr 引用 Cat 实例。 weak_ptr 要求至少有一个活动的shared_ptr。

尝试将shared_ptr 作为成员变量并首先在connect 方法中分配给它：

typedef boost::signals2::signal<void ()> signal_type;

struct Cat : public enable_shared_from_this<Cat>
{
  void meow ();
  boost::shared_ptr<Cat> test;

  void connect (signal_type& s)
  {
    test = shared_from_this();
    s.connect (signal_type::slot_type (&Cat::meow, this, _1).track (weak_from_this ()));
  }
};

但基本上，如果没有shared_ptr，就不可能有weak_ptr。 如果所有shared_ptr 都消失了，而weak_ptr 仍在使用中，那么weak_ptr 可能指向一个不存在的对象。

注意：我的测试不应该在生产代码中使用，因为它会导致对象永远不会被释放。