Как использовать unique_ptr для pimpl?

Вот упрощение того, что я вижу, когда пытаюсь использовать unique_ptr для pimpl. Я выбрал unique_ptr, потому что я действительно хочу, чтобы класс владел указателем - я хочу, чтобы сроки жизни указателя pimpl и класса были одинаковыми.

В любом случае, вот заголовок:

#ifndef HELP
#define HELP 1

#include <memory>

class Help
{

public:

  Help(int ii);
  ~Help() = default;

private:

  class Impl;
  std::unique_ptr<Impl> _M_impl;
};

#endif // HELP

Вот источник:

#include "Help.h"

class Help::Impl
{
public:
  Impl(int ii)
  : _M_i{ii}
  { }

private:

  int _M_i;
};

Help::Help(int ii)
: _M_impl{new Help::Impl{ii}}
{ }

Я мог бы скомпилировать их в библиотеку просто отлично. Но когда я пытаюсь использовать его в тестовой программе, я получаю

[email protected]:~/ext_distribution$ ../bin/bin/g++ -std=c++0x -o test_help test_help.cpp Help.cpp
In file included from /home/ed/bin/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/../../../../include/c++/4.7.0/memory:86:0,
                 from Help.h:4,
                 from test_help.cpp:3:
/home/ed/bin/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/../../../../include/c++/4.7.0/bits/unique_ptr.h: In instantiation of 'void std::default_delete<_Tp>::operator()(_Tp*) const [with _Tp = Help::Impl]':
/home/ed/bin/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/../../../../include/c++/4.7.0/bits/unique_ptr.h:245:4:   required from 'void std::unique_ptr<_Tp, _Dp>::reset(std::unique_ptr<_Tp, _Dp>::pointer) [with _Tp = Help::Impl; _Dp = std::default_delete<Help::Impl>; std::unique_ptr<_Tp, _Dp>::pointer = Help::Impl*]'
/home/ed/bin/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/../../../../include/c++/4.7.0/bits/unique_ptr.h:169:32:   required from 'std::unique_ptr<_Tp, _Dp>::~unique_ptr() [with _Tp = Help::Impl; _Dp = std::default_delete<Help::Impl>]'
Help.h:6:7:   required from here
/home/ed/bin/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/../../../../include/c++/4.7.0/bits/unique_ptr.h:63:14: error: invalid application of 'sizeof' to incomplete type 'Help::Impl'

Это хорошо известная функция безопасности. Я пытался следовать.

Моя проблема заключается в том, что если я помещаю объявление Help:: Impl в заголовок, это, казалось бы, устраняет любое преимущество pimpl. Макет класса отображается пользователям. Определение скрыто, но я мог бы сделать это с помощью класса справки и частных членов. Кроме того, в том числе объявление Impl содержит новые заголовки, которые я хотел бы сохранить отдельно.

Что мне не хватает? Что люди ставят в декларации Impl и где? Я неправильно делаю помощь? Argh!

Ответ 1

Я считаю, что ваш test_help.cpp фактически видит деструктор ~Help(), который вы объявили по умолчанию. В этом деструкторе компилятор также пытается сгенерировать деструктор unique_ptr, но для этого ему требуется объявление Impl.

Итак, если вы переместите определение деструктора в Help.cpp, эта проблема не исчезнет.

- EDIT - Вы также можете определить деструктор по умолчанию в файле cpp:

Help::~Help() = default;

Ответ 2

Обратите внимание на это из определения unique_ptr:

std :: unique_ptr может быть создан для неполного типа T, например, чтобы облегчить использование в качестве дескриптора в идиоме pImpl. Если используется средство удаления по умолчанию, T должен быть завершен в той точке кода, где вызывается средство удаления, что происходит в деструкторе, операторе присваивания перемещения и сбрасывает функцию-член std :: unique_ptr.