pimpl的Unique_ptr用法-即使声明了析构函数，也不会编译

Question

Wrapper.h：

#pragma once
#include <memory>

struct Wrapper
{
    class Impl;
    ~Wrapper();
    std::unique_ptr<Impl> _impl;
};

wrapper.cpp：

#include "wrapper.h"

class Wrapper::Impl {};
Wrapper::~Wrapper() = default;

这个文件编译得很好。但是，在编译main.cpp时，我会得到不完整的类型错误（请参见下面的错误）：

#include "wrapper.h"

int main()
{
    Wrapper w;
    return 0;
}

null

根据@AdrianMole的建议，我在类包装器定义中添加了一个ctor声明，出于某种原因，它修复了错误，尽管错误（以及unique_ptr规范）引用了析构函数。

更新的wrapper.h：

struct Wrapper
{
    class Impl;
    Wrapper();
    ~Wrapper();
    std::unique_ptr<Impl> _impl;
};

所以我要加上一个问题：

    with

    [

        _Ty=Wrapper::Impl

    ]

    with

    [

        _Ty=Wrapper::Impl

    ]

内存（2574）：消息：请参见对正在编译的类模板实例化'STD::Default_DeleteWrapper::Impl'的引用

wrapper.h(9):消息：请参见对正在编译的类模板实例化'std::unique_ptrwrapper::impl,std::default_delete '的引用

内存（2536,25）：错误C2338:无法删除不完整的类型

Answer 1

任何构造函数定义（包括隐式定义的默认构造函数）都可能调用类类型的所有成员对象的类型的析构函数。这样做的理由是，如果构造较晚的成员引发，则需要调用所有先前成员的析构函数。在最后一个成员的情况下，这并不是严格要求的，但标准没有作此例外。

例如，如果您的类是：

struct complete_type_with_throwing_constructor {
    complete_type_with_throwing_constructor() { throw 0; }
};

struct Wrapper
{
    class Impl;
    ~Wrapper();
    std::unique_ptr<Impl> _impl;
    complete_type_with_throwing_constructor x;
};

然后，Wrapper的隐式默认构造函数将构造_impl，然后在X的默认构造函数抛出后销毁它。