稍微了解过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转接了。

Logo

权威|前沿|技术|干货|国内首个API全生命周期开发者社区

更多推荐