Как можно построить std :: vector конструктивных объектов, не являющихся стандартными?

Question

я наткнулся на код, как это от C++ reference page:

#include <algorithm> 
#include <list> 
#include <vector> 
#include <functional> 

int main() 
{ 
    std::list<int> l = {-4, -3, -2, -1, 0, 1, 2, 3, 4}; 
    std::vector<std::reference_wrapper<int>> v(l.begin(), l.end()); 
    return 0; 
} 

Это фрагмент из раздела «Примеры». Код компилируется и выполняется, как ожидалось. Но как это возможно? std::reference_wrapper<int> не является конструктивным по умолчанию. Как вы можете сделать std::vector этих вещей? Я всегда представлял std::vector как динамический массив. Но как вы можете инициализировать блок памяти, свежее заданный вам ОС, таким образом, от std::list?

Это может показаться запутанным вопросом, но по какой-то причине я не могу полностью понять, что происходит в коде выше. Что там происходит?

Answer 1

Конструктор std::vector<> сначала получает блок сырой памяти соответствующего размера (с использованием его allocator). Затем он создает объекты. В случае конкретного конструктора здесь

template<typename It> 
std::vector::vector(It begin, It end); 

он создает элементы из ValueType из итераторы, таким образом, каждый reference_wrapper<int> построен (на месте) из int.

Answer 2

Это работает, потому что там нет инициализации по умолчанию - элементы из списка используются для копирования-инициализации вектора.

В приведенной ниже, к примеру, не будет работать:

std::vector<std::reference_wrapper<int>> v(42); 

Answer 3

Все объекты в векторе построены с использованием одного конструктора аргументов, который принимает int. Вот почему вам не нужен конструктор по умолчанию семантически.

Что касается реализации, то, это поведение может быть реализована путем выделения памяти с malloc вместо new (так что не конструктор не вызывается), а затем с помощью размещения new при добавлении элементов в векторе.