Pimpl with unique_ptr:为什么我必须将接口构造函数的定义移动到".cpp"？

Question

只要我不将构造函数(of B)的定义移动到头部,代码就会工作B.h.

BH

class Imp;  //<--- error here
class B{
    public:
    std::unique_ptr<Imp> imp;
    B();     //<--- move definition to here will compile error
    ~B();
    //// .... other functions ....
};

B.cpp

#include "B.h"
#include "Imp.h"
B::B(){ }
~B::B(){ }

Imp.h

class Imp{};

Main.cpp (编译我)

#include "B.h"

错误:删除指向不完整类型的指针
错误:使用未定义类型'Imp'C2027

我可以以某种方式理解析构函数必须被移动到.cpp,因为Imp可能会被称为析构: -

delete pointer-of-Imp;  //something like this

但是,我不明白为什么规则也涵盖了构造函数(问题).

我读过了 :-

• 删除指向不完整类型和智能指针的指针
  描述了析构函数需要进入的原因.cpp.
• 具有不完整类型的std :: unique_ptr将不会编译
  警告默认析构函数.

Answer 1

在异常退出的情况下,构造函数需要销毁类成员.

我不认为制作构造函数noexcept会有所帮助,尽管可能应该这样做.