为什么要调用复制构造函数来构造空 unique_ptr 向量？

Question

#include <vector>
#include <memory>
#include <iostream>

class A {
    std::vector<std::unique_ptr<int>> vec;
public:
    virtual ~A() = 0;
};

A::~A() {}

class B : public A {
public:
    B() {}
};

int main () {
    B b = B();
    return 0;
}

以上是一个最小的可重现示例。编译不通过，报如下错误信息：

me:~ $ g++ main2.cc
In file included from /usr/include/c++/7/vector:62:0,
                 from main2.cc:1:
/usr/include/c++/7/bits/stl_construct.h: In instantiation of ‘void std::_Construct(_T1*, _Args&& ...) [with _T1 = std::unique_ptr<int>; _Args = {const std::unique_ptr<int, std::default_delete<int> >&}]’:
/usr/include/c++/7/bits/stl_uninitialized.h:83:18:   required from ‘static _ForwardIterator std::__uninitialized_copy<_TrivialValueTypes>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const std::unique_ptr<int>*, std::vector<std::unique_ptr<int> > >; _ForwardIterator = std::unique_ptr<int>*; bool _TrivialValueTypes = false]’
/usr/include/c++/7/bits/stl_uninitialized.h:134:15:   required from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const std::unique_ptr<int>*, std::vector<std::unique_ptr<int> > >; _ForwardIterator = std::unique_ptr<int>*]’
/usr/include/c++/7/bits/stl_uninitialized.h:289:37:   required from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, std::allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const std::unique_ptr<int>*, std::vector<std::unique_ptr<int> > >; _ForwardIterator = std::unique_ptr<int>*; _Tp = std::unique_ptr<int>]’
/usr/include/c++/7/bits/stl_vector.h:331:31:   required from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = std::unique_ptr<int>; _Alloc = std::allocator<std::unique_ptr<int> >]’
main2.cc:5:7:   required from here
/usr/include/c++/7/bits/stl_construct.h:75: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>]’
     { ::new(static_cast<void*>(__p)) _T1(std::forward<_Args>(__args)...); }
       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/7/memory:80:0,
                 from main2.cc:2:
/usr/include/c++/7/bits/unique_ptr.h:388:7: note: declared here
       unique_ptr(const unique_ptr&) = delete;
       ^~~~~~~~~~

似乎是 unique_ptr 的复制构造函数在某处被调用。

但我完全不知道为什么会调用它。初始化向量时，它的大小为 0，对吗？在此假设下，不应构造 unique_ptr。

我编译错误的根源是什么？

Answer 1

B b = B() 是一个复制初始化，在 C++17 之前，要求复制有效（即使它最终被删除）。

即使该副本中向量的大小为零，这也不是编译时复制机制的内部结构可以静态知道的。因此，使其工作的代码必须在编译期间 "known"，以便在需要时在运行时可用。

您的意思可能只是一个普通的声明：B b;。

如果你的 class 是微不足道的可移动的（因为 unique_ptr 可以移动），原来的方法实际上已经足够了，但是通过给它一个用户声明的析构函数你悲观它。除非你真的有充分的理由希望这个 class 是多态的，否则不要那样做。使用 = default 或完全省略析构函数；它没有做任何有用的事情。

为什么要调用复制构造函数来构造空 unique_ptr 向量？

Why is the copy constructor being called for the construction of an empty unique_ptr vector?

c++

vector

copy-constructor