Question

我试图使用带有前向声明的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,
                      ^

为什么会这样？

Answer 1

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

unique_ptr实现中可能存在的错误

1 个答案: