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



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

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

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

      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