c++11函式模板的預設模板引數 和 可變引數模板函式
轉自：https://www.cnblogs.com/lsgxeva/p/7787500.html
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <vector>
#include <map>
// C++11之前，類模板是支援預設的模板引數，卻不支援函式模板的預設模板引數
//1、普通函式帶預設引數，c++98 編譯通過，c++11 編譯通過
void DefParm(int m = 3) {}
//2、類模板是支援預設的模板引數，c++98 編譯通過，c++11 編譯通過
template <typename T = int>
class DefClass {};
//3、函式模板的預設模板引數， c++98 - 編譯失敗，c++11 - 編譯通過
template <typename T = int>
void DefTempParm() {}
// 類模板的預設模板引數必須從右往左定義，函式模板的預設模板引數則沒這個限定
template<class T1, class T2 = int> class DefClass1;
template<class T1 = int, class T2> class DefClass2; // 無法通過編譯
template<class T, int i = 0> class DefClass3;
template<int i = 0, class T> class DefClass4; // 無法通過編譯
template<class T1 = int, class T2> void DefFunc1(T1 a, T2 b);
template<int i = 0, class T> void DefFunc2(T a);
void mytest()
{
return;
}
int main()
{
mytest();
system("pause");
return 0;
}
===============================================================
#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;
}
========================================================================================
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <vector>
#include <map>
// 在C++11之前，類模板和函式模板只能含有固定數量的模板引數。C++11增強了模板功能，允許模板定義中包含0到任意個模板引數，這就是可變引數模板。
// 可變引數模板類 繼承方式展開引數包
// 可變引數模板類的展開一般需要定義2 ~ 3個類，包含類宣告和特化的模板類
template<typename... A> class BMW{}; // 變長模板的宣告
template<typename Head, typename... Tail> // 遞迴的偏特化定義
class BMW<Head, Tail...> : public BMW<Tail...>
{//當例項化物件時，則會引起基類的遞迴構造
public:
BMW()
{
printf("type: %s\n", typeid(Head).name());
}
Head head;
};
template<> class BMW<>{}; // 邊界條件
// 模板遞迴和特化方式展開引數包
template <long... nums> struct Multiply;// 變長模板的宣告
template <long first, long... last>
struct Multiply<first, last...> // 變長模板類
{
static const long val = first * Multiply<last...>::val;
};
template<>
struct Multiply<> // 邊界條件
{
static const long val = 1;
};
void mytest()
{
BMW<int, char, float> car;
/*
執行結果：
type: f
type: c
type: i
*/
std::cout << Multiply<2, 3, 4, 5>::val << std::endl; // 120
return;
}
int main()
{
mytest();
system("pause");
return 0;
}