Я заметил , что совокупный список инициализационных ЗПП :: вектор выполняет копирование инициализации , когда движение более применимо. В то же время, несколько 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.
std::initializer_list
.std::array
.operator=
что уничтожает источник, довольно необычно и может вызвать неожиданные проблемы.init_emplace_vector
может быть улучшено сvec.reserve(sizeof...(Args))
operator=
не уничтожает источник. Это идиома копирования-обмена.Ответы:
Номер
std::vector
не является агрегатом, поэтому он не может быть инициализирован агрегатом.Вместо этого вы можете иметь в виду инициализацию списка, в этом случае:
Нет. Инициализация списка использует
std::initializer_list
конструктор иstd::initializer_list
копирует его аргументы.Ваше
init_emplace_vector
решение кажется достойным решением, хотя его можно улучшить, зарезервировав память до размещения элементов.источник