二维数组作为函数参数深度详解


       前几天和同学讨论数组作为函数参数，感觉各种困惑。花了一些时间在网上查看了一些资料，并加上自己的理解。记录一下！

一. 指向指针的指针和指向数组的指针

       很多人以为“指向数组的指针”就是“指向指针的指针”，于是有人写这样的代码：

      int a[3][4];

      int **p = a; //错误 
     

      数组实际类型是int
[3][4]，在作为右值时可以被转化为int (*)[4]，它们都和int **不同，自然不可用。

那么，你要用一个指针来指向a，就要用一个能表示 " 数组 ” 的指针，以下代码是正确的：int
(*p)[4] = a; p是指向一维数组的指针，并且这个一维数组有4个元素。
      a[0][0] 需要一个指向整型的指针 ：int *p = &a[0][0];
      a[0]     需要一个指向数组的指针 ：int (*p)[4] = &a[0]; ( 同 int (*p)[4] =  a ,
                                                                                      [4]不能少，因为指向数组的指针必须知道他所指向的数组的维度 )
      a         需要一个指向数组的数组的指针，即指向二维数组的指针： int (*p)[3][4] = &a;

测试：
 

int a[3][4];

int (*p1)[4] = a;

int (*p2)[3][4] = &a;

cout<<a<<endl;

cout<<p1+1<<endl;

cout<<p2+1<<endl;

输出：
   

从结果可以看出p1+1偏移了一行的长度，p2+1偏移了整个数组的长度。

 二. 二维数组作为函数参数

数组做为形参时，退化为指针

三维数组，退化为指向二维数组的指针

二维数组，退化为指向一维数组的指针

一维数组，退化为指向类型(如int)的指针

1，这种方式形参为一级指针，即指向整型的指针，这个简单。
int func(int *array, int m, int n) {
 int i,j;
 cout<<sizeof(array)<<endl;
cout<<sizeof(array[0])<<endl;
 for(i=0;i<m;i++) {
  for(j=0;j<n;j++)
   printf("\t%d", *(array +i*n +j));
  printf("\n");
 }
 return 0;
}
 return 0;
}
int main(int argc,char** argv)
{

 int m=3,n=3,i;
 int array[][3] = {{1,2,3},{4,5,6},{7,8,9}};
 func(*array,m,n); //或者func2((int
*)array,m,n);
 int b[2][3];
 return 0;
}
输出：



2. 这种方式是实参转化为指向数组的指针 （即: (int*)[]）

int func(int array[][3], int m, int n) {
 int i,j;
 cout<<sizeof(array)<<endl;
 cout<<sizeof(array[0])<<endl;//输出每一行的大小

 for(i=0;i<m;i++) {
  for(j=0;j<n;j++)
   printf("\t%d", array[i][j]);
  printf("\n");
 }
 return 0;
}
int main(int argc,char** argv) {
 int m=3,n=3,i;
 int array[][3] = {{1,2,3},{4,5,6},{7,8,9}};
 func(array,m,n);
 return 0;
}

输出：



3. 一种错误的方式：
int func1(int **array, int m, int n) {
 int i,j;
 cout<<sizeof(array)<<endl;
 for(i=0;i<m;i++) {
  for(j=0;j<n;j++)
   printf("\t%d", *(*array +i*n +j));
  printf("\n");
 }
 return 0;
}
int main(int argc,char** argv) {
 int m=3,n=3,i;
 int array[][3] = {{1,2,3},{4,5,6},{7,8,9}};
 func1((int **)array,m,n);
 return 0;
}
如前所述，数组array[3][3]作为右值的时候会转化为(int *)[3]，若不加强制转换代码是不能编译通过的。
加了以后虽然编译不错，但是运行的时候有非法内存访问。下面详细解析一下这一代码：*(*array
+i*n +j) 
    当 i=0, j=0时:
*array, 实际上就是取了array这个地址所存的内容，当然就是数组的第一个元素" 1 ",  从而 *array
+i*n +j = 1;
对地址1来解引用还报内存错误吗？

4. 数组的引用作为函数的参数

形参用引用，形式上和指针作为参数差不多，但是可以在函数里面通过sizeof计算数组的大小，

void Test( int (&array)[2][3] )
{
 cout << sizeof(array) << endl;
}

int main(int argc,char** argv) {
 
 int b[2][3];
 Test(b);
 return 0;
}
输出：



参考：

http://blog.sina.com.cn/s/blog_4c3b679a0100e2xb.html

http://www.cnblogs.com/fickleness/p/3148983.html

http://www.cnblogs.com/wuyuegb2312/archive/2013/06/14/3135277.html