【C++】C++11的可变参数模板、emplace接口、类的新功能

各位大佬好，我是落羽！一个坚持学习进步的学生。
如果您觉得我的文章还不错，欢迎多多互三分享交流，一起学习进步！
也欢迎关注我的blog主页: 落羽的落羽

一、可变参数模板

可变参数模板是C++11引入的一项重要特性，它允许模板接受任意数量和类型的参数。这一特性极大地增强了C++模板的灵活性和表达能力。可变数目的参数称为参数包，存在两种参数包：模板参数包、函数参数包。

template<class ...Args>
void Func(Args... args)
{}

我们可以使用sizeof...操作符去计算参数包中参数的个数。

举个栗子：

template<class ...Args>
void Print(Args&&... args)
{
	cout << sizeof...(args) << endl;
}

可变参数模板的原理跟模板类似，本质都是去实例化对应类型和个数的多个函数。

二、emplace系列接口

C++11以后STL容器新增了emplace系列的接口，均为可变参数模板，在功能上兼容push和insert系列，但还有新特点。

假设容器存储对象类型为T，emplace还支持直接插入构造T对象的参数，有些场景下这样的操作会更高效一些，可以直接在容器空间上构造T对象。而直接插入对象的操作，emplace系列和insert、push等几乎没有区别，所以emplace_back总体更加高效，推荐使用。

三、新的类功能

原来的C++类中，有六个默认成员函数：构造函数、析构函数、拷贝构造函数、拷贝赋值重载、取地址重载、const取地址重载。C++11新增了两个默认成员函数：移动构造函数、移动赋值运算符重载。上一篇文章我们已经讲过。

一个类中，如果你没有自己实现移动构造函数，且没有实现析构函数、拷贝构造函数、拷贝赋值重载中的任意一种。那么编译器会自动生成一个默认移动构造，它对于内置类型成员会执行逐成员按字节拷贝，对于自定义类型成员需要看这个成员是否实现了移动构造，如果实现了就调用它的移动构造，没有实现就调用拷贝构造。

一个类中，如果你没有自己实现移动赋值重载，且没有实现析构函数、拷贝构造函数、拷贝赋值重载中的任意一种。那么编译器会自动生成一个默认移动赋值，它对于内置类型成员会执行逐成员按字节拷贝，对于自定义类型成员需要看这个成员是否实现了移动赋值，如果实现了就调用它的移动赋值，没有实现就调用拷贝赋值。

除此之外，C++11中还增加了两个关键字：

• 假设你要使用某个默认的函数，但是这个函数没有默认生成，比如我们提供了拷贝构造，就不会生成移动构造了。我们还想使用的话，就可以使用default关键字，显示指定该函数生成：

class Person
{
public:
	Person(const char* name = "", int age = 0)
		: _name(name)
		, _age(age)
	{}

	Person(const Person& p)
		:_name(p._name)
		, _age(p._age)
	{}

	// 使用default关键字，使类生成默认移动构造函数
	Person(Person&& p) = default;
	
private:
	string _name;
	int _age;
};

• 如果想要限制某些默认函数的生成，在C++11中，只需在该函数声明后加上=delete即可，该语法指示编译器不生成对应函数的默认版本，=delete修饰的函数称为删除函数。

class Person
{
public:
	Person(const char* name = "", int age = 0)
		: _name(name)
		, _age(age)
	{}

	Person(const Person& p)
		:_name(p._name)
		, _age(p._age)
	{}

	// 使用delete关键字，使类禁止生成默认的拷贝构造函数
	Person(const Person& p) = delete;
	
private:
	string _name;
	int _age;
};

本篇完，感谢阅读。