c++11 可变参数模板函数

c++11 可变参数模板函数

#define _CRT_SECURE_NO_WARNINGS

#include <iostream>

#include <string>

#include <vector>

#include <map>

// 在C++11之前，类模板和函数模板只能含有固定数量的模板参数。C++11增强了模板功能，允许模板定义中包含0到任意个模板参数，这就是可变参数模板。

// 可变参数模板和普通模板的语义是一样的，只是写法上稍有区别，声明可变参数模板时需要在typename或class后面带上省略号“...”

/*

省略号“...”的作用有两个：

    1)    声明一个参数包，这个参数包中可以包含0到任意个模板参数

    2)    在模板定义的右边，可以将参数包展开成一个一个独立的参数

*/

template<class ... T>

void func(T ... args) // T叫模板参数包，args叫函数参数包

{//可变参数模板函数

}

func();    // OK：args不含有任何实参

func();    // OK：args含有一个实参：int

func(, 1.0);   // OK：args含有两个实参int和double

// 一个可变参数模板函数的定义

template<class ... T> void func1(T ... args)

{//可变参数模板函数

    //sizeof...（sizeof后面有3个小点）计算变参个数

    cout << "num = " << sizeof...(args) << endl;

}

// 通过递归函数展开参数包，需要提供一个参数包展开的函数和一个递归终止函数。

//递归终止函数

void debug()

{

    cout << "empty\n";

}

//展开函数

template <class T, class ... Args>

void debug(T first, Args ... last)

{

    cout << "parameter " << first << endl;

    debug(last...);

}

// 非递归方式展开

template <class T>

void print(T arg)

{

    cout << arg << endl;

}

template <class ... Args>

void expand(Args ... args)

{

    int a[] = { (print(args), )... };

}

void mytest()

{

    func1();     // num = 0

    func1();    // num = 1

    func1(, 1.0);   // num = 2

    debug(, , , );

    /*

    运行结果：

        parameter 1

        parameter 2

        parameter 3

        parameter 4

        empty

    */

    expand(, , , );

    return;

}

int main()

{

    mytest();

    system("pause");

    return ;

}