在C++中我們應(yīng)該少用指針，多用引用，原因請(qǐng)大家自行搜索。在傳遞數(shù)組的時(shí)候我們需要格外注意，先讓我們看一個(gè)簡(jiǎn)單的范例。
// PassArray.cpp : 定義控制臺(tái)應(yīng)用程序的入口點(diǎn)。
//
#include "stdafx.h"
#include <iostream>
using namespace std;
template <typename T>
void Func1(T, T);
template <typename T>
void Func2(T&, T&);
void Func3(int (&)[10], int (&)[12]);
int _tmain(int argc, _TCHAR* argv[])
{
int a[10], b[12];
Func1(a, b);
Func2(a, b);
Func3(a, b);
return 0;
}
template <typename T>
void Func1(T, T)
{
cout<<"Func1.invoked!"<<endl;
}
template <typename T>
void Func2(T&, T&)
{
cout<<"Func2.invoked!"<<endl;
}
void Func3(int (&m)[10], int (&n)[12])
{
cout<<"Func3.invoked!"<<endl;
}
首先這個(gè)范例無法編譯通過：
原因就出在類型推斷上。根據(jù)定義，F(xiàn)unc2的類型必須是T&，也就是說傳遞實(shí)參的時(shí)候，兩個(gè)形參必須是相同的，而這一點(diǎn)在模板編程中就會(huì)由編譯器來負(fù)責(zé)推斷。
Func1：
調(diào)用Func1(a, b)則推斷的類型分別是Func1(int*, int*)，調(diào)用函數(shù)將會(huì)自動(dòng)將數(shù)組的首地址指針作為實(shí)參進(jìn)行傳遞，因此類型推斷兩形參相同，編譯通過！
Func2：
調(diào)用Func2(a, b)因?yàn)槲覀兿Ｍ匆玫姆绞竭M(jìn)行實(shí)參傳遞，因此需要遵循這樣的規(guī)律：
（P208）如果形參是數(shù)組的引用，編譯器將不會(huì)將數(shù)組實(shí)參轉(zhuǎn)化為指針，而是傳遞數(shù)組引用的本身。在這種情況下，數(shù)組大小成為形參和實(shí)參類型的一部分。
所以推斷類型分別是Func2(int (&)[10], int (&)[12])，因?yàn)閕nt (&)[10] != int (&)[12]，所以與T == T相悖！自然也就編譯不過了！
Func3：
該函數(shù)是Func2的一個(gè)靜態(tài)表示，通過上面的解釋應(yīng)該很容易理解這個(gè)代碼了。