关于push_back
和emplace_back
之间的区别,我有点困惑。
void emplace_back(Type&& _Val);
void push_back(const Type& _Val);
void push_back(Type&& _Val);
由于有一个push_back
超载采用右值参考我不太明白emplace_back
的目的是什么?
除了访客所说的:
MSCV10提供的函数void emplace_back(Type&& _Val)
是不符合和冗余的,因为正如您所指出的那样,它完全等同于push_back(Type&& _Val)
。
但真正的C ++ 0x形式的emplace_back
非常有用:void emplace_back(Args&&...)
;
它不是采用value_type
而是采用可变参数列表,因此这意味着您现在可以完美地转发参数并直接将对象构造到容器中而不需要临时参数。
这很有用,因为无论RVO和移动语义多么聪明,还有一些复杂的情况,其中push_back可能会产生不必要的副本(或移动)。例如,使用insert()
的传统std::map
函数,您必须创建一个临时的,然后将其复制到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++ blog问了同样的问题。以下是来自Microsoft的Visual C ++标准库实现的官方维护者Stephan T Lavavej的答案。
问:beta 2 emplace现在只是某种占位符吗?
答:您可能知道,VC10中没有实现可变参数模板。我们用预处理器机器模拟它们,例如
make_shared<T>()
,元组和<functional>
中的新东西。这种预处理器机器相对难以使用和维护。此外,它显着影响编译速度,因为我们必须重复包含子标题。由于我们的时间约束和编译速度问题的组合,我们没有在我们的emplace函数中模拟可变参数模板。当在编译器中实现可变参数模板时,您可以期望我们将在库中利用它们,包括在我们的emplace函数中。我们非常重视一致性,但不幸的是,我们不能一次完成所有事情。
这是一个可以理解的决定。每个尝试过一次用预处理器可怕的技巧模仿可变参数模板的人都知道这些东西有多恶心。
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
constructor。我记得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
和映射类型。既不可复制也不可移动。
列表中还有一个:
//构造元素到位。 emplace_back( “元素”);
//它将创建新对象,然后复制(或移动)其参数值。的push_back(explicitDataType { “元件”});
这里显示了一个很好的push_back和emplace_back代码。
http://en.cppreference.com/w/cpp/container/vector/emplace_back
您可以在push_back上看到移动操作,而不是在emplace_back上看到。