模板之变参模板

变参模板

Variadic Template（变参模板）：将模板参数定位为可接收任意数目、任意类型的实参；
通过递归效应实现编译时展开。
本文主要讲述：
1：变参模板完美转发
2：变参表达式
3：变参索引
4：变参类模板：Tuple，Variant;
5: 变参推导
6：变参基类

实例代码

#include <iostream>
using namespace std;

//变参模板
void process1 ()
{
    cout<<endl;	//最后结束
}

template<typename T, typename... U>
void process1 (T firstArg, U... args)
{
  cout << firstArg << ' ';  
  process1(args...);          
}

/*实际展开过程分析：4个参数，实际就会生成4个接口函数——编译成本，容易带来代码膨胀
void process1 (int firstArg , string , int, double)
{
  cout << firstArg << ' ';  
  process1(args...);          
}
void process1 (string firstArg , int, double)
{
  cout << firstArg << ' ';  
  process1(args...);          
}
void process1 (int firstArg, double)
{
  cout << firstArg << ' ';  
  process1(args...);          
}
void process1 (double firstArg)
{
  cout << firstArg << ' ';  
  process1();          
}
*/

template<typename T>
void process2 (T arg) // 接受一个参数
{
  std::cout << arg << ' ';  
}

template<typename T, typename... Types>
void process2 (T firstArg, Types... args)
{
  process2(firstArg);  
  cout<<sizeof...(Types)<<": ";  //可以计算还剩下几个参数
  process2(args...);           
}

//折叠表达式应用————变参模板变体形式
template<typename... T>
auto accumulate (T... s) {
  return (... + s); // 可以等同：s1+...+ sn， 未来所有的参数都用‘+’处理
}

template<typename... Types>
void process3 (Types const&... args)
{
  (std::cout << ... << args)<<" " << '\n';
}

int main()
{

  process1(100,"Hello",300,24.34);

  process2(100,"Hello",300,3023.42242);
  
  cout<<endl<<accumulate(1,3,5,7,9)<<endl;
  //cout<<endl<<accumulate()<<endl;
  
  process3(100,"Hello",300,3023.42242);
}

代码执行

kongcb@tcu-pc:~/testcode/template$ ./vartemplate                     
100 Hello 300 24.34 
100 3: Hello 2: 300 1: 3023.42 //打印了还剩几个参数
25	//累加了
100Hello3003023.42 //直接全部打印了