在平时,我们经常会遇到将整个数组作为函数参数的情况,一维数组的情况,就是用数组名当形参和实参,传递的是数组的首地址。二维数组我们用的也很多,但是总是有各种问题,今天我总结一下
有个很重要的一点,字符串“China”在编译器眼里就是一个地址!操作字符串是通过它在内存中的存储单元的首地址进行的,这是字符串的终极本质
如果 "China", 存储在内存中的 0x3000 0x3001 0x3002 0x3003 0x3004 0x3005 .
s = "China" ,赋值了什么,地址。
其实真正的意义是 s ="China" = 0x3000;
首先我们从指针的角度重新认识下二维数组,int a[3][4],这里的a是一个行指针,指向的是二维数组的行首,a+1指向的是第二行,指的是a[1],它的类型是int(*)[4]。a[i]是一个元素指针,比如a[0]是第1行的一维数组的数组名,指向的是a[0][0],a[0]+1指向的是a[0][1]。它的类型是int*。
int (*p)[4],这个时候p和a是等价的,因为都是行指针,类型都是int(*)[4]。
(1)二维数组指定行数列数作为形参,实参是二维数组名
void f(int a[3][4]); void f(int a[][4]); void f(int (*a)[4]);
上述三种都是等价的。但是不能省略数组的列数,因为实参传递的是二维数组的起始地址,主要原因是二维数组在栈内分配的内存是连续的,它的每一行都有相同的元素,这样,a[i][j] 和 *(*(a +i) +j)是一样的,程序是知道array+i的i实际上偏移了i*N个单位,这也导致了在二维数组array[3][3]中,使用下标array[2][1]和array[1][4]是访问的同一个元素,尽管后者的下标对于一个3*3矩阵来说是非法的,但这并不影响访问。省略了列数,内存不知道如何存放二维数组了。
缺点:该方式的缺点是,必须事先固定数组的行数列数,不太方便。如果我的数组事先不知道多大,这种方法就不适合了。
(2)二维数组看成一维数组访问,实参的形式有两种,但都是int* 型,一种是*a,一种是a[0],都指向的是一维数组的第一个元素
int a[2][2] = {2,3,4,5}; //4个元素时连续排列的内存段 //void f(int p[][2], int row, int col )//这种方式必须事先知道除第一维以外的维度的大小,不灵活 void f(int *p , int row, int col )//转化为一维数组来访问 { for(int i = 0; i < row; i++) { for(int j =0 ;j < col; j++) { cout<<p[i*col+j]<<" "; } } cout<<endl; }
在被调函数中,寻址的方式可以是程序中的方式,也可以是*(p+i*col+j)的方式。
这里int** p =a;是错误的,因为p是int** 型,而a是int(*)[2]的。
解释下原因:(1)类型不同是很明显的(2)从指向的角度来说,a表示的是数组中a[0]的地址,也就相当于a[0][0]的地址,如果p=a的话,p也代表a[0][0]的地址,*p代表的是a[0][0]本身的值,**p访问的是地址为a[0][0](这里等于2)的内存空间,这是不允许的。
但是有一种情况就可以这么赋值
char *a[2]={"hello","world"}; char** p=a;
这些定义中a的类型不是int(*)[2],而是int* 了(按上述说应该是char*),p=a的话,*p=a[0],所以a代表的数组首地址,即a[0]的地址。*p也就是a[0]中存放的是"hello"的首地址,**p也就表示的是'h'了。这是合法的。
(3)二维数组通过二级指针传递,实参必须为指针
void subfun(int n, char **subargs) { int i; for (i = 0; i < n; i++) { printf("subargs[%d] = %s\n", i, subargs[i]); } } void main() { char *a[3]; char args[][5] = {"abc", "def", "ghi"}; a[0] = args[0]; //equals with a[0] = &args[0][0]; a[1] = args[1]; a[2] = args[2]; subfun(3, a); //若此处为subfun(3, args);则会编译出错 }
void print(float **tab,int rows,int cols) { for(int i=0;i<rows;i++){ for(int j=0;j<cols;j++){ cout<<tab[i][j]<<" "; } cout<<endl; } } int main() { float ta[2][3]={{1.0,2.0,3.0},{4.0,5.0,6.0}}; float **p=new float *[2];//开辟行空间 for(int i=0;i<3;i++) p[i]=new float[i];//开辟列空间 for(int i=0;i<2;i++){ //赋值 for(int j=0;j<3;j++){ p[i][j]=ta[i][j]; } } cout<<"ta: "<<endl; print(p,2,3);//打印 //p的内存释放方式 for(int i=0;i<3;i++) delete[]p[i]; delete []p; return 0; }
其实上述两个程序是相同的处理方式,都是又额外申请了一段二级指针指向的内存,然后把数组值拷贝到这一块内存中,用完后必须手动释放内存。这样就可以和被调函数的二级指针对应上了。
另外还有一种强制转换的传参方式。
实参传递:
int a[3][4]; f((int **)a,3,4);
这样在被调用数组中对对元素a[i][j]的访问可以使用如下形式:
*((int *)a+n*i+j);
注意不能使用a[i][j]来直接访问,因为编译器无法为其定位。
这里会有寻址方式的改变,比如什么时候下标寻址,什么时候只能指针寻址,暂时我没有找到权威的解答,先不说了。以后补充。