函数模板中的参数引用问题

看下面两个例子：

#include <cstdlib>
#include <iostream>
using namespace std;
template <typename T1>
void fun(T1 t[5])
{
	cout<<t[6]<<endl;
}

int main()
{
	int ia[]={1,2,3,4,5};
	fun(ia);
	return 0;
}

#include <cstdlib>
#include <iostream>
using namespace std;
template <typename T,int size>
int func(T ary[size],T var)//为什么一定是引用
{
	for (int i=0;i<size;i++)
	{
		if (var==ary[i])
		{
			return i;
		}
	}
	return -1;
}

int main()
{
	cout<<"====实例化模板===="<<endl;
	int ia[]={1,2,3,4,5};
	cout<<"整数3的位置是："<<func(ia[5],3)<<endl;
}

仔细比较两个程序的源代码，你会问都是用模板函数来实现，而且参数列表中都是数组的传递啊，为什么第一个能运行，第二个不能运行？

首先我们知道都是数组的传递，而且实参都是复制传递，传递过去的实参是什么？是指针，对，但仅仅只是指针而已。形参列表中数组分别是：T1 t [5]和T t [size]，我们可以看到这两个形参的区别就在于中括号的的size和5，size是什么，是用来根据传递的实参来判断数组长度的非类型参数，你只传一个指针给我，谁知道你的数组长度呢？当然就不能编译通过啦。而第一个实例中，我并不需要知道数组的长度，我只要一个地址就好了，你给我一个地址我就能完成函数的功能了，从运行的结果来看，形参是个5个长度大小的数组，却能打印出数组中第七个值，这说明什么？说明形参只要得到一个地址，根据地址慢慢往后推算，就能得到第七个值了。

那么怎么样解决第二个程序中的问题呢？将形参中的T ary[size]改成T (&ary)[size]就好了，说明它是一个引用，可以直接对实参操作，而不是操作实参的副本，这样一来，形参就知道了，哦，你实参原来是一个数组，那么我就把你的大小获取了，成功通过编译。