首先看一段代码:
void test(int *p)
{
}
int main()
{
int arr[]= {
30, 450,14,5};
test(arr);
return 0;
}
毫无疑问，上面这段代码是运行OK的。因为C语言标准中有以下规则:在函数参数的声明中，数组名被编译器当作指向该数组第一个元素的指针。
第一种错误
那下面这段代码，会正确运行吗
#include <stdlib.h>
void test(int **p)
{
}
int main()
{
int arr[]={
30,450,14,5};
test(&arr);
return 0;
}
可能有的同学认为这段代码是正确的，因为数组作为函数参数时退化成一个指针，那么我对数组进行取址，这样&arr就是一个二维指针了，所以可以作为函数test的入参。
这个理由貌似有道理，但很遗憾，这段代码会报编译错误:
main.c:3:17: note: expected 'int **' but argument is of type 'int (*)[4]'
void test(int **p)
~~~~~~^
这个错误是说，test函数期望的入参类型是int **。但是实际传入的参数类型是 int (*)[4]，即实际传入的类型是指向数组的指针。
C语言标准中是定义了：在函数参数的声明中，数组名被编译器当作指向该数组第一个元素的指针。但是你不能因为数组在函数参数中当成一个指针，你对数组名取地址&arr就认为它的类型就是指向指针的指针(int **)，这样以为是错的，因为不具备这样的传递性。C语言规范中只规定了数组名作为函数的入参时会被当做一个指针，但是并没有规定对数组取地址会被当成指向指针的指针。
根据上面代码的报错信息提示，将不能编译通过的代码片段作一个小的修改，就会编译通过了:
#include <stdlib.h>
#include <stdio.h>
void test(int (*p)[4])
{
(*p)[2] = 10;
}
int main()
{
int arr[] = {
30, 450, 14, 5};
test(&arr);
printf("%d\n", arr[2]);
return 0;
}
输出: 10
但其实上面的这种用法非常的怪。至少我在平时的工作中没遇到过这样的写法。这个函数的意图是改变数组的某个元素的内容。那下面的这种写法更加清晰和常见：
void test(int *p)
{
p[2] = 10;
}
int main()
{
int arr[] = {
30, 450, 14, 5};
test(arr);
printf("%d\n", arr[2]);
return 0;
}
第二种错误
这种错误就是我之前在工作中犯的，从而导致出现异常的。
假如有一段代码:
#include <stdlib.h>
#include <stdio.h>
void foo(int **arr, int m, int n)
{
int i,j;
for (i = 0; i < m; i++) {
for (j = 0; j < n; j++) {
printf("%d ", arr[i][j]);
}
printf("\n");
}
}
int **alloc_2d(int m, int n)
{
int **arr = malloc(m * sizeof(*arr));
int i;
for (i = 0; i < m; i++) {
arr[i] = malloc(n * sizeof(**arr));
}
return arr;
}
int main()
{
int **joe = alloc_2d(2, 3);
joe[0][0] = 1;
joe[0][1] = 2;
joe[0][2] = 3;
joe[1][0] = 4;
joe[1][1] = 5;
joe[1][2] = 6;
return 0;
}
上面的代码至此还是能正常工作的。
现在，我想用函数foo来打印一个二维的数组，那我能用下面的这段代码吗?
int moe[2][3];
moe[0][0] = 1;
moe[0][1] = 2;
moe[0][2] = 3;
moe[1][0] = 4;
moe[1][1] = 5;
moe[1][2] = 6;
foo(moe, 2, 3);
很遗憾，这段代码同样会报编译错误:
ain.c:42:9: warning: passing argument 1 of 'foo' from incompatible pointer type [-Wincompatible-pointer-types]
foo(moe, 2, 3);
^~~
main.c:3:16: note: expected 'int **' but argument is of type 'int (*)[3]'
void foo(int **arr, int m, int n)
将二维数组作为入参传入foo函数的原因可能是错误的认为二维数组就是二维指针。为什么会这么想呢？我以前的一个思考过程是这样的：一维数组作为函数参数的时候，编译器会把数组名当作指向该数组第一个元素的指针。所以我想当然的以为：既然一维数组和一维指针在函数参数中等价，那二维数组应该就等价于二维指针。
但是很遗憾，二维数组作为函数参数并等价于二维指针。因为数组作为函数参数时转换为指针没有传递性。也就是说你不能认为一维数组和一维指针作为函数参数等价，就认为二维数组和二维指针就等价了。在C语言中没有这样的传递性。
其实仔细想想，也是很容易明白的。二维数组其实就是一个数组的数组(即它是一个一维数组，只不过它的每个元素又都是一个一维数组)。当二维数组作为函数入参时，比如 int a[3][4]; 它的第一维数组会被转换成指针，相当于是传入了一个指向数组的指针。即作为函数参数， int a[3][4]和 int (*p)[4]等价。那 int (*p)[4]和 int **pp等价吗？肯定不等价， p指针指向类型是 int [4]，而pp指向的类型是int *。
那有什么办法能让上面的foo函数编译通过呢？
最直接的方式是将二维数组作为函数的参数传入:
void foo(int arr[2][3], int m, int n)
{
}
事实上,上面的第一维的参数可以去掉：
void foo(int arr[][3], int m, int n)
{
}
上面也分析了，二维数组作为函数入参和 int (*p)[3]等价，所以也可以写成下面的形式:
void foo(int (*p)[3], int m, int n)
{
}
总结
上面说了2维数组作为函数参数的情况，那3维数组呢？
和二维一样：首先将类似三维数组arr[2][3][4]传入到 int ***类型的函数参数是错误的。但是可以将这个三维数组传入到参数类型为 int arr[][3][4]或者 int (*arr)[3][4]的函数中。
“数组名被改写成一个指针参数"规则并不是递归定义的(没有传递性)。数组的数组会被改写为"数组的指针”，而不是"指针的指针"。
图片
你之所以能在main()函数中看到char **argv这样的参数，是因为argv是个指针数组(即 char *argv[])。这个表达式被编译器改写为指向数组第一个元素的指针，也就是一个指向指针的指针。如果argv参数事实上被声明为一个数组的数组(也就是char argv[10][5]), 它将被编译器改写为 char (*argv)[15],也就是一个字符数组的指针，而不是char **argv。