不能使用std :: unique_ptr <T>,T是前向声明

Question

首先,我知道unique_ptr <>和转发声明的一般问题,如使用unique_ptr的转发声明？.

考虑这三个文件:

啊

#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在Ah的第6行是一个不完整的类型 - 但这不是A的析构函数!g ++似乎为A生成析构函数,即使我提供了析构函数.A的析构函数位于C.cpp第7行,其中B是完美定义的类型.为什么我收到此错误？

Answer 1

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

啊

#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() {

}

看到这个答案.构造函数也需要访问完整类型.如果在构造期间抛出异常,它可以调用删除器.

Answer 2

隐式定义的特殊成员函数是内联的,导致类型不完整的问题.当链接从克里斯的回答表明,所有的非委托的构造函数可能调用析构函数.这包括副本(在本例中删除)和移动构造函数.因此,当您处理涉及不完整类型的非静态成员时,显式默认源文件中的定义,从而确保它们不是内联定义的.

在标题中:

A();
~A();
A(const A&);
A(A&&);

来源:

A::A() = default;
A::~A() = default;
A::A(const A&) = default;
A::A(A&&) = default;