push_back против emplace_back

emplace_back не должен принимать аргумент типа vector::value_type, а вместо него - переменные аргументы, которые пересылаются конструктору добавленного элемента.

template <class... Args> void emplace_back(Args&&... args); 

Можно передать value_type, который будет перенаправлен в конструктор копирования.

Поскольку он пересылает аргументы, это означает, что если у вас нет значения rvalue, это все равно означает, что контейнер будет хранить "скопированную" копию, а не перемещенную копию.

 std::vector<std::string> vec;
 vec.emplace_back(std::string("Hello")); // moves
 std::string s;
 vec.emplace_back(s); //copies

Но вышеприведенное должно быть идентично тому, что делает push_back. Вероятно, это скорее предназначено для использования таких случаев, как:

 std::vector<std::pair<std::string, std::string> > vec;
 vec.emplace_back(std::string("Hello"), std::string("world")); 
 // should end up invoking this constructor:
 //template<class U, class V> pair(U&& x, V&& y);
 //without making any copies of the strings

Оптимизация для emplace_back может быть показана в следующем примере.

Для emplace_back будет вызываться конструктор A (int x_arg). И для push_back A (int x_arg) вызывается первым и move A (A &&rhs) вызывается потом.

Конечно, конструктор должен быть помечен explicit, но для текущего примера полезно удалить объяснительность.

#include <iostream>
#include <vector>
class A
{
public:
  A (int x_arg) : x (x_arg) { std::cout << "A (x_arg)\n"; }
  A () { x = 0; std::cout << "A ()\n"; }
  A (const A &rhs) noexcept { x = rhs.x; std::cout << "A (A &)\n"; }
  A (A &&rhs) noexcept { x = rhs.x; std::cout << "A (A &&)\n"; }

private:
  int x;
};

int main ()
{
  {
    std::vector<A> a;
    std::cout << "call emplace_back:\n";
    a.emplace_back (0);
  }
  {
    std::vector<A> a;
    std::cout << "call push_back:\n";
    a.push_back (1);
  }
  return 0;
}

выход:

call emplace_back:
A (x_arg)

call push_back:
A (x_arg)
A (A &&)

emplace_back Соответствующая реализация будет перенаправлять аргументы конструктору vector<Object>::value_type при добавлении в вектор. Я помню, Visual Studio не поддерживала вариационные шаблоны, но с вариационными шаблонами будет поддерживаться в Visual Studio 2013 RC, поэтому я предполагаю, что будет добавлена ​​соответствующая подпись.

С emplace_back, если вы перенаправляете аргументы непосредственно в конструктор vector<Object>::value_type, вам не нужен тип, который должен быть подвижным или скопированным для функции emplace_back, строго говоря. В случае vector<NonCopyableNonMovableObject> это не полезно, поскольку для vector<Object>::value_type требуется скопируемый или подвижный тип.

Но обратите внимание, что это может быть полезно для std::map<Key, NonCopyableNonMovableObject>, поскольку, как только вы выделяете запись на карте, ее больше не нужно перемещать или копировать, в отличие от vector, что означает, что вы можете использовать std::map эффективно с отображенным типом, который не является ни копируемым, ни подвижным.