Percebi que a initalização de lista agregada do std :: vector realiza a inicialização da cópia quando a movimentação é mais aplicável. Ao mesmo tempo, vários emplace_backs fazem o que eu quero.
Eu só poderia encontrar esta solução imperfeita de escrever uma função de modelo init_emplace_vector
. É ideal apenas para construtores de valor único não explícitos .
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;
}
Questão
Eu realmente preciso usar emplace_back para inicializar o std :: vector da maneira mais eficiente possível?
// 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
);
Resultado
A classe large
produz informações sobre cópias / movimentos (implementação abaixo) e, portanto, a saída do meu programa é:
- initializer
large copy
large copy
large copy
- emplace_back
large move
large move
large move
- init_emplace_vector
large move
large move
large move
Implementação de classe grande
Minha implementação large
é simplesmente um tipo copiável / móvel, contendo um grande recurso que avisa sobre copiar / mover.
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;
};
Editar
Usando reserva, não há cópia ou movimentação. Somente o large::large(std::size_t)
construtor é chamado. Verdadeiro lugar.
fonte
std::initializer_list
.std::array
.operator=
que destrói a fonte é bastante incomum e pode causar problemas inesperados.init_emplace_vector
poderia ser melhorado comvec.reserve(sizeof...(Args))
operator=
não destrói a fonte. É o idioma de troca de cópias.Respostas:
No.
std::vector
não é um agregado; portanto, não pode ser inicializado por agregado.Você pode significar a inicialização da lista, nesse caso:
Não. A inicialização da lista usa o
std::initializer_list
construtor estd::initializer_list
copia seus argumentos.Sua
init_emplace_vector
parece ser uma solução decente, embora possa ser aprimorada reservando a memória antes de colocar os elementos.fonte