C++11可变模板参数：海纳百川的Args

C+五条

于 2024-04-08 17:31:57 发布

阅读量1.3k

点赞数 19

分类专栏： C/C++ 文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/2201_75880188/article/details/137497499

版权

C/C++ 专栏收录该内容

35 篇文章 0 订阅

订阅专栏

一、可变模板参数的概念及功能

1.1Args的概念与使用

C++11的新特性可变参数模板能够让您创建可以接受可变参数的函数模板和类模板。

相比 C++98/03，类模版和函数模版中只能含固定数量的模版参数，可变模版参数无疑是一个巨大的改进。然而由于可变模版参数比较抽象，使用起来需要一定的技巧，所以这块还是比较晦涩的。现阶段呢，我们掌握一些基础的可变参数模板特性就够我们用了，所以这里我们点到为止，以后大

家如果有需要，再可以深入学习。

// Args是一个模板参数包，args是一个函数形参参数包
// 声明一个参数包Args...args，这个参数包中可以包含0到任意个模板参数。
template <class ...Args>
void ShowList(Args... args)
{}

我们可以很清晰的看到，Args中有多少个参数。

1.2获取args中的参数

基于上面的代码，我们可以感觉到，args这个可变模板参数好像和main函数中的命令行参数argv有些许相似，那我们可不可以用for循环来取出其中的参数呢？当然不可以！

c语言中的可变参数是用一个数组进行存储然后在运行时进行解析，所以可以在运行时用运行逻辑解析，但现在是模板参数，模板参数在编译时解析，在编译时就要去推该模板是什么类型。

上面的参数args前面有省略号，所以它就是一个可变模版参数，我们把带省略号的参数称为“参数

包”，它里面包含了0到N（N>=0）个模版参数。我们无法直接获取参数包args中的每个参数的，只能通过展开参数包的方式来获取参数包中的每个参数，这是使用可变模版参数的一个主要特点，也是最大的难点，即如何展开可变模版参数。由于语法不支持使用args[i]这样方式获取可变参数，所以我们的用一些奇招来依次获取参数包的值——也就是编译时递归解析。

这时需要写一个递归子函数。

// 递归终止函数
template <class T>
void ShowList(const T& t)
{
	cout << t << endl;
}
// 展开函数
template <class T, class ...Args>
void ShowList(T value, Args... args)
{
	cout << value << " ";
	ShowList(args...);
}
int main()
{
	ShowList(1);
	ShowList(1, 'A');
	ShowList(1, 'A', std::string("sort"));
	return 0;
}

二、emplace可变模板参数的实际应用

emplace_back就是支持了多参数可变模板的插入，对于有移动构造的需要深拷贝的对象来说，效率提升不是非常明显。对于浅拷贝类型的对象来说可以提升效率。比如我们之前的Date日期类。

class Date
{
public:
	Date(int year=0,int month=0,int day=0 )
		:_year(year)
		,_month(month)
		,_day(day)
	{
		cout << "构造" << endl;
	}
	Date(const Date& d)
		:_year(d._year)
		, _month(d._month)
		, _day(d._day)
	{
		cout << "拷贝构造" << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	list<Date> lt1;
	lt1.push_back({ 2024,4,8 });
	//emplace不支持如下的写法
	//lt1.emplace_back({ 2024,4,8 });
	lt1.emplace_back(2024,4,8 );
	cout << "================" << endl;
	Date d1(2024, 4, 9);
	cout << "================" << endl;
	lt1.push_back(d1);
	lt1.emplace_back(d1);
	return 0;
}

可以看到，如果直接传一个对象进去，一般都是进行拷贝构造，而直接传参，emplace会直接调用构造，所以使用emplace时建议直接传参。

直接给插入对象参数的情况下：

emplace系列，深拷贝的类对象，减少一次移动构造，浅拷贝的类对象，减少一次拷贝构造。

C++11中STL的重大变化

1、新容器

2、容器的移动构造和移动赋值

3、新接口 pus/insert/emplace右值版本

三、逗号表达式展开参数包

（注：一种及其令博主感到懵*的全新的使用方式，不禁感叹这还是C++吗？兄弟你令我感到陌生）

这种展开参数包的方式，不需要通过递归终止函数，是直接在expand函数体中展开的, printarg

不是一个递归终止函数，只是一个处理参数包中每一个参数的函数。这种就地展开参数包的方式

实现的关键是逗号表达式。我们知道逗号表达式会按顺序执行逗号前面的表达式。

expand函数中的逗号表达式：(printarg(args), 0)，也是按照这个执行顺序，先执行printarg(args)，再得到逗号表达式的结果0。同时还用到了C++11的另外一个特性——初始化列表，通过初始化列表来初始化一个变长数组, {(printarg(args), 0)...}将会展开成((printarg(arg1),0), (printarg(arg2),0), (printarg(arg3),0), etc... )，最终会创建一个元素值都为0的数组int arr[sizeof...(Args)]。由于是逗号表达式，在创建数组的过程中会先执行逗号表达式前面的部分printarg(args)打印出参数，也就是说在构造int数组的过程中就将参数包展开了，这个数组的目的纯粹是为了在数组构造的过程展开参数包。