追踪 shared_ptr 的所有者？

Question

在我们的应用程序中，我们即将（终于..）从原始指针切换到使用 C++11 smart_ptr 模板。

我们的应用程序中确实偶尔会出现错误，因为（非 C++）对象仍然保留对我们 C++ 对象的引用，导致过去在访问 then-dealloc'd 对象时崩溃。

不确定这是否是一个愚蠢的问题 - 但有没有办法利用 smart_ptr 对象和 'dump' 在没有预期的情况下仍然持有 C++ 对象的对象再引用一个吗？

我想我要的是在某个时间点列出smart_ptr<MyClass>的所有所有者的方法。

非常感谢任何建议！

Answer 1

没有。如果不创建自己的智能指针类来包装std::unique_ptr 和std::shared_ptr（忽略已弃用的std::auto_ptr）来跟踪此信息，则无法做到这一点。 标准类本身不跟踪此信息（成本太高）。

另一种选择是修改标准库实现的代码以跟踪该信息。由于您可以继续使用标准名称，因此对您的代码的侵入性较小。但可能比仅仅包装类和使用包装器更棘手。

Answer 2

不要相信这对于任何开箱即用的 c++ 智能指针都是可能的。你可以简单地包装一个 shared_ptr 来达到同样的效果。

template<typename T>
class mySmartPtr : boost::noncopyable{
    public:
         // This method should be the only way this object can be copied
         // as the copy constructors are made private
         // The newOwnerName parameter can be used to populate m_onwers.
         static mySmartPtr<T> newOwner(mySmartPtr<T>&, std::string newOnwerName); 
    private:
         std::shared_ptr<T> m_ptr;
         static std::vector<std::string> m_owners;
};

Answer 3

我们的应用程序中确实偶尔会出现错误，因为（非 C++）对象仍然保留对我们 C++ 对象的引用，导致过去在访问 then-dealloc'd 对象时崩溃。

这是严重的，绝不能忽视。

如果您在您的对象上给予第 3 方库组件观察者状态，那么第 3 方组件的观察者不能超过您的对象。

此问题有 3 个常见原因：

1. 第 3 方组件的生命周期管理不当（您在关闭第 3 方观察者之前删除了观察到的对象）

2. 未正确检测到交叉案例（导致上述 1）

3. 如果您是组件，您必须从第 3 方框架中接受有关何时可以处置您的对象的命令。

在涉及shared_ptrs 之前，您应该首先证明shared_ptr 可以合法地销毁该对象。如果第 3 方组件有“注销”方法，那么您可以通过以下方式解决此问题：

1. 确保第 3 方组件的所有权和您观察到的对象由同一个 shared_ptr 控制，或者
2. 在 shared_ptr 上使用自定义删除器，以在最终删除之前取消注册第三方对象上的受控对象。

如果这些都不清楚，那么是时候仔细看看你的对象生命周期了。它通常有助于绘制序列图。