c++ - 不能将 std::unique_ptr 与 T 一起使用为前向声明

Question

首先，我知道 unique_ptr<> 和前向声明的一般问题，如 Forward declaration with unique_ptr? .

考虑这三个文件:

啊.h

#include <memory>
#include <vector>

class B;

class A
{
public:
    ~A();

private:
    std::unique_ptr<B> m_tilesets;
};

C.cpp

#include "A.h"

class B {

};

A::~A() {

}

main.cpp

#include <memory>

#include "A.h"

int main() {
    std::unique_ptr<A> m_result(new A());
}

发出 g++ -std=c++11 main.cpp C.cpp 会产生以下错误:

In file included from /usr/include/c++/4.8/memory:81:0,
                 from main.cpp:1:
/usr/include/c++/4.8/bits/unique_ptr.h: In instantiation of ‘void std::default_delete<_Tp>::operator()(_Tp*) const [with _Tp = B]’:
/usr/include/c++/4.8/bits/unique_ptr.h:184:16:   required from ‘std::unique_ptr<_Tp, _Dp>::~unique_ptr() [with _Tp = B; _Dp = std::default_delete<B>]’
A.h:6:7:   required from here
/usr/include/c++/4.8/bits/unique_ptr.h:65:22: error: invalid application of ‘sizeof’ to incomplete type ‘B’
  static_assert(sizeof(_Tp)>0,

没错，B 是 A.h 的第 6 行中的不完整类型——但这不是 A 的析构函数所在的位置! g++ 似乎为 A 生成了一个析构函数，即使我提供了一个。 A 的析构函数在 C.cpp 第 7 行，B 是一个完美定义的类型。为什么会出现此错误？

Answer 1

你还需要把A的构造函数放在C.cpp中:

啊.h

#include <memory>
#include <vector>

class B;

class A {
public:
     A();
    ~A();

private:
    std::unique_ptr<B> m_tilesets;
};

C.cpp

#include "A.h"

class B {

};

A::~A() {

}

A::A() {

}

见 this answer .构造函数也需要访问完整的类型。这样可以在构造过程中抛出异常时调用删除器。