Question

此代码

#include <memory>
#include <vector>

class Foo
{
public:
    ~Foo()
    {
    }

    std::unique_ptr<int> bar;
};

int main()
{
    std::vector<Foo> foos;
    foos.emplace_back();
}

在g ++中产生以下错误消息：

In file included from /usr/include/c++/4.8/memory:64:0,
                 from main.cpp:1:
/usr/include/c++/4.8/bits/stl_construct.h: In instantiation of ‘void std::_Construct(_T1*, _Args&& ...) [with _T1 = Foo; _Args = {Foo}]’:
/usr/include/c++/4.8/bits/stl_uninitialized.h:75:53:   required from ‘static _ForwardIterator std::__uninitialized_copy<_TrivialValueTypes>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = std::move_iterator<Foo*>; _ForwardIterator = Foo*; bool _TrivialValueTypes = false]’
/usr/include/c++/4.8/bits/stl_uninitialized.h:117:41:   required from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = std::move_iterator<Foo*>; _ForwardIterator = Foo*]’
/usr/include/c++/4.8/bits/stl_uninitialized.h:258:63:   required from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, std::allocator<_Tp>&) [with _InputIterator = std::move_iterator<Foo*>; _ForwardIterator = Foo*; _Tp = Foo]’
/usr/include/c++/4.8/bits/stl_uninitialized.h:281:69:   required from ‘_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Foo*; _ForwardIterator = Foo*; _Allocator = std::allocator<Foo>]’
/usr/include/c++/4.8/bits/vector.tcc:415:43:   required from ‘void std::vector<_Tp, _Alloc>::_M_emplace_back_aux(_Args&& ...) [with _Args = {}; _Tp = Foo; _Alloc = std::allocator<Foo>]’
/usr/include/c++/4.8/bits/vector.tcc:101:54:   required from ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {}; _Tp = Foo; _Alloc = std::allocator<Foo>]’
main.cpp:17:23:   required from here
/usr/include/c++/4.8/bits/stl_construct.h:75:7: error: use of deleted function ‘Foo::Foo(const Foo&)’
     { ::new(static_cast<void*>(__p)) _T1(std::forward<_Args>(__args)...); }
       ^
main.cpp:4:7: note: ‘Foo::Foo(const Foo&)’ is implicitly deleted because the default definition would be ill-formed:
 class Foo
       ^
main.cpp:4: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>]’
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:273:7: error: declared here
       unique_ptr(const unique_ptr&) = delete;

如果我删除~Foo()实现（和声明），它编译就好了。可以观察到main()看起来像这样的行为：

int main()
{
    auto f = Foo();
}

为什么要调用Foo的复制构造函数？难道不应该通过移动语义来实现这里的一切吗？
如果删除析构函数，为什么不隐式删除它（复制构造函数）？

Answer 1

显式析构函数声明（和定义）禁止移动构造函数和移动赋值运算符的隐式声明。因此，唯一可以使用的是复制构造函数（无论什么都隐式声明） - 但它被定义为已删除，因为unique_ptr不可复制。因此错误。

显式默认它们 - 以及默认构造函数，因为你现在有一个用户声明的构造函数：

Foo() = default;
Foo(Foo&&) = default;
Foo& operator=(Foo&&) = default;

如果删除析构函数，为什么不隐式删除它（复制构造函数）？

它仍被隐式删除。但是由于现在隐式声明了一个移动构造函数，移动构造函数可以用于移动，而复制构造函数不会被使用。

相关标准引用（§12.8[class.copy] / p9,20，强调增加）：

9如果类X的定义未明确声明移动   构造函数，只有当一个隐式声明为默认值   如果


X没有用户声明的复制构造函数，

X没有用户声明的副本分配运算符

X没有用户声明的移动赋值运算符和

X没有用户声明的析构函数。


20如果类X的定义没有明确声明移动   赋值运算符，如果是，则将隐式声明为defaultaulted   并且只有


X没有用户声明的复制构造函数，

X没有用户声明的移动构造函数，

X没有用户声明的复制赋值运算符和

X没有用户声明的析构函数。

Answer 2

Foo不可复制，因为它有成员unique_ptr。 Foo也不是可移动的，因为用户提供的析构函数的声明会抑制默认移动构造函数/赋值的隐式生成。如果你希望Foo可以移动默认移动构造函数/赋值，那么编译器将为你生成它们：

class Foo
{
public:
    ~Foo()
    {
    }

    Foo(Foo&&) = default;
    Foo& operator=(Foo&&) = default;

    std::unique_ptr<int> bar;
};

具有显式析构函数的类和std :: unique_ptr＆lt;＆gt;成员不能在std :: vector＆lt;＆gt ;?中使用

2 个答案: