unique_ptr 实现中可能存在的错误 [重复]答案

【问题标题】：Possible bug in unique_ptr implementation [duplicate]unique_ptr 实现中可能存在的错误 [重复]
【发布时间】：2016-07-02 10:06:35
【问题描述】：

我试图将 unique_ptr 类成员与前向声明一起使用。正如许多消息来源所说，例如Forward declaration with unique_ptr? 声明非内联析构函数就足够了，但在 VS2013 和 GCC 5.3.1 中似乎并非如此。我没有测试其他编译器。

例子：

#include <memory>

class B;

class A { 
public:
    //A();
    ~A();
private:
    std::unique_ptr<B> b;
};

//class B { };

int main() {
    A a;
}

我只能在取消注释 ctor 声明或类 B 声明后才能编译此代码。否则在 VS2013 上会出错

error C2338: can't delete an incomplete type

关于 GCC 错误：

In file included from /usr/local/include/c++/5.3.0/memory:81:0,
                 from main.cpp:1:
/usr/local/include/c++/5.3.0/bits/unique_ptr.h: In instantiation of 'void std::default_delete<_Tp>::operator()(_Tp*) const [with _Tp = B]':
/usr/local/include/c++/5.3.0/bits/unique_ptr.h:236:17:   required from 'std::unique_ptr<_Tp, _Dp>::~unique_ptr() [with _Tp = B; _Dp = std::default_delete<B>]'
main.cpp:5:7:   required from here
/usr/local/include/c++/5.3.0/bits/unique_ptr.h:74:22: error: invalid application of 'sizeof' to incomplete type 'B'
  static_assert(sizeof(_Tp)>0,
                      ^

这是为什么？

【问题讨论】：

用 VS2015 可以为我编译
似乎也ok on GCC。究竟是什么问题？
@flatmouse 您使用的 gcc 代码实际上并不对应 OP 的代码。
当然不行：在main 中，您正在实例化 A。那时（而不是更早）您是否需要B 的定义。因此，在 A 的定义之后取消注释 class B{}; 是有效的。我不确定为什么为A 声明一个构造函数也足够了。
@Barry 你不是通过转换为单个文件来打破他的例子吗？康拉德对当前示例失败的原因是正确的。原来的失败是因为隐式定义的默认构造函数试图在构造抛出异常的情况下销毁成员，因此 ctor 和 dtor 都需要用户定义的、超出范围的定义。

标签： c++ c++11 unique-ptr

【解决方案1】：

A 类的析构函数必须知道 B 类的定义。B 类的前向声明是可以的，只要 A 的构造函数/析构函数的实现文件知道 B 类的定义。如果你的实现是（隐式) 在头文件中，那么您需要在头文件中定义 B 。你可以学习 Herb Sutter 的Pimpl。

【讨论】：

你的回答很好。混乱的根源可能是错误消息：它没有说destructor。
这不是问题。 A 的析构函数甚至没有定义，只是声明了，所以这不是问题。而且您根本不需要在头文件中定义 B - 这就是 pimpl 的意义所在。
"header" 由 if 保护。