数组与指针

问题一、如何使用数组参数

如果一个函数以一维数组为参数，我们可以这样声明这个函数
可以声明这个函数为：

void Fun(int a[]);
void Fun(int *a);
void Fun(int a[2]);

这三种形式是等价的，在使用数组做参数时，编译器会自动将数组名转换为指向数组第一个元素的指针。
原因要从参数的传递方式说起，参数有三种传递的方式，分别为：按值传递，按指针传递，按引用传递。

void test（int a)
void test (int *a)
void test(int &a)

第一种方式传递的是a的一个副本
第二种方式传递的是指向a的指针的一个副本
第三种方式传递的是指向a的引用的一个副本
既然都是副本,那么就存在拷贝到过程，但是，数组是不能直接拷贝的，也就是不能像下面这样

int a[3] = {1, 2, 3} ;
int b ; // error
int b[3] ;
b = a ; // error

不能用一个数组初始化另一个数组，也不能将一个数组直接赋值给另外一个数组，如果想复制数组，唯一的办法就是逐个元素复制。

int a[3] = {1, 2, 3} ;
int b[3] ;
for (int i = 0; i < 3; ++i)
{
b[i] = a[i] ;
}

既然数组不能拷贝，那么参数该如何传递呢？于是编译器就将数组名转换成了指向第一个元素的指针，指针是可以拷贝的。但是这也引发了另外一个问题。我们无法只通过数组名得知数组元素的个数。看下面的代码

void Test(int a[3])
{
for (int i = 0; i < 5; ++i)
{
cout << a[i] << endl ;
}
}

明明只传递了三个元素的数组，为什么输出5个元素？前面已经说了，数组被转换成了指向第一个元素的指针，所以上面的代码和下面的相同

void Test(int* a) //我只知道a是个指针，根本不知道a指向多少个元素
{
for (int i = 0; i < 5; ++i)
{
cout << a[i] << endl ;
}
}

编译器根本不知奥数组a有多少个元素，它甚至不知道a是数组！如何解决呢，一种办法是再加一个参数，指定元素个数

void Test(int* a, int n)
{
   for (int i = 0; i < n; ++i)
   {
      cout << a[i] << endl ;
   }
}

另外一种办法是传递数组的引用，这才是本文的重点，唉，前面这么多废话：

void Test(int (&a)[3])
{
for (int i = 0; i < 3; ++i)
{
cout << a[i] << endl ;
}
}

这样写数组a就不会被转换为指针了，而且有了元素个数的信息，调用的时候，也必须传递一个含有3个元素的数组

int a[3] = {1, 2, 3} ;
Test(a) ; // ok
int b[1] = {1} ;
Test(b) ; // error, can not convert parameter a from int[1] to int(&)[3]
And that’s all, Happy coding!

例子：

#include<iostream>

using namespace std;

int sum(int ap[], int n)
{
	int m = 0;
	for (int i = 0;i < n;i++)
	{
		m += ap[i];
			
	}
	return m;
}

void main()
{
	int a[10] = {0, 1，2,3,4,5,6,7,8,9};
	std::cout << "sum=" << sum(a, 2) << endl;
}