6

当我没有用户定义的析构函数时，编译得非常好（在 GCC 4.7.2 上）的代码即使提供了一个空的用户定义的析构函数也会产生错误：

#include <memory>

class Test
{
   std::unique_ptr<int> val;
};

template <typename Type>
class B
{
public:
   //destructor:
   // if I comment this out, the code compiles just fine:
   ~B() { }

private:
   Test a;
};

int main()
{
   auto s = B<int>();
}

当析构函数没有被注释掉时产生的错误的要点是：

  • Test 的复制构造函数不存在，并且没有隐式创建，因为它的格式不正确
  • 有些东西试图将已删除的复制构造函数用于 unique_ptr。

对于任何感兴趣的人，完整的错误输出在这篇文章的底部。

我知道unique_ptr不能复制构造（除非参数是右值），因此编译器不可能为 class 生成有效的隐式复制构造函数Test。

我不明白为什么定义一个空的析构函数会突然需要这些复制工具。显然，当使用 s 之类的东西时unique_ptr，这是不可能提供的。

这里有人能告诉我为什么会这样吗？

未注释析构函数时的完整错误输出：

In file included from /usr/include/c++/4.7/list:64:0,
                 from ../../Dropbox/Programming/C++/test/main.cpp:2:
/usr/include/c++/4.7/bits/stl_list.h: In instantiation of 'std::_List_node<_Tp>::_List_node(_Args&& ...) [with _Args = {const Test&}; _Tp = Test]':
/usr/include/c++/4.7/ext/new_allocator.h:110:4:   required from 'void __gnu_cxx::new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = std::_List_node<Test>; _Args = {const Test&}; _Tp = std::_List_node<Test>]'
/usr/include/c++/4.7/bits/stl_list.h:503:8:   required from 'std::list<_Tp, _Alloc>::_Node* std::list<_Tp, _Alloc>::_M_create_node(_Args&& ...) [with _Args = {const Test&}; _Tp = Test; _Alloc = std::allocator<Test>; std::list<_Tp, _Alloc>::_Node = std::_List_node<Test>]'
/usr/include/c++/4.7/bits/stl_list.h:1533:63:   required from 'void std::list<_Tp, _Alloc>::_M_insert(std::list<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Test&}; _Tp = Test; _Alloc = std::allocator<Test>; std::list<_Tp, _Alloc>::iterator = std::_List_iterator<Test>]'
/usr/include/c++/4.7/bits/stl_list.h:997:9:   required from 'void std::list<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = Test; _Alloc = std::allocator<Test>; std::list<_Tp, _Alloc>::value_type = Test]'
/usr/include/c++/4.7/bits/stl_list.h:1466:6:   required from 'void std::list<_Tp, _Alloc>::_M_initialize_dispatch(_InputIterator, _InputIterator, std::__false_type) [with _InputIterator = std::_List_const_iterator<Test>; _Tp = Test; _Alloc = std::allocator<Test>]'
/usr/include/c++/4.7/bits/stl_list.h:582:9:   required from 'std::list<_Tp, _Alloc>::list(const std::list<_Tp, _Alloc>&) [with _Tp = Test; _Alloc = std::allocator<Test>; std::list<_Tp, _Alloc> = std::list<Test>]'
../../Dropbox/Programming/C++/test/main.cpp:11:7:   required from here
/usr/include/c++/4.7/bits/stl_list.h:115:71: error: use of deleted function 'Test::Test(const Test&)'
../../Dropbox/Programming/C++/test/main.cpp:5:7: note: 'Test::Test(const Test&)' is implicitly deleted because the default definition would be ill-formed:
../../Dropbox/Programming/C++/test/main.cpp:5:7: error: use of deleted function 'std::unique_ptr<_Tp, _Dp>::unique_ptr(const std::unique_ptr<_Tp, _Dp>&) [with _Tp = int; _Dp = std::default_delete<int>; std::unique_ptr<_Tp, _Dp> = std::unique_ptr<int>]'
In file included from /usr/include/c++/4.7/memory:86:0,
                 from ../../Dropbox/Programming/C++/test/main.cpp:3:
/usr/include/c++/4.7/bits/unique_ptr.h:262:7: error: declared here
4

2 回答 2

14

如果定义~B()，这会抑制 的移动构造函数B，因此编译器会尝试生成复制构造函数，但由于unique_ptr不可复制构造而失败。

如果省略~B()，B则生成 的移动构造函数并在 中使用main。

您可以请求自动生成的移动构造函数：

B(B &&) = default;

这是标准中向后兼容 C++03 代码的一个特性；根据三法则，编写自己的析构函数（等）的代码被假定为管理自己的资源，因此除非明确要求，否则自动生成移动构造函数是不合适的。

于 2013-04-24T13:10:47.820 回答
3

好吧，你自己说的；当您提供用户定义的析构函数时，您会抑制编译器生成诸如隐式移动构造函数之类的东西的能力。用户定义的析构函数的内容（无论是空的还是其他）是完全不相关的。

[C++11: 12.7/9]: 如果类的定义X没有显式声明移动构造函数，则当且仅当：

  • X没有用户声明的复制构造函数，
  • X没有用户声明的复制赋值运算符，
  • X没有用户声明的移动赋值运算符，
  • X没有用户声明的析构函数，并且
  • 移动构造函数不会被隐式定义为已删除。

[注意： 当移动构造函数没有被隐式声明或显式提供时，否则会调用移动构造函数的表达式可能会调用复制构造函数。 ——尾注]

注释中的文字指出了您所看到的确切情况，导致编译失败，因为unique_ptr 无法复制；尽管您没有复制它，并且尽管初始化s可能不需要复制/移动，但该操作仍然需要可用（per [C++11: 12.8/31-32]）。

于 2013-04-24T13:25:45.787 回答