泛型是爲了解決數據類型的通用性。
在定義函數或者類時先不定義類型,用一個佔位符佔下來,實例化時再賦予其類型。
一般分爲兩步:
1.指定一種通用類型T,不具體指明是哪一種類型。
2.實例化類時把T替換成int 、string、...內建或者是自定類型。
1.函數語法
//函數返回類型 函數名(形參列表…)
//返回的是 T1 輸入是T1 T2 int
//template 是關鍵字
//下面兩種寫法可以
template <typename T1,typename T2>
T1 fun(T1, T2, int){ }
template <class T1, class T2>
T1 fun(T1, T2, int){ }
//下面兩種寫法不可以 會報T2未定義
template <typename T1,T2>
T1 fun(T1, T2, int){ }
template <class T1, T2>
T1 fun(T1, T2, int){ }
2.類語法
/*template <class 模版參數列表…>
class 類名
{ //類體}
成員的實現…
}*/
//1.定義了兩個參數
template <class T1, class T2 >
class fxClassA
{
private:
int a;
T1 b; //成員變量也可以用模板參數
public:
int fun1(T1 x, int y);
T2 fun2(T1 x, T2 y);
};
//2.類實現部分 每個函數上都要有類型定義
template <class T1, class T2 >
int fxClassA<T1>::fun1(T1 x, int y) {}//這個函數沒有用到T2,如果不寫是會報錯的
template <class T1, class T2 >
T2 fxClassA<T1, T2>::fun2(T1 x, T2 y) {}
//3.類使用
int template_main()
{
//定義對象a,並用int替換T1, float替換T2
fxClassA<int, float> a;
//實例化a,調用a的屬性和方法……
}