在C++中我們應該少用指針，多用引用，原因請大家自行搜索。在傳遞數組的時候我們需要格外注意，先讓我們看一個簡單的范例。
// PassArray.cpp : 定義控制臺應用程序的入口點。
//
#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;
}
首先這個范例無法編譯通過：
原因就出在類型推斷上。根據定義，Func2的類型必須是T&，也就是說傳遞實參的時候，兩個形參必須是相同的，而這一點在模板編程中就會由編譯器來負責推斷。
Func1：
調用Func1(a, b)則推斷的類型分別是Func1(int*, int*)，調用函數將會自動將數組的首地址指針作為實參進行傳遞，因此類型推斷兩形參相同，編譯通過！
Func2：
調用Func2(a, b)因為我們希望按引用的方式進行實參傳遞，因此需要遵循這樣的規律：
（P208）如果形參是數組的引用，編譯器將不會將數組實參轉化為指針，而是傳遞數組引用的本身。在這種情況下，數組大小成為形參和實參類型的一部分。
所以推斷類型分別是Func2(int (&)[10], int (&)[12])，因為int (&)[10] != int (&)[12]，所以與T == T相悖！自然也就編譯不過了！
Func3：
該函數是Func2的一個靜態表示，通過上面的解釋應該很容易理解這個代碼了。