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

Question

只要我不将构造函数的定义（B）移动到标头B.h，代码就会工作。

B.h

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{}; 

中号ain.cpp（编译我）

#include "B.h" 

Error: deletion of pointer to incomplete type
Error: use of undefined type 'Imp' C2027

我能以某种方式了解到，析构函数必须转移到.cpp，因为解构的Imp可能被称为： -

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

然而，我不明白为什么规则还涵盖构造函数（问题）。

我已阅读： -

• Deletion of pointer to incomplete type and smart pointers
  说明原因析构函数需要在.cpp。
• std::unique_ptr with an incomplete type won't compile
  有关默认析构函数的警告。

Answer 1

构造函数需要销毁类成员，在它由异常退出的情况下。

我不认为使构造函数noexcept会帮助，虽然也许它应该。