可变参数模板

c和c++中，实现函数接受可变长参的方法有好几种，本文介绍的是c++中的可变参数模板。

 

关键要素：

模板参数包、函数参数包、递归

 

1，可变参数模板函数和普通函数的重载

示例：

#include<iostream>
using namespace std;

void myCout(){}

template<typename A, typename ... T>
void myCout(A a, T... x)
{
	cout << a << ',';
	myCout(x...);
}

int main()
{
	myCout(12, '?', 0.1, "abcd");
	return 0;
}

输出：

12,?,0.1,abcd,

 

改进：

让最后一个参数后面不输出逗号

改进代码：

#include<iostream>
using namespace std;

template<typename A>
void myCout(A a)
{
	cout << a;
}

template<typename A, typename ... T>
void myCout(A a, T... x)
{
	cout << a << ',';
	myCout(x...);
}

int main()
{
	myCout(12, '?', 0.1, "abcd");
	return 0;
}

 

2，可变参数模板函数之间的重载

#include<iostream>
using namespace std;


template<typename ... T>
void myCout(T... x)
{
    cout<<"end";
}

template<typename A, typename ... T>
void myCout(A a, T... x)
{
    cout << a << ',';
    myCout(x...);
}


int main()
{
    myCout(12, '?', 0.1, "abcd");
    return 0;
}

输出：12,?,0.1,abcd,end

这种情况下，更严格的参数如果能匹配上就优先匹配。

 

3，模板参数包的传递

#include<iostream>
using namespace std;


template<typename ... T>
void myCout(T... x)
{
    cout<<"end\n";
}

template<typename A, typename ... T>
void myCout(A a, T... x)
{
    cout << a << ',';
    myCout(x...);
}

template<typename ... T>
void myCout2(T... x)
{
    myCout(x...);
}


int main()
{
    myCout2(12, '?', 0.1, "abcd");
    myCout2();
    return 0;
}

输出：

12,?,0.1,abcd,end
end

 

4，综合应用

#include<iostream>
using namespace std;

template<typename ... T>
void f1(T... x);
template<typename ... T>
void f3(T... x){};

template<typename A, typename ... T>
void f3(A a, T... x)
{
    cout<<"f3  ";
    cout << a << ',';
    f1(x...);
}

template<typename ... T>
void f2(T... x)
{
    cout<<"f2  ";
    f3(x...);
}

template<typename ... T>
void f1(T... x)
{
    cout<<"f1  ";
    f2(x...);
}

int main()
{
    f1(12, '?', 0.1, "abcd");
    return 0;
}

输出：

f1  f2  f3  12,f1  f2  f3  ?,f1  f2  f3  0.1,f1  f2  f3  abcd,f1  f2