【C++11】可变参数模板

发布于:2025-05-01 ⋅ 阅读:(61) ⋅ 点赞:(0)

前言:

        上文我们学到右值引用及其移动语义,学习到了C++11中对性能提升对重要的更新之一。C++11进阶之路:右值引用和移动语义,让代码跑得更快!-CSDN博客

        本文我们来讲讲,C++11的下一个新语法:可变参数模板

1.基本原理

       C++11支持可变参数模板。既支持可变参数的函数模板、可变模板参数的类模板。可变的参数被称为参数包。参数包分为两类:1. 模板参数包:包含零或多个模板参数。 2. 函数参数包:包含零或多个函数参数。

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

      我们用三个省略号来表示函数参数或模板参数此时是一个参数包。在模板参数中,使用class + ...或typename + ...来表示此时的参数为参数包。 在函数参数中,类型名+ ... 表示此时的参数为参数包。当然在函数参数中,仍然可以像普通参数一样使用左值引用、右值引用,同时也遵守应用折叠。

        可变参数模板的本质其实就是在编译过程中对应的实例化出零或多个参数

        在可变参数模板中可以通过sizeof... 运算符得到可变参数模板中有几个参数。

#include<iostream>
using namespace std;

//可变参数模板
template<class ...Args>
void Print(Args&&... agrs)
{
	//运算符sizeof...可以返回可变参数模板中有几个参数
	cout << sizeof...(agrs) << endl;
}

int main()
{
	double x;
	Print();
	Print(1);
	Print(2.2,"xxxx");
	Print(2.2,"abc",x);
}

        其本质是实例化出了4个不同的Print函数

2.包扩展

        对于一个参数包,我们除了能计算它的参数个数,能做的唯一事情就是扩展它。当扩展一个包时,需要提供用于每个扩展元素的模式。扩展一个包的过程是将其分解为构成元素,对每个元素应用模式,从而获得扩展后的列表。我们通过在模式的右边放置一个省略号(...)来触发扩展操作。底层细节如下:

#include<iostream>
using namespace std;

//展开方式一~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
//当无参时,匹配此函数返回
void Print()
{
	return;
}

//可变参数模板
template<class T,class ...Args>
void Print(T&& x,Args&&... agrs)
{
	//参数包的第一个匹配给x
	cout << x << " ";
	//剩下n-1的参数包,匹配给agrs
	Print(agrs...);
}


//展开方式二~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
//获取参数包的第一个元素
template<class T>
int Getagrs(T&& t)
{
	cout << t << " ";
	return 0;
}

template<class ...Agrs>
void list(Agrs&&... agrs)
{}

template<class ...Agrs>
void Showlist(Agrs&&... agrs)
{
	//int a[] = { Getagrs(agrs)... };
	list(Getagrs(agrs)...);

	//函数实例化,不断展开:
	// -> list(Getagrs(x),Getagrs(y),Getagrs(z))
}

//包扩展
int main()
{
	double x = 10;
	Print(2.2, "abc", x);
	cout << endl;
	// C/C++的函数参数,是从右向左进行压栈的
	Showlist(2.2, "abc", x);
}

3.emplace系列接口

template <class... Args>
void emplace_back (Args&&... args);

template <class... Args>
iterator emplace (const_iterator position, Args&&... args);

        emplace是C++11提供的新类成员函数。主要由可变参数模板实现,其主要功能是插入数据。emplace_back相当于push_back,emplace相当于insert

        当然emplace的功能不仅仅的包含insert和push,emplace还支持插入时构造,比insert和push更加高效

int main()
{
	vector<pair<string,int>> arr;

	//先调用构造,构造出pair的临时对象。临时对象为右值,会调用移动构造将内容添加到vector中。
	arr.push_back({ "abc",3 });

	//直接传参,并在插入vector时直接构造
	arr.emplace_back("asd", 3);
}

        传递参数包过程中,如果是 Args&&... args 的参数包,要用完美转发参数包,方式如下 forward<Args>(args)... ,否则编译时包扩展后右值引用变量表达式就变成了左值了

        emplace兼容insert和push,并且比这两个更加高效,所以建议以后都使用emplace