Question

std::reference_wrapper不是默认构造的。所以我不能写任何一个：

std::vector<std::reference_wrapper<int>> vec(10);
std::array<std::reference_wrapper<int>, 3> arr;

但是，令我惊讶的是，您可以调用std::reference_wrapper对象向量的std::vector::reserve成员函数，并有效地更改其容量。

std::vector<std::reference_wrapper<int>> vec;  
vec.reserve(10);

Live Demo

由于std::reference_wrapper没有默认构造函数，这怎么可能？

Answer 1

reserve仅分配未初始化的内存块足以容纳N个单元而不会在推送N个新元素时导致重新分配。

reserve没有构建任何新元素。最坏的情况是它只移动/复制已经创建的那些。

Answer 2

您可以参考SGI STL实施

在stl_vector.h中：

void reserve(size_type __n) {
    if (capacity() < __n) {
      const size_type __old_size = size();
      iterator __tmp = _M_allocate_and_copy(__n, _M_start, _M_finish);
      destroy(_M_start, _M_finish);
      _M_deallocate(_M_start, _M_end_of_storage - _M_start);
      _M_start = __tmp;
      _M_finish = __tmp + __old_size;
      _M_end_of_storage = _M_start + __n;
    }
  }

void resize(size_type __new_size) { resize(__new_size, _Tp()); }

预订不会创建新元素，但重新调整大小。

Answer 3

vector::reserve(N)只需预先分配N元素的存储容量。您正在使用的向量构造函数是“默认填充”构造函数 - 它创建 N默认构造函数元素并将它们插入到容器中。

E.g。

vector<T> v;
v.reserve(N);
assert(0 == v.size());
assert(N >= v.capacity());

VS

vector<T> v(N);
assert(N == v.size());
assert(N >= v.capacity());

根据C ++ 17工作草案的23.3.6.3.p2 [vector.capacity]，vector::reserve()仅要求T为MoveInsertable *this。有问题的构造函数在23.3.6.2.p3 [vector.cons]中指定，并要求T为DefaultInsertable *this。

reference_wrapper<>为MoveInsertable，但不是DefaultInsertable（如您所述，它不能默认构建）。有关这些概念的确切定义，请参见23.2.1.p15 [containers.requirements.general]。

保留reference_wrapper对象的向量，它是如何可能的？

3 个答案: