c++ - Pimpl with unique_ptr : Why do I have to move definition of constructor of interface to ".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{};

Main.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 有帮助，尽管也许应该有帮助。