C++中二维数组作为函数参数

在平时,我们经常会遇到将整个数组作为函数参数的情况,一维数组的情况,就是用数组名当形参和实参,传递的是数组的首地址。二维数组我们用的也很多,但是总是有各种问题,今天我总结一下

有个很重要的一点,字符串“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]来直接访问,因为编译器无法为其定位。

这里会有寻址方式的改变,比如什么时候下标寻址,什么时候只能指针寻址,暂时我没有找到权威的解答,先不说了。以后补充。

猜你喜欢

转载自www.cnblogs.com/mini-coconut/p/9286399.html