Невозможно использовать std:: unique_ptr <T>, когда T является прямым объявлением

Теперь, во-первых, я знаю общие проблемы с уникальными_ptr < > и форвардными объявлениями, как в Forward декларации с уникальным_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 является неполным типом в строке 6 A.h - но это не то, где деструктор! g++, похоже, создает деструктор для A, хотя я предоставляю его. Деструктор находится в строке C.cpp 7, и B - совершенно определенный тип. Почему я получаю эту ошибку?

Ответ 1

Вам также нужно поместить конструктор в 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() {

}

См. этот ответ. Конструктор также нуждается в доступе к полному типу. Это значит, что он может вызывать делетитер, если во время построения создается исключение.

Ответ 2

Неявно определенные специальные функции-члены являются встроенными, что приводит к проблемам с неполными типами. Как показывает ссылка из Криса, все конструкторы без делегирования могут потенциально вызвать деструктор. Сюда входит копия (удаляется в этом случае) и перемещение конструкторов. Таким образом, когда вы имеете дело с нестационарными членами, включающими неполные типы, явно устанавливайте определения в исходном файле, тем самым гарантируя, что они не определены в строке.

В заголовке:

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

В источнике:

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