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(1);    // OK：args含有一個實參：int
func(2, 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), 0)... };
}


void mytest()
{
    func1();     // num = 0
    func1(1);    // num = 1
    func1(2, 1.0);   // num = 2

    debug(1, 2, 3, 4);
    /*
    運行結果：
        parameter 1
        parameter 2
        parameter 3
        parameter 4
        empty
    */

    expand(1, 2, 3, 4);

    return;
}


int main()
{
    mytest();

    system("pause");
    return 0;
}