1.可变参数模板 有参调用
把逗号表达式的最后一个值设为0,此时我参数包里有几个参数,那么就有几个0,也就代表有几个值。代码如下:
用逗号表达式
#include <iostream>
#include<string>
template <class T>
void PrintArg(const T& t)
{
cout << t << " ";
}
template <class ...Args>
void ShowList(Args... args)
{
//列表初始化+逗号表达式
int arr[] = { (PrintArg(args), 0)... };
cout << endl;
cout << "arr.size:" << (sizeof(arr) / sizeof(int)) << std::endl;
}
int main()
{
ShowList(1, 'x', 1.1, string("hello world"));
ShowList(1, 2, 3, 4, 5);
return 0;
}
不用逗号表达式
当然,这里其实不用逗号表达式也可以,直接给PrintArg函数带上返回值即可完成逗号表达式的功能:
#include <iostream>
#include<string>
template <class T>
int PrintArg(const T& t)
{
cout << t << " ";
return 0;
}
template <class ...Args>
void ShowList(Args... args)
{
//列表初始化
int arr[] = { PrintArg(args)... };
cout << endl;
}
2.可变参数模板 无参调用
此时可以传入多种类型的参数了,但是不能不传参数,因为数组的大小不能为0,为了支持不传参数,我们需要单独写个无参的ShowList函数,就像无参版的终止函数那样:
//支持无参调用
#include <iostream>
#include<string>
void ShowList()
{
cout << "no para" << endl;
}
template <class T>
int PrintArg(const T& t)
{
cout << t << " ";
return 0;
}
template <class ...Args>
void ShowList(Args... args)
{
//列表初始化
int arr[] = { PrintArg(args)... };
cout << endl;
}
int main()
{
ShowList(1, 'x', 1.1, string("hello world"));
ShowList(1, 2, 3, 4, 5);
ShowList();
return 0;
}
输出如下
3.STL容器中的empalce相关接口函数
template <class... Args>
void emplace_back (Args&&... args);
首先我们看到的emplace系列的接口,支持模板的可变参数,并且万能引用。那么相对insert和
emplace系列接口的优势到底在哪里呢?
int main()
{
std::list< std::pair<int, char> > mylist;
// emplace_back支持可变参数,拿到构建pair对象的参数后自己去创建对象
// 那么在这里我们可以看到除了用法上,和push_back没什么太大的区别
mylist.emplace_back(10, 'a');
mylist.emplace_back(20, 'b');
mylist.emplace_back(make_pair(30, 'c'));
mylist.push_back(make_pair(40, 'd'));
mylist.push_back({ 50, 'e' });
for (auto e : mylist)
cout << e.first << ":" << e.second << endl;
return 0;
}
int main()
{
// 下面我们试一下带有拷贝构造和移动构造的bit::string,再试试呢
// 我们会发现其实差别也不到,emplace_back是直接构造了,push_back
// 是先构造,再移动构造,其实也还好。
std::list< std::pair<int, cpp::string> > mylist;
mylist.emplace_back(10, "sort");
mylist.emplace_back(make_pair(20, "sort"));
mylist.push_back(make_pair(30, "sort"));
mylist.push_back({ 40, "sort" });
return 0;
}
总结:
- emplace系列接口最大的特点就是支持传入参数包,用这些参数包直接构造出对象,这样就能减少一次拷贝,这就是为什么有人说emplace系列接口更高效的原因。
- 但emplace系列接口并不是在所有场景下都比原有的插入接口高效,如果传入的是左值对象或右值对象,那么emplace系列接口的效率其实和原有的插入接口的效率是一样的。
- emplace系列接口真正高效的情况是传入参数包的时候,直接通过参数包构造出对象,避免了中途的一次拷贝。