Можно ли инициализировать список std :: vector с идеальной пересылкой элементов?

14

Я заметил , что совокупный список инициализационных ЗПП :: вектор выполняет копирование инициализации , когда движение более применимо. В то же время, несколько emplace_backs делают то, что я хочу.

Я мог только придумать это несовершенное решение написания шаблонной функции init_emplace_vector. Впрочем, это оптимально только для неявных однозначных конструкторов.

template <typename T, typename... Args>
std::vector<T> init_emplace_vector(Args&&... args)
{
  std::vector<T> vec;
  vec.reserve(sizeof...(Args));  // by suggestion from user: eerorika
  (vec.emplace_back(std::forward<Args>(args)), ...);  // C++17
  return vec;
}

Вопрос

Мне действительно нужно использовать emplace_back для максимально эффективной инициализации std :: vector?

// an integer passed to large is actually the size of the resource
std::vector<large> v_init {
  1000,  // instance of class "large" is copied
  1001,  // copied
  1002,  // copied
};

std::vector<large> v_emplaced;
v_emplaced.emplace_back(1000);  // moved
v_emplaced.emplace_back(1001);  // moved
v_emplaced.emplace_back(1002);  // moved

std::vector<large> v_init_emplace = init_emplace_vector<large>(
  1000,   // moved
  1001,   // moved
  1002    // moved
);

Вывод

Класс largeпроизводит информацию о копиях / перемещениях (реализация ниже), и поэтому вывод моей программы:

- initializer
large copy
large copy
large copy
- emplace_back
large move
large move
large move
- init_emplace_vector
large move
large move
large move

Реализация большого класса

Моя реализация large- просто копируемый / подвижный тип, содержащий большой ресурс, который предупреждает о копировании / перемещении.

struct large
{
  large(std::size_t size) : size(size), data(new int[size]) {}

  large(const large& rhs) : size(rhs.size), data(new int[rhs.size])
  {
    std::copy(rhs.data, rhs.data + rhs.size, data);
    std::puts("large copy");
  }

  large(large&& rhs) noexcept : size(rhs.size), data(rhs.data)
  {
    rhs.size = 0;
    rhs.data = nullptr;
    std::puts("large move");
  }

  large& operator=(large rhs) noexcept
  {
    std::swap(*this, rhs);
    return *this;
  }

  ~large() { delete[] data; }

  int* data;
  std::size_t size;
};

редактировать

При использовании резерва нет копии или перемещения. Только large::large(std::size_t)конструктор вызывается. Истинный emplace.

reconn
источник
1
Это не агрегатная инициализация, вы вызываете конструктор, который принимает std::initializer_list.
супер
ИМХО, конструкторы std :: vector - запутанный беспорядок, и если бы я был тобой, я бы действительно избегал этого, если бы не нуждался в этом. Кроме того, если вы заранее знаете содержание своих векторов (что может быть так), рассмотрите вариант std::array.
einpoklum
1
То, operator=что уничтожает источник, довольно необычно и может вызвать неожиданные проблемы.
Алена
1
init_emplace_vectorможет быть улучшено сvec.reserve(sizeof...(Args))
Индиана Керник
1
@alain operator=не уничтожает источник. Это идиома копирования-обмена.
разведать

Ответы:

11

Могу ли я агрегировать-инициализировать std :: vector ...

Номер std::vectorне является агрегатом, поэтому он не может быть инициализирован агрегатом.

Вместо этого вы можете иметь в виду инициализацию списка, в этом случае:

Могу ли я [list-initialise] std :: vector с идеальной пересылкой элементов?

Нет. Инициализация списка использует std::initializer_listконструктор и std::initializer_listкопирует его аргументы.

Ваше init_emplace_vectorрешение кажется достойным решением, хотя его можно улучшить, зарезервировав память до размещения элементов.

eerorika
источник
1
Спасибо, что поправили меня. Editted. Хорошая точка с резервом.
разведать