62

这是我尝试将 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}}
{ }

我可以将它们编译成一个库就好了。但是当我尝试在测试程序中使用它时，我得到了

ed@bad-horse:~/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 的任何优势。类布局对用户可见。定义是隐藏的，但我可以使用 Help 类和私有成员来做到这一点。此外，包括 Impl 的声明带来了我希望分开的新标头。

我错过了什么？人们在 Impl 声明中添加了什么以及在哪里？我做错了 Help dtor 吗？啊！

4

2 回答 2

86

我相信您的 test_help.cpp 实际上看到了~Help()您声明默认的析构函数。在该析构函数中，编译器也尝试生成unique_ptr析构函数，但它需要Impl为此声明。

所以如果你把析构函数定义移到Help.cpp，这个问题应该就没有了。

-- 编辑 -- 您也可以在 cpp 文件中将析构函数定义为默认值：

Help::~Help() = default;
于 2012-01-26T15:24:13.830 回答
8

请注意unique_ptr定义中的这一点：

std::unique_ptr 可以为不完整的类型 T 构造，以便于在 pImpl 习语中用作句柄。如果使用默认删除器，则 T 必须在代码中调用删除器的位置完成，这发生在 std::unique_ptr 的析构函数、移动赋值运算符和重置成员函数中。

于 2018-03-09T05:25:11.490 回答