c++ - 检查从enable_shared_from_this派生的对象是否由shared_ptr管理？

Question

假设我有一个派生自 std::enable_shared_from_this 的类

struct foo
  : std::enable_shared_from_this<foo>
{
    std::shared_ptr<foo> get_shared()
    {
        return shared_from_this();
    }

    bool is_shared() const
    {
        /* implementation ??? */
    }
};

foo  A;
auto S= A.get_shared();   // UB (pre c++17) or exception (c++17)

在 c++17 之前，似乎没有办法检测对象 foo 是否实际上由 shared_ptr 管理。正确吗？

但即使对于 c++17，我也不确定如何最好地实现这种检测。一种明显的方法是

bool foo::is_shared() const
{
    try {
        shared_from_this();
    } catch(...) { 
        return false;
    }
    return true;
}

但是可以避免try-catch吗？我可以使用 weak_from_this() 吗？ ？怎么办？

Answer 1

您可以在 C++17 中利用 weak_from_this() 实现 is_shared，例如:

bool is_shared() const
{
    return !weak_from_this().expired();
}

这是无异常的，只会返回 true 对象实际上是由 shared_ptr 管理的。

C++17 之前没有办法检查，因为当对象不属于 shared_ptr 时调用 shared_from_this() 是未定义的行为。直到 C++17 中引入了 weak_from_this()，我们才可以访问 std::enable_shared_from_this 的私有(private) weak_ptr 成员(通过拷贝)，我们可以以定义的方式检查状态。