数组形参

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

void func(int* a) ;
void func(int a[]) ;
void func(int a[3]) ;

实际上，这三种形式是等价的，在使用数组做参数时，编译器会自动将数组名转换为指向数组第一个元素的指针，为什么呢？这要从参数的传递方式说起，参数有三种传递方式，按值传递，按指针传递，按引用传递，分别如下

void Test(int a) ;
void Test(int* a) ;
void Test(int& a) ;

第一种方式传递的是a的一个副本

第二种方式传递的是指向a的指针的一个副本

第三种方式传递的是指向a的引用的一个副本

既然都是副本,那么就存在拷贝到过程，但是，数组是不能直接拷贝的，也就是不能像下面这样

int a[3] = {1, 2, 3} ;
int b[](a) ;    // 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]

定义数组的引用：
        类型名 （&变量明）[N]；
        
实例：
        int int_array[10];
        int (&int_ref)[10] = int_array;
        这样就得到了一个数组的应用

        在函数的声明中用数组的引用定义，就不怕数组退化了。如下
        for_each( int (&int_ref)[10] )
        {
                 for( int i=0; i<10; ++i )
                         std::cout << int_ref[i] << std::endl;
         }

         int main( int argc, char* argv[] )
         {
                 int int_array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }
         
                 for_each( int_array );
                 return 0;
          }

          在上面的代码中，如果你传入不是10个元素的数组，是编译通不过的。代码的安全性提高了。