【1++的C++进阶】之emplace详解

作者主页：进击的1++
专栏链接：【1++的C++进阶】

在前面C++11系列的文章里，我们漏掉了几个知识点，这篇文章对其中一个知识点进行讲解，关于剩余的知识点的文章在后面会相继出炉。

C++11中，针对顺序容器(如vector、deque、list)，新标准引入了三个新成员：emplace_front、emplace和emplace_back，这些操作构造而不是拷贝元素。这三个操作与push_front,insert,push_back操作相同。

下面我们以vector为例对emplace进行讲解。

通过上面两幅图的比较，我们可以看出其用法与insert较为一致，只是在第一个参数之后较为不同，emplace第一个参数后的Arg&& …args 参数包是指什么呢？
可以简单理解为就是其插入元素的构造函数需要多少参数，其就应该传多少参数。
其用法如下：

class B
{
public:
	B(int a,int b)
		:_a(a)
		,_b(b)
	{}

private:
	int _a;
	int _b;
};
void test1()
{
	vector<B> v1;
	v1.insert(v1.begin(),B(1, 2));
	v1.emplace(v1.begin(), 1, 3);
}

那么，既然emplace的用法与insert相似，为什么C++11中要增加它呢？
其区别是什么？
我们用下面的代码进行验证：

class B
{
public:
	B(int a,int b)
		:_a(a)
		,_b(b)
	{
		cout << "构造函数" << endl;
	}

	B(const B& b)
		:_a(b._a)
		, _b(b._b)
	{
		cout << "拷贝构造" << endl;
	}

	B(const B&& b)
		:_a(b._a)
		, _b(b._b)
	{
		cout << "移动构造" << endl;
	}

	B& operator=(const B& b) = default;//当我们显式构造了移动构造
										//编译器就不会在生成默认拷贝构造和移动赋值
private:
	int _a;
	int _b;
};

void test2()
{
	vector<B> v1;
	v1.insert(v1.begin(), B(1, 2));
	cout << "/" << endl;
	vector<B> v2;
	v2.emplace(v2.begin(), 1, 3);
}

通过运行结果我们可以发现，insert在插入时，由于我们传的是右值，其调用了构造和移动构造，而emplace只调用了构造函数。也就是说，emplace是在插入位置直接构造元素，而不是和insert一样，先是构造好，再移动或复制到插入位置。这样做的优势就是能够减少一次移动构造或拷贝构造。