为什么shared_ptr没有虚拟析构函数？ （我该如何解决这个问题？）

Question

我想制作一个特殊版本的 shared_ptr ，在创建或销毁时执行特定操作，但我的计划似乎因 shared_ptr 的析构函数的实现而失败是非虚拟的，这意味着当我覆盖它时，当它们的最后一个实例被销毁时，我的指针永远不会被清理。

我想到的唯一替代方案是将此行为构建到我想要与假设的自定义 shared_ptr 一起使用的每个类中，但这是不可行的（或者在某些情况下是不可能的）。

编辑：

我想要这个的原因是因为我想在lua中使用一些类作为用户数据对象，并且我希望我使用这种方式的每个对象都有一个唯一的fenv表，当所有引用时该表将被清除到该对象已被删除。我计划使用指针的地址，因为它们键入保存 fenv 表的表。

假设我有一个小部件，可以将其他小部件作为子部件。我在 Lua 中创建了两个小部件，然后将其中一个设置为另一个的子部件，并删除对子部件的所有 lua 引用（事实上，它是一个子部件，是在 C++ 中处理的）。 GC 现在可以随时运行并删除子进程。不过，我不一定希望子进程运行它的析构函数，所以我想将其设为shared_ptr。这样，C++对象在Lua清理它之后仍然可以使用它。如果我已经为其 fenv 分配了值或函数，我仍然希望能够访问它们。只有当对我的子小部件的最终引用被删除时，我才希望完全删除表中的 fenv。

Answer 1

它已经内置了这种能力，不需要让人们做危险的事情，比如从中派生：

#include <boost/shared_ptr.hpp>
#include <iostream>

/*
 * Done as a function for simplicity.
 * But this can be done in so many ways
 */
void MyCleanup(int* x)
{
    std::cout << "DONE\n";
    delete x;
}

int main()
{
    boost::shared_ptr<int>  x(new int(5), MyCleanup);

}

派生问题：
就在我的头顶上。

class X: public shared_ptr<int> { /* STUFF. With a special destructor. */ };

int main()
{
    /* what happens now? Similar to slicing but not quite */
    X                data1(new int(5));
    shared_ptr<int>  data2;
    shared_ptr<int>  data3(data);

    data2 = data1;
}

Answer 2

只需制作一个包装对象即可；容易多了。您可以让包装对象在其内部有一个shared_ptr实例，并且仍然使用内部对象的分配地址作为索引。这似乎比乱搞派生或自定义清理例程要好得多，除非我遗漏了一些东西。

例如：

class CWrapsLuaObject
{
    CWrapsLuaObject( LuaObject* pObject )
    { [assign internal ptr, do mapping, etc.] }

    shared_ptr< LuaObject > m_spObject;

    [...]
};

shared_ptr< CWrapsLuaObject > spInstance( new CWrapsLuaObject( pObject ) );

我是否错过了为什么这不是最简单的解决方案（没有从其他建议的解决方案中获取任何内容，这也可以工作）？

Answer 3

您可以提供与shared_ptr 一起使用的自定义删除对象。如果您试图将额外的信息粘贴到shared_ptr中，那么最好将其放入删除对象中。对我来说，它感觉不太干净，但它确实有效。

class ExtraThingToDestroy
{
  public:
   ~ExtraThingToDestroy() { std::cout<<"Destroying the extra thing"<<std::endl; }
};

template<typename T>
class CustomDestructor
{
  public:
    CustomDestructor( ExtraThingToDestroy * v ) : v_(v) {}
    void operator()( T* t ) { delete t; delete v_; }
    ExtraThingToDestroy * v_;
};

main()
{
   shared_ptr<int> ptr( new int, MyExtraDestructor<int>( new ExtraThingToDestroy ) );
   shared_ptr<int> ptr2 = ptr;
   //Now when ptr and all its copies get destroyed, 
   // the ExtraThingToDestroy will get deleted along with the int.
} 

Answer 4

如果您从shared_ptr派生类your_shared_ptr并覆盖析构函数，则您的析构函数应该在如下代码中调用：

{
  your_shared_ptr<int> x(new int);
}

如果您像这样使用它，则：

{
  shared_ptr<int>* ptrptr = new your_shared_ptr<int>(new int);
}

那么它不会，但您真的需要那样吗？

或者我误解了什么？