由来: 我们在学习C语言的时候, 经常会写这样的程序: void Func1(int *p) { } void Func2(int a[]) { } int main() { int a[10]; Func1(a); int *p; Func2(p); } 即一维数组与指针作为函数参数的互换使用, 我们可以一眼看出这个程序是可以通过编译的. a是数组a[10]第一个元素的地址, 作为参数传递到函数中去, 接收方是*p, 在函数中可以使用*p, 或者p[0]来访问元素. 看起来数组和指针可以这样互换着使用, 编译器会把它们编译成一样的东西. 问题的提出: 再来看下面的代码, 为什么这些代码会报错? void Func1(int (*p)[10]) { } void Func2(int (*p)[]) { } void Func3(int **p) { } int main() { int a[10][10]; int **p; Func1(a); //Pass Func2(a); //Error1 Func3(a); //Error2 Func1(p); //Error3 Func2(p); //Error4 Func3(p); //Pass } 分析: 当把a作为参数传给函数时候, a代表的是"指向数组的指针", 该数组一共有10个int型的元素. a本身确实是一个指针, 但是这个指针是指向数组的, 不是指向"数组的首元素". 接收方也需要是此类型, int (*p)[10]表示p这个指针是指向数组, 该数组有10个int元素, 跟传入参数形式一致, 因此pass. Error1和Error2自然就是因为不匹配. 当把p作为参数传给函数的时候, p代表的是"指向指针的指针", 也叫做双重指针, 所以接收的时候int **p类型相匹配, pass. 小结: 一维数组和指针可以互换使用, 这是由于编译器帮我们规定了数组名=首元素的地址, 我们才能够这样用. 因此不要以为二维数组和双重指针也可以用类似的方法来互换使用. 这当然不会是本文的最终目的. 我要说明的是, 当我们非得将**p和a[][]这样的形式混用时, 我们应该怎么做. 作为参数时: 看下面的程序: void Func4(int *p[]) { } int main() { int **p; Func4(p); //Pass } 这次我们可以将**p送给*p[], 原因在于: *p[]表示一个指针数组, p就是这个指针数组的数组名, 也就是第一个元素(这个元素是指针)的地址, 说白了, 就是指针的地址. 当然, 作为形式参数, p这里就是一个变量, 即从"地址", 变成了"指针"(变量), 所以送过来的p是双重指针, 接收的p还是双重指针, 当然可以编译通过, 这又是编译器玩的一个花样. 可以看出, 这个过程其实我们还是没有摆脱上面所说的, 编译器帮我们规定了数组名=首元素的地址. 在函数内使用时: 看下面的程序: #include <iostream> using namespace std; void Func1(int **c, int a, int b) { cout<<c[0][0]<<endl; cout<<c[1][0]<<endl; } void main () { int i; int *a = new int[2*3]; int **p = &a; for(i=0; i<2*3; i++) { a[i] = i; } Func1(p, 2, 3); } 编译运行, 如果你像我一样运气好的话, 程序不会崩溃, 你会得到一组数字: 0 3436320 如果定义a[2][3]这样的二维数组, 我们在使用的时候编译器会将a[x][y]采用形如p+3*x+y的寻址方式, 因为编译器知道我们的一行是3个元素. 在Func1函数里, 传入的是双重指针, 接收的是**p也是双重指针, 可是使用的时候呢? 上面的是错误的示例, 因为在函数内部编译器不知道你这个数组是几行几列的. 它没法将c[x][y]转换成p+3*x+y的寻址方式. 所以我需要同时传入两个额外的参数a和b来表示数组的行列, 在使用的时候我就可以手动将c[x][y]转换成p+a*x+y, 再加上取值符号就可以取出正确的值: *(p+a*x+y) 实际上如果你使用c[x][y]这样的形式(如上面的程序), 编译器不会报错, 但是你运行的时候, 就有很大的几率崩溃, 因为编译器将行列错误的进行了解析. 这时编译器是这样编译的: 它取出c[x]作为行的首地址, 再加上y. 由于c[0]一定是传入数组的首地址, 所以c[0][y]这样的访问都是OK的, 只要你不越界. c[1]我们就不知道是个什么东西了, c[1][y]这样的访问就是一个随机数, 当访问到无法访问的地方时, 程序就会崩溃. 最后的总结: 1. 一维数组和指针可以比较简单的互换使用 2. 二维数组和双重指针尽量不要互换使用, 除非你真的知道这些底层的编译原理, 并且有十分的把握
评论