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

Question

假设我有一个 class 来自 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();
}

这没有异常，只会 return true 对象实际上由 shared_ptr 管理。

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

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

Check whether an object derived from enable_shared_from_this is managed by shared_ptr?

c++

shared-ptr

c++11

c++17