说说vector的emplace_back和push_back
稍微了解过C++11的同学都知道,stl提供的标准容器新添加了一些列的操作函数,我们今天就简单聊聊vector新添加的emplace系列函数。vector添加的emplace系统函数有2个,emplace、emplace_back,其功能分别对应insert和push_back。我们以emplace_back为例,emplace的原理类似。网上有不少相关的介绍,最后结论都是说emplace_bac
稍微了解过C++11的同学都知道,stl提供的标准容器新添加了一些操作函数,我们今天就简单聊聊vector新添加的emplace系列函数。
vector添加的emplace函数有2个,emplace、emplace_back,其功能分别对应insert和push_back。我们以emplace_back为例,emplace的原理类似。网上有不少相关的介绍,最后结论都是说emplace_back是更好的方法,那么为什么emplace_back更好呢?
要解释为什么emplace优于push_back,必须要提到C++11带来的一些语法更新,先有语法更新,后有标准容器的扩展。emplace_back用到了c++11的三大特性:右值引用、可变模板参数、模板参数的完美转发,其中后两点是emplace_back区别于push_back的关键所在,为什么?因为push_back也随着C++11进化了,它也有了右值引用的版本!
在c++11出现之前,push_back只能接受const T&作为参数,出现了右值引用之后,push_back还可以接受T&&作为参数,所以push_back函数也进化了。而emplace_back与push_back的区别就在于emplace_back不仅支持const T&、T&&,还支持传入classT的构造函数的参数。我们以下面的代码作为例子说明。
class A
{
public:
A()
{
cout << "A constructor" << endl;
}
A(int x, int y):_x(x),_y(y)
{
cout << "A second constructor" << endl;
}
A(const A&)
{
cout << "A copy constructor" << endl;
}
A(A&&)
{
cout << "A move constructor" << endl;
}
~A()
{
cout << "A destructor" << endl;
}
int _x = 0;
int _y = 0;
};
int main()
{
vector<A> vec;
vec.reserve(16);
A a;
vec.push_back(a);
vec.emplace_back(a);
vec.push_back(A());
vec.emplace_back(A());
vec.emplace_back(2,3);
return 0;
}
可以看到vec.emplace_back(2,3),2和3最后被直接作为参数传递给了A,而这种写法是push_back所不支持的。
以上代码的输出为
第1行的A constructor,是下面代码的输出
A a;
第2、3行的A copy constructor,是下面代码的输出。
vec.push_back(a);
vec.emplace_back(a);
可以看出push_back和emplace_back接受T&作为参数时,没有任何区别,都是在vector开辟的内存中调用了A的拷贝构造函数。
第4、5、6行和7、8、9行是一样的A constructor;A move constructor;A destructor
是下面代码的输出
vec.push_back(A());
vec.emplace_back(A());
可以看出push_back和emplace_back接受T&&作为参数时,也没有任何区别,都是在vector开辟的内存中调用了A的移动构造函数。这里的A constructor和A detructor是临时变量A()创建和销毁,然后调用移动构造函数把临时变量移动到了vector的元素中。
最后一行的A second construcor,是下面代码的输出
vec.emplace_back(2,3);
此时我们发现,emplace_back直接调用的是A带有两个参数的构造函数,这个过程没有任何临时变量的生成,也就没有临时变量向目标元素的拷贝或者移动。
从以上的代码输出,我们可以得出如下结论了:
1、接受const T&、T&&作为参数时,push_back和emplace_back是一样的效果。如果我们查看下vector的源代码,会发现其实push_back内部也是调用的emplace_back。
2、接受A的其他版本的构造函数的参数时,只能使用emplace_back,并且非常高效,期间不会发生临时变量的生成和拷贝。
总体来看,emplace_back要比push_back有着更强的通用性,所以用emplace_back总没错。那既然push_back能干的emplace_back都能干,还要push_back干什么?我的理解是兼容,毕竟stl这么多年了,应用的项目无数,不能暴力地删除,就干脆在函数内部用emplace_back转接了。
更多推荐
所有评论(0)