Невозможно использовать 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;