可变参数模板
// args是参数包
template<class T,class ...Args>
void _ShowList(T value, Args... args)
{cout << sizeof...(args) << endl; // 2cout << value << " ";/*_ShowList(args...);*/}
int main()
{_ShowList(1,2,3); return 0;
}可变参数类型模板指的是参数的类型和数量是可变的。在上面的代码，Args是个参数包可以接收多个多个参数。底层是以数组接收参数。
如何查看参数包args中的参数。args的范围是0到1。
template<class T>
void _ShowList(T val)
{cout << val << " ";cout << endl;
}template<class T,class ...Args>
void _ShowList(T value, Args... args)
{cout << sizeof...(args) << endl;cout << value << " ";_ShowList(args...);}通过函数重载，一个个参数拿出来看。
方式二
template<class T>
int PrintArg(T t)
{cout << t << " ";return 0;
}
template<class ...Args>
void CppPrint(Args... args)
{int a[] = { PrintArg(args)... };
}
int main()
{CppPrint(1,2,3,4,5,6);return 0;
}这个的原理是PrintArg(args)... 会扩展看来相当于下面
int a[]={PrintArg(1), PrintArg(2), PrintArg(3),PringArg(4),...};可变模板参数模板在初始化对象的使用
class Date
{
public:Date(int year, int month, int day):_year(year), _month(month), _day(day){cout << "构造函数";}
private:int _year;int _month;int _day;
};
template<class ...Args>
Date* create(Args... args)
{Date* p = new Date(args...);return p;
}
int main()
{create(1, 0, 9);return 0;}在上面的代码中 create函数接收的1，0，9的值存进了args,args...拓展出来分别初始化对应参数。
容器的emplace接口的参数就是可变参数模板。
我们可以看到mylist.emplace_back只调用了string的构造函数，而mylist.push_back()只能先调用了string构造出pair，pair进行insert再进行push_back再进行移动拷贝构造。
实际上因为右值引用，所以其实emplace和push效率上没有太大区别。
默认的移动构造函数生成
针对移动构造函数和移动赋值运算符重载有一些需要注意的点如下：
如果你没有自己实现移动构造函数，且没有实现析构函数、拷贝构造、拷贝赋值重载中的任意一个。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数,对于内置类型成员会执行逐成员按字节拷贝，自定义类型成员，则需要看这个成员是否实现移动构造，如果实现了就调用移动构造，没有实现就调用拷贝构造。
如果你没有自己实现移动赋值重载函数，且没有实现析构函数、拷贝构造、拷贝赋值重载中的任意一个,那么编译器会自动生成一个默认移动赋值。默认生成的移动构造函数,对于内置类型成员会执行逐成员按字节拷贝，自定义类型成员，则需要看这个成员是否实现移动赋值，如果实现了就调用移动赋值，没有实现就调用拷贝赋值。(默认移动赋值跟上面移动构造完全类似)
如果你提供了移动构造或者移动赋值，编译器不会自动提供拷贝构造和拷贝赋值。
class Date
{
public:Date(int year, int month, int day):_year(year), _month(month), _day(day){cout << "构造函数";}Date(Date&& p) = default; //强制生成移动构造Date(const Date& p) = default; //强制生成拷贝构造
private:int _year;int _month;int _day;
};
