push_back和emplace_back

我对push_back和之间的区别感到困惑emplace_back。

void emplace_back(Type&& _Val);
void push_back(const Type& _Val);
void push_back(Type&& _Val);

由于有一个push_back重载引用右值引用，我不太明白它的目的是emplace_back什么？

访客除了说什么：

void emplace_back(Type&& _Val)MSCV10提供的功能不符合标准且具有冗余性，因为正如您所指出的，它严格等同于push_back(Type&& _Val)。

但真正的C ++ 0x形式emplace_back是真正有用的：void emplace_back(Args&&...);

无需采用取而代之的value_type是可变参数列表，因此，这意味着您现在可以完美地转发参数，并直接将对象构造到容器中，而无需任何临时操作。

这很有用，因为无论RVO和移动语义多么聪明，仍然存在复杂的情况，其中push_back可能会产生不必要的副本（或移动）。例如，使用a的传统insert()功能std::map，您必须创建一个临时，然后将其复制到a中std::pair<Key, Value>，然后将其复制到地图中：

std::map<int, Complicated> m;
int anInt = 4;
double aDouble = 5.0;
std::string aString = "C++";

// cross your finger so that the optimizer is really good
m.insert(std::make_pair(4, Complicated(anInt, aDouble, aString))); 

// should be easier for the optimizer
m.emplace(4, anInt, aDouble, aString);

那么，为什么他们没有在MSVC中实现正确版本的emplace_back？实际上，它在一段时间之前困扰着我，因此我在Visual C ++博客上提出了同样的问题。这是Microsoft Visual C ++标准库实现的官方维护者Stephan T Lavavej的回答。

问：beta 2 emplace函数现在只是某种占位符吗？

答：您可能知道，可变参数模板未在VC10中实现。我们使用预处理器机器对它们进行仿真，以处理诸如 make_shared<T>()，元组和中的新事物<functional>。这种预处理器机器相对难以使用和维护。另外，由于我们不得不反复包含子标题，因此它会显着影响编译速度。由于时间限制和编译速度方面的考虑，我们没有在emplace函数中模拟可变参数模板。

当可变参数模板在编译器中实现时，您可以期望我们将在库中使用它们，包括在我们的emplace函数中。我们非常重视一致性，但不幸的是，我们不能一次完成所有事情。

这是一个可以理解的决定。每个曾经尝试使用预处理器可怕技巧来模拟可变参数模板的人都知道这些东西有多恶心。

emplace_back不应使用type的参数vector::value_type，而应将可变参数传递给附加项目的构造函数。

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

可以传递value_type将转发给副本构造函数的。

因为它转发了参数，所以这意味着，如果您没有右值，这仍然意味着容器将存储“已复制”副本，而不是移动副本。

 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)将被调用。并且for 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 &&)

这里显示了push_back和emplace_back的漂亮代码。

http://en.cppreference.com/w/cpp/container/vector/emplace_back

您可以在push_back而非emplace_back上看到移动操作。

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有效地使用不可复制或映射的映射类型活动。

如果是列表，还需要一个：

// constructs the elements in place.                                                
emplace_back("element");


//It will create new object and then copy(or move) its value of arguments.
push_back(explicitDataType{"element"});

特定用途emplace_back：如果您需要创建一个临时对象，然后将其放入容器中，请使用emplace_back代替push_back。它将在容器内就地创建对象。

笔记：

1. push_back在上述情况下，将创建一个临时对象并将其移入容器。但是，用于原位构建的emplace_back性能要比先构建然后移动对象（通常涉及一些复制）的性能更高。
2. 通常，您可以使用emplace_back而不是push_back在所有情况下都没问题。（请参阅例外）