C++ 动态加载类：为什么需要“销毁”函数？

Question

This page 检查并给出了一个非常清楚的例子来说明如何动态加载和使用一个类，不过有些东西我很难理解：

我明白为什么需要“创建”功能，但为什么需要“销毁”功能？为什么没有将接口析构函数声明为足够纯虚拟？

我做了一个相同的例子，除了：

~polygon() = 0;

triangle 的析构函数是：

triangle::~triangle() {
    std::cout << "triangle Dtor is called" <<std::endl;
}

那么当我使用时：

delete poly;

确实显示了消息（linux下的GCC 5.4.0）。

我试图寻找其他示例，但他们都提到并使用了“销毁”功能，没有使用简单的纯虚拟析构函数的示例，这让人相信我在这里遗漏了一些东西，所以..它是什么？

不想使用destroy函数的背景是我想在shared_ptr中使用分配的对象而不关心它的生命周期，使用“destroy”函数会很棘手，因此我需要知道是否有必要。

Answer 1

在the same link 中进一步阅读：

您必须同时提供创建和销毁功能；您不能在可执行文件中使用 delete 来销毁实例，而应始终将其传递回模块。这是因为在 C++ 中，操作符 new 和 delete 可能会被重载；这将导致调用不匹配的 new 和 delete，这可能会导致任何事情，从无到有内存泄漏和分段错误。如果使用不同的标准库来链接模块和可执行文件，也是如此。

这里的关键字是new and delete may be overloaded，因此在调用者的代码中与在共享对象的代码中做一些不同的事情，如果你在二进制文件中使用delete，它将调用析构函数并释放根据共享对象中的析构函数的内存，但这可能不是共享对象中删除运算符的行为，可能共享对象中的new 没有分配任何内存，因此您可能会遇到分段错误，并且可能new 所做的不仅仅是为该对象分配内存，并且通过在共享对象中不调用匹配的delete 存在泄漏，共享对象和二进制文件之间也有可能进行不同的堆处理。

无论如何，shared_ptr 可以通过调用自定义删除器的 lambda 函数相当容易地获得自定义删除器；确实，shared_ptr 不能在其模板参数中包含删除器，这有点烦人，但您可以编写一个简单的包装器，以使其更简单/更简洁，以便在所有位置使用一致的删除器创建它（目前没有可用的编译器，请原谅任何错别字）：

shared_ptr<triangle> make_shared_triangle(triangle *t) {
    return std::shared_ptr<triangle>(t, [](triangle *t) { destroy_triangle(t); });
}

Answer 2

不想使用destroy函数的背景是我想在shared_ptr中使用分配的对象而不关心它的生命周期，使用“destroy”函数会很棘手，因此我需要知道是否这是必要的。

然后您需要使用显式的Deleter 来create your shared_ptr（参见构造函数的表格4。向下滚动到示例）。

template< class Y, class Deleter > shared_ptr( Y* ptr, Deleter d );

类似：

shared_ptr<polygon> sh_ptr_val(
                     my_triangle, 
                     [](auto ptr) { destroy_triangle(ptr); }
                   );

[编辑以解决 Hayt 的第一条评论]

struct triangle_factory { 
  static shared_ptr<triangle> create() {
    shared_ptr<polygon> ret(
                         create_triangle(), 
                         [](auto ptr) { destroy_triangle(ptr); }
                       );
    return std::move( ret )
  }; 
private: 
   static create_t* create_triangle; 
   static destroy_t* destroy_triangle; 
}

create_t* triangle_factory::create_triangle=(create_t*) dlsym(triangle, "create");
destroy_t* triangle_factory::destroy_triangle=(destroy_t*) dlsym(triangle, "destroy");

Answer 3

如果你真的想通过你链接到的例子，你可以使用一个自定义函数，当智能指针应该删除它的对象时使用。

std::shared_ptr<class> object(create_object(), //create pointer
[=](class* ptr)
{
    destroy_object(ptr);
});

当共享指针应该删除自身时，将调用 lambda 而不是 delete。

注意：我将函数指针复制到 lambda 中的 destroy_object 函数（[=] 将执行此操作）。只要在动态加载上下文中使用时不调用dlclose()，这应该是有效的。当您使用dlclose 时，虽然这会导致错误。