Pimpl与std :: unique_ptr在派生类中[重复]

Question

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

• 是否需要std :: unique_ptr <T>知道T的完整定义？ 8个答案

我无法理解以下情况。 它是关于在派生类中使用基于std::unique_ptr的pimpl惯用语的。 给定一个简单的类层次结构，声明如下：

class Foo
{
public:
  virtual ~Foo(); 
  //...
};

struct X;

class Bar : public Foo
{
public:
  ~Bar();
  //...

private:
  std::unique_ptr<X> _d;
};

我只显示与我的问题相关的代码。

想象一下， Foo类是某个接口，而实现它的类是“ Bar”。 我想在Bar使用pimpl习惯用法。 析构函数是虚拟的，并在相应的cpp文件中定义。 同样，仅向前声明的struct X的完整定义可在cpp中访问，因此对于Bar析构函数，可以实例化std::unique_ptr<X>::~unique_ptr() 。 当我尝试创建Bar的实例时，我希望它可以工作

int main()
{
  Bar b;
}

取而代之的是，我得到了使用未定义类型'X'的编译错误，然后出现消息无法删除不完整类型的消息（在Visual Studio 2013 Update 2中）。 但是，如果我将默认构造函数显式添加到Bar ，则main()可以正确编译/构建。

class Foo
{
public:
  virtual ~Foo(); 
};

struct X;

class Bar : public Foo
{
public:
  Bar();
  ~Bar();

private:
  std::unique_ptr<X> _d;
};

在Bar std::unique_ptr<X>的上下文中，我无法看到此类类层次结构中默认构造函数的存在与struct X完整性之间的对应关系。 有人可以解释或指向可能已经存在的解释吗？

Answer 1

问题是添加到Bar的默认构造函数必须调用std::unique_ptr<X>的析构函数，以防Bar的构造函数抛出异常。

但是std::unique_ptr<X>::~unique_ptr()调用unique_ptr的Deleter： std::default_delete<X> -要求X为完整类型。 [unique.ptr.single.dtor]

当您自己声明构造函数时，实例化不会发生，因为仅声明了构造函数，因此在以后的某个时间点将其链接起来，并且编译器愉快地吃了您的代码。