c++ - 带有 unique_ptr 的前向声明？

Question

这个问题在这里已经有了答案:

Is std::unique_ptr<T> required to know the full definition of T? (9 个回答)

关闭 7年前。

我发现将类的前向声明与 std::unique_ptr 结合使用很有用如下面的代码所示。它编译并与 GCC 一起工作，但整个事情看起来有点奇怪，我想知道这是否是标准行为(即标准所要求的)？因为当我声明 unique_ptr 时 B 不是一个完整的类型.

A.hpp

#include <memory>

class B;

class A {
    std::unique_ptr<B> myptr;
    // B::~B() can't be seen from here
public:
    ~A();
};

A.cpp

#include "B.hpp"
//B.hpp has to be included, otherwise it doesn't work.

A::~A() = default; // without this line, it won't compile 
// however, any destructor definiton will do.

我怀疑这与析构函数有关(因此需要调用 unique_ptr<B> 的析构函数)是在特定的编译单元 (A.cpp) 中定义的。

Answer 1

这是明确合法的。规则是用于实例化的类型标准库中的模板必须是完整的，除非否则指定的。对于 unique_ptr，§20.7.1/5 说“[...]unique_ptr 的模板参数 T 可能是不完整类型。”

指针上的某些操作需要一个完整的类型;特别是，当对象实际被破坏时(在至少使用默认删除器)。例如，在您的示例中，如果A::~A() 是内联的，这可能会导致问题。 (请注意，如果您不要自己声明析构函数，它将是内联的。哪个部分违背了使用 std::unique_ptr 的目的。)