前几天和同学讨论数组作为函数参数，感觉各种困惑。花了一些时间在网上查看了一些资料，并加上自己的理解。记录一下！
一. 指向指针的指针和指向数组的指针
很多人以为“指向数组的指针”就是“指向指针的指针”，于是有人写这样的代码：
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