深刻解析C++中的函數模板和函數的默許參數。本站提示廣大學習愛好者：（深刻解析C++中的函數模板和函數的默許參數）文章只能為提供參考，不一定能成為您想要的結果。以下是深刻解析C++中的函數模板和函數的默許參數正文
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;
}
運轉情形以下:
14 -56 135↙ max(a,b,c)=135 max(a,b)=14
在應用帶有默許參數的函數時有兩點要留意：
假如函數的界說在函數挪用之前，則應在函數界說中給出默許值。假如函數的界說在函數挪用以後，則在函數挪用之前須要有函數聲明，此時必需在函數聲明中給出默許值，在函數界說時可以不給出默許值(如例4.8)。
一個函數不克不及既作為重載函數，又作為有默許參數的函數。由於當挪用函數時假如少寫一個參數，體系沒法剖斷是應用重載函數照樣應用默許參數的函數，湧現二義性，體系沒法履行。
