（C++模板编程）：可变参函数模板

目录

可变参函数模板

先实现参数包展开函数、再实现一个同名的递归终止函数(这是个真正的函数)

编译期间if语句（constexpr if)   --C++17新增

深入认识if constexpr

重载

可变参模板

• 英文：Variadic Templates ，C++11引入
• 允许模板定义中包含 0 ，到多个（任意个）模板参数。

可变参函数模板

基本含义

void myptfunct()
{
}

template <typename... T>  //...代表参数包
void myvtfunct(T... args) //T：一包类型，args：一包形参   ,T称为“可变参类型”,T中包含的是0到多个不同的类型（一包类型）
		                    //args称为一包/一堆 参数（函数模板的形参：0个到多个），每个参数的类型可以各不相同。
{
		cout << "-----------begin-----------" << endl;
		cout << sizeof...(args) << endl;   //收到的参数数量，sizeof...固定语法，C++11中引入，用于表示 收到的模板参数个数或者类型数量。
		                                       //sizeof...针对的只能是这种...的可变参，后面圆括号中可以是函数模板的形参args，也可以是类型模板参数T.
		cout << sizeof...(T) << endl;      //收到的类型数量
		cout << "-----------end-----------" << endl;
}

• 调用

myvtfunct();
myvtfunct(10,20);
myvtfunct(10, 25.8,"abc",68);
myvtfunct<double,double>(10, 25.8, "abc", 68,73); //指定部分类型，让编译器去推断另一部分类型，是允许的。

• 输出

• 可变参函数模板中，传递进来的一包实参怎样展开：一般都采用递归函数的方式展开参数包。
• 要展开，要求，在可变参函数模板代码中，有一个  参数包展开函数，  以及 一个 同名的递归终止函数。

先实现参数包展开函数、再实现一个同名的递归终止函数(这是个真正的函数)

//2 、再实现一个同名的递归终止函数(这是个真正的函数)，位置放在  参数包展开函数 的前面
void myvtfunct() //这是个普通函数，而不是函数模板
{
	cout << "参数包展开时执行了递归终止函数myvtfunct()" << endl;
}

//1、先实现参数包展开函数
template <typename T,typename...U>
void myvtfunct(T firstarg, U...otherargs)  //(10, "abc", 12.7);
{
	cout << "收到的参数值：" << firstarg << endl;
	myvtfunct(otherargs...); //递归调用，注意塞进来的是一包形参，这里的...不能省略
	
}

• 调用

myvtfunct(10, "abc", 12.7);

• 输出

• 实际过程：
  • a)myvtfunct(10, "abc", 12.7);    
  • b)myvtfunct( "abc", 12.7);
  • c)myvtfunct(12.7);
  • d)myvtfunct();

编译期间if语句（constexpr if)   --C++17新增

• if constexpr()....   其中constexpr，代表“常量”的意思，或者代表“编译时求值”的意思。
• 上面使用的递归及终止函数可以改成如下：

template <typename T, typename...U>
void myvtfunct(T firstarg, U...otherargs) 
{
	cout << "收到的参数值：" << firstarg << endl;
	//myvtfunct(otherargs...); //递归调用，注意塞进来的是一包形参，这里的...不能省略
	if constexpr (sizeof...(otherargs) > 0) //constexpr必须有否则无法成功编译，圆括号中是常量表达式。
	{
		myvtfunct(otherargs...); //递归调用，注意塞进来的是一包形参，这里的...不能省略
	}
	else
	{
		//不需要做什么，其实整个else都可以不要。
	}
}

• 调用

myvtfunct(10, "abc", 12.7);

• 使用dumpbin查看实例化的函数

myvtfunct<int,char const *,double>(int,char const *,double)
myvtfunct<char const*, double>(char const*, double)
myvtfunct<double>(double)

深入认识if constexpr

• 不满足条件的分支，也同样会被编译器编译(被编译器进行语法检查）。

if constexpr (sizeof...(otherargs) > 100) 
	{
		testfunc();   //testfunc没被定义过
	}

• 不管if constexpr条件是否成立，{}中的代码行都会被编译
• 所以报错

• if constexpr所指定的条件必须是常量：理解成普通if语句，只是判断条件从执行期间挪到了编译期间

int i = 8;
if constexpr (i > 8)
{

}

• i的值是运行期间确定的，所以报错

• 总结：if constexpr的存在，完善了模板与泛型编程中的程序执行路径选择问题。

重载

template<typename... T>
void myfunc(T... arg)
{
	cout << "myfunc(T... arg)执行了!" << endl;
}

template<typename... T>
void myfunc(T*... arg)
{
	cout << "myfunc(T*... arg)执行了!" << endl;
}

void myfunc(int arg)
{
	cout << "myfunc(int arg)执行了!" << endl;
}

• 调用

myfunc(NULL);
myfunc(nullptr); //nullptr是空指针
myfunc((int *)nullptr);

• 输出

• 一般来说，调用普通函数和调用函数模板都合适的时候，编译器优先选择普通函数。
• 把握不准时，可以多做测试。