C++ template

#参考yanxiangtianji  的博客

1,模板参数包（template parameter pack）：

它指模板参数位置上的变长参数（可以是类型参数，也可以是非类型参数）

2,函数参数包（function parameter pack）：

它指函数参数位置上的变长参数

1参数包：

#include <iostream>
#include <algorithm>
#include <tuple>
using namespace std;

//==========================template==========================//
template <typename ... Types1,template <typename ...> class T,
          typename ... Types2,template <typename ...> class V>
void bar(const T<Types1 ...>&,const V<Types2 ...>&)
{

    std::cout << sizeof...(Types1) << std::endl;
    std::cout << sizeof...(Types2) << std::endl;
};


//==========================template==========================//

int main()
{
//==========================template==========================//

    cout<<"//===========================Template===============================================\n"<<endl;
    tuple<int , double> a;
    tuple<char,float,long> b;
    bar(a,b);

//==========================template==========================//

    return 0;
}

result:

2
3

Process finished with exit code 0

2解包：

    template <typename ... Args>  
    class D1 : public Base<Args...>{};  
    或  
    template <typename ... Args>  
    class D2 : public Base<Args>...{};  

解包用两种常见的形式：

1,直接解包（上面第一个）

D1<X,Y,Z> 相当于 D1:public Base<X,Y,Z>

2,先参与其他表达式再解包（上面第二个）

D2<X,Y,Z> 相当于 D2: public Base<X>, Base<Y>, Base<Z>

 

template <typename ... T>
void fun_1(T ...t)
{
    std::cout << sizeof...(t) << std::endl;
}
template <typename T>
void fun_2(T t)
{
    std::cout << sizeof...(t) << std::endl;
}

/C++/Template/practise_2/main.cpp: In function ‘void fun_2(T)’:
/Template/practise_2/main.cpp:24: error: expansion pattern ‘t’ contains no argument packs

很显然fun_2是不能解包的。

参数包的展开不能无条件地在任何地方使用，这会给编译器看到的源代码的结构带来很大的复杂性。严格来说标准规定可以进行参数包展开的有7中情 况：1,表达式；2,初始化列表；3,基类描述列表；4,类成员初始化；5,模板参数列表；6,通用属性列表；7,lambda函数的捕获列表。

第二个（fun_3(t)...）貌似是有意义的，但是一般情况下不能这样用，可以简单地认为：不能让展开之后的表达式成为一个独立的语句。

3例子：

递归解包

template <typename T>
void func_4(const T & t)
{
    cout<<t<<endl;
};

template <typename T,typename ... Args>
void func_4(const T & t,Args ... args)
{
    cout<<t<<endl;
    func_4(args ...);
};

func_4(1,3,5,7,9);

1
3
5
7
9

Process finished with exit code 0

template <typename ...T>
void DumpMyWrapper(T ... t)
{

};
template <class T>
T unpacker(const T & t)
{
    cout<<"\n"<<t<<endl;
    return t;
};
template<typename ...Args>
void func_5(const Args & ...data)
{
    DumpMyWrapper(unpacker(data)...);
    cout<<"\n";
};

func_5(2,4,6,8,10);    
10

8

6

4

2


Process finished with exit code 0

不能直接用(unpacker(data)...),需要包裹一下。

 

部分原载于http://blog.csdn.net/yanxiangtianji