【正文】 。模板非類型參數表示該參數名代表了一個潛在的值，而該值代表了模板定義中的一個常量– 當函數模板被實例化時，非類型參數的值會被一個編譯時刻已知的常量值代替– 函數定義或聲明跟在模板參數表后template class Type, int sizeType min( const Type (amp。 ++i ) if ( r_array[i] min_val ) min_val = r_array[i]。for ( int i = 1。}// size 沒有指定 ——ok// size = 初始化表中的值的個數int ia[ ] = { 10, 7, 14, 3, 25 }。else std::cout !!ok: integer min() worked\n。return 0。 for ( int ix = 1。} 函數的遞歸? 直接或間接調用自己的函數被稱為遞歸函數（ recursive function）void up_and_down(int)。n。 //2return。當程序流程執(zhí)行到某一級遞歸的結尾處時，就會返回到其前一級繼續(xù)執(zhí)行。通常情況下，遞歸函數可以使用一個 if語句或其他類似語句以便當函數參數達到某個特定值時結束遞歸調用。return ans。return ans。}? 函數中使用了雙重遞歸。? 例如斐波納契數列的定義如下：第一個和第二個數都是 1，后續(xù)的每個數是前面兩項的和 long Fibonacci(int n){if(n2)return Fibonacci(n1)+ Fibonacci(n2)。if(n==0)ans=1。n1。 位于遞歸調用語句之后的語句與各級遞歸中的被調用函數具有相反的執(zhí)行次序。例子中第 1級調用的 n不同于第 2級調用的n，因此程序創(chuàng)建了 4個獨立的局部變量，名字都是 n，但分別具有不同的值，每一個變量的有效范圍只是它所在的那個函數，這次調用結束后變量也被清除，這一點與普通的函數調用是一樣的。 cout“LEVEL ” n “l(fā)ocation”amp。return 0。 ++ix ) if ( r_array[ix] min_val ) min_val = r_array[ix]。被實例化為下面的 min()的整型實例，這里 Type 被int ， size 被 5 取代int min( int (amp。if ( d != )std::cout ??oops: double min() failed\n。include iostreamint main(){ // 為 5 個 int 的數組實例化 min() // Type = int, size = 5int i = min( ia )。 ++i )if ( r_array[i] min_val )min_val = r_array[i]。}? 模板實例化：根據一組實際類型或值構造出獨立的函數? 下面是前面函數模板的實例化例子// 函數模板 min() 的定義// 有一個類型參數 Type 和一個非類型參數 sizetemplate typename Type, int sizeType min( Type (amp。 for ( int i = 1。}? 模板定義– 關鍵字 template 放在模板的定義與聲明的最前面，后面是用逗號分隔的模板參數表，用尖括號 括起來– 模板類型參數 由關鍵字 class 或 typename 后加一個標識符構成，它代表了一種類型template class GlorpGlorp min( Glorp a, Glorp b ) {return a b ? a : b。ia[size]) != amp。int elem_t = 0。}const int size = 10。// ok: double min( double, double )。}運行結果： elem_t : 5 expecting: 10? 函數模板提供了一種機制，通過它我們可以 保留函數定義和函數調用的語義 。ia[size]) != amp。int elem_t = 0。min( , )。所謂強類型是要求類型嚴格匹配 。 )。 )。Date amp。 // 錯誤 : 只有返回類型不同? 如果在兩個函數的參數表中只有缺省實參不同，則第二個聲明被視為第一個的重復聲明int max( int *ia, int sz )。void print( cons t string amp。void print( vectorint amp。int max( const matrix amp。 )。如果程序的邏輯要求返回多個值，那么可以將某些函數參數聲明為引用? 或者可以聲明一個函數的返回類型是一個可以包含一組返回值的類，或某一種容器類型? 函數重載 function overloading 允許多個函數共享同一個函數名，但是針對不同參數類型提供相同的一般性操作? 預定義的重載函數：1+2+? 如下定義一組 max()函數int i_max( int, int )。 // ...}為防止對引用返回值的無意修改，返回值應該被聲明為 constconst int amp。vi, int ix ) { return vi[ix]。// 將兩個 Matrix 對象的內容相加// 喔 ! 返回之后結果指向一個有問題的位置return result。m1, Matrix amp。}? 當聲明一個返回引用的函數時，應當知道下面兩個易犯的錯誤– 1 返回一個指向局部對象的引用。}– grow()把存儲在 val 中的值的拷貝返回到調用函數 ，但調用函數不能用任何方式修改 val? 一個函數可以被聲明為返回一個指針或一個引用。 只對第二個聲明是合法的，而如下調用f()。void f( ... )。void foo( ... )。 39。)cursor = screenInit( , , 39。39。39。cursor = screenInit(66, 256, 39。)cursor = screenInit(66)。 39。 39。? 所以把容器類型的參數聲明為引用參數比較好。 i != ()1 )cout , 。 i )cout \n\t。for ( int i = 0。因此，使用容器類型作函數參數時無需提供其長度。}cout \n。for ( int i = 0。 // 錯誤 : 實參不是 10 個 int 的數組 return 0。arr)[10] )。}cout \n。 // 一行滿了cout ia[ i ]。 i sz。}include iostreamconst lineLength = 12。putValues( amp。 潛在的運行錯