C++函數模板
我們知道，數據或數值可以通過函數參數傳遞，在函數定義時它們是未知的，只有在發生函數調用時才能確定其值。這就是數據的參數化。
其實，數據類型也可以通過參數來傳遞，在函數定義是可以不指明具體的數據類型，當發生函數調用時，編譯器可以根據傳入的參數自動確定數據類型。這就是數據類型參數化。
所謂函數模板，實際上是建立一個通用函數，其返回值類型和形參類型不具體指定，用一個虛擬的類型來代替（實際上是用一個標識符來占位）。這個通用函數就稱為函數模板（Function Template）。凡是函數體相同的函數都可以用這個模板來代替，不必定義多個函數，只需在模板中定義一次即可。在調用函數時系統會用實參的類型來取代模板中的虛擬類型，從而實現了不同函數的功能。
【例】將上節代碼改為通過函數模板來實現。
#include <iostream>using namespace std;template<typename T> //模板聲明，其中T為類型參數T max(T a, T b, T c) //定義一個通用函數，用T作虛擬的類型名{ if(b>a) a=b; if(c>a) a=c; return a;}int main( ){ //求三個整數的最大值 int i1, i2, i3, i_max; cin >> i1 >> i2 >> i3; i_max = max(i1,i2,i3); cout << "i_max=" << i_max << endl; //求三個浮點數的最大值 double d1, d2, d3, d_max; cin >> d1 >> d2 >> d3; d_max = max(d1,d2,d3); cout << "d_max=" << d_max << endl; //求三個長整型數的最大值 long g1, g2, g3, g_max; cin >> g1 >> g2 >> g3; g_max = max(g1,g2,g3); cout << "g_max=" << g_max << endl;}運行結果與上節相同。
定義函數模板的一般形式為：
template < typename T>
通用函數定義 通用函數定義
或
template <class T>
通用函數定義 通用函數定義
在建立函數模板時，只要將例4.5程序中定義的第一個函數首部的int改為T即可。即用虛擬的類型名T代替具體的數據類型。在對程序進行編譯時，遇到第13行調用函數max(i1, i2, i3)，編譯系統會將函數名max與模板max相匹配，將實參的類型取代了函數模板中的虛擬類型T。此時相當于已定義了一個函數：
int max(int a, int b, int c){ if(b>a) a=b; if(c>a) a=c; return a;}
然后調用它。后面兩行(14，15行)的情況類似。
類型參數可以不只一個，可以根據需要確定個數。如：
template <class T1, typename T2>
可以看到，用函數模板比函數重載更方便，程序更簡潔。但應注意它只適用于函數的參數個數相同而類型不同，且函數體相同的情況，如果參數的個數不同，則不能用函數模板。
C++函數的默認參數
一般情況下，在函數調用時形參從實參那里取得值，因此實參的個數應與形參相同。有時多次調用同一函數時用同樣的實參，C++提供簡單的處理辦法，給形參一個默認值，這樣形參就不必一定要從實參取值了。如有一函數聲明：
float area(float r=6.5);
指定r的默認值為6.5，如果在調用此函數時，確認r的值為6.5，則可以不必給出實參的值，如：
area( ); //相當于area(6.5);
如果不想使形參取此默認值，則通過實參另行給出。如：
area(7.5); //形參得到的值為7.5，而不是6.5
這種方法比較靈活，可以簡化編程，提高運行效率。
如果有多個形參，可以使每個形參有一個默認值，也可以只對一部分形參指定默認值，另一部分形參不指定默認值。如有一個求圓柱體體積的函數，形參h代表圓柱體的高，r為圓柱體半徑。函數原型如下：
float volume(float h, float r=12.5); //只對形參r指定默認值12.5
函數調用可以采用以下形式：
volume(45.6); //相當于volume(45.6，12.5) volume(34.2, 10.4); //h的值為34.2，r的值為10.4
實參與形參的結合是從左至右順序進行的。因此指定默認值的參數必須放在形參表列中的最右端，否則出錯。例如：
void f1(float a, int b=0, int c, char d=′a′); //不正確 void f2(float a, int c, int b=0, char d=′a′); //正確
如果調用上面的f2函數，可以采取下面的形式：
f2(3.5, 5, 3, ′x′) //形參的值全部從實參得到 f2(3.5, 5, 3) //最后一個形參的值取默認值′a′ f2(3.5, 5) //最后兩個形參的值取默認值，b=0，d=′a′
可以看到，在調用有默認參數的函數時，實參的個數可以與形參的個數不同，實參未給定的，從形參的默認值得到值。利用這一特性，可以使函數的使用更加靈活。例如例4.7求2個數或3個數中的最大數。也可以不用重載函數，而改用帶有默認參數的函數。
【例】求2個或3個正整數中的最大數，用帶有默認參數的函數實現。
#include <iostream>using namespace std;int main( ){ int max(int a, int b, int c=0);//函數聲明,形參c有默認值 int a,b,c; cin>>a>>b>>c; cout<<"max(a,b,c)="<<max(a,b,c)<<endl;//輸出3個數中的最大者 cout<<"max(a,b)="<<max(a,b)<<endl; //輸出2個數中的最大者 return 0;}int max(int a,int b,int c) //函數定義{ if(b>a) a=b; if(c>a) a=c; return a;}運行情況如下: