数组的数组"、"数组的指针"、"指针的数组"和"指针的指针"的关系

<<Expert C Programming>>第9、10两章讲到数组和指针，这里就数组的数组、数组的指针、指针的数组和指针的指针的关系做个总结。

 

1.概念

C语言中的二维数组即数组的数组,eg: char a[2][3] ;

数组的指针即数组指针,eg: char (*a)[3];a是指向一个二维数组的指针

指针的数组即指针数组,eg: char *a[3]; a是一维数组，里面的类型是char*

指针的指针即二维指针,eg: char **a;

2.关系

2.1 在表达式中，数组名可以被改写成指针，改写的规则是：数组“最里面一层”的下标改成“*”；在表达式中，指针不能改写为数组名。

数组的数组可以赋给数组的指针；eg: char a[2][3]; char (*a1)[3] = a;

指针的数组可以赋给指针的指针；eg: char *a[3]; char **a1=a;

2.2 当"数组的数组"、"数组的指针"、"指针的数组"和"指针的指针"这四种类型作为函数的形参时，情况有所不同：

当函数的形参是“数组的数组”时，实参可以是"数组的数组"或者"数组的指针" ；

当函数的形参是“数组的指针”时，实参可以是"数组的数组"或者"数组的指针" ；

当函数的形参是“指针的数组”时，实参可以是"指针的数组"或者"指针的指针" ；

当函数的形参是“指针的指针”时，实参可以是"指针的数组"或者"指针的指针" ；

也就是说：数组的数组和数组的指针可以双向改写， "指针的数组"或者"指针的指针" 可以双向改写，原因是：当数组出现在函数形参中时，数组名就是指向数组第一个元素的指针。

3.测试用例

#include<stdio.h>void fun_1(char c[][10]) //等价于void fun_1(char c[3][10]){for(int i=0;i<3;++i)printf("%s,",&c[i]);printf("/n");}void fun_2(char *c[10]){for(int i=0;i<3;++i)printf("%s,",c[i]);printf("/n");}void fun_3(char (*c)[10]){for(int i=0;i<3;++i)printf("%s,",&c[i]);printf("/n");}void fun_4(char **c){for(int i=0;i<3;++i)printf("%s,",c[i]);printf("/n");}int main(){char c[3][10] = {"hello","the","world"}; //数组的数组char *c1[10] = {"how","are","you"}; //指针的数组char (*c2)[10] = c; //从"数组的数组"到"数组的指针"char **c3 = c1; //从"指针的数组"到"指针的指针"//在表达式中不存在从"指针"到"数组"的转换，下面的两条语句是错误的// char c4[3][10] = c2; // char *c5[10] = c3;//测试函数形参和实参的匹配//结论是：char c[][]和char (*c)[]完全匹配(即：只要形参和实参可以使它们中的任何一个，就可以匹配)； // char **c和char *c[]完全匹配//上面结论的意思是：在函数传递中，存在从"指针"到"数组"的转换//这个结论的原因是：当数组出现在函数形参中时，数组名就是指向数组第一个元素的指针printf("####### test 1 #########/n");fun_1(c);// fun_2(c); //错误fun_3(c);// fun_4(c); //错误printf("/n####### test 2 #########/n");// fun_1(c1); //错误 fun_2(c1);// fun_3(c1); //错误 fun_4(c1);printf("/n####### test 3 #########/n");fun_1(c2);// fun_2(c2); //错误fun_3(c2);// fun_4(c2); //错误printf("/n####### test 4 #########/n");// fun_1(c3); //错误 fun_2(c3);// fun_3(c3); fun_4(c3); //错误return 0;}