shared_ptr和unique_ptr的类型不完整

Question

我想了解为什么 unique_ptr 析构函数要求类型在销毁时完整，而 shared_ptr 则不是这样。 Howard Hinnant 的这篇博客 简要提到它与静态删除器和动态删除器有关。我正在寻找更详细的解释，解释为什么会出现这种情况（可能是编译器实现特定的，在这种情况下，示例会有所帮助）。使用动态删除器，它是否限制析构函数被内联？

Answer 1

霍华德·欣南特（Howard Hinnant）正在简化。他的确切意思是，如果您使用 std::unique_ptr 的默认删除器，则需要一个完整的类型。对于默认删除器，它只是为您调用delete。

静态和动态删除器的要点是

class A;

void static_delete(A* p)
{
    delete p;
}

void (*dynamic_delete)(A*) = /* somehow */;

int main()
{
    A* p = /* somehow */;
    static_delete(p);  // undefined behaviour
    dynamic_delete(p); // maybe not
}

只要 dynamic_delete 指向一个在 A 也被定义的地方定义的函数，你就拥有了明确定义的行为。

为了防止未定义的行为，默认删除器检查完整类型，可以将其实现为

void default_delete(A* p)
{
    static_assert(sizeof(A) > 0);
    delete p;
}

Answer 2

我想理解为什么＆nbsp; code> unique_ptr ＆nbsp; destructors要求在破坏时完成类型，而与＆nbsp; code> sharone_ptr

并非如此

如此简单，我相信这很简单该默认的驱动器需要了解数据成员的大小。对于unique_ptr，eleter是对象表示的一部分您使用