指针与数组


二级指针与二维数组

char *string[] ={"abc","abcd","acf"};
char string[3][4]={"abc","abcd","acf"};
`
首先一点的是,虽然二维数组的数组名可以看做是一个指针,但是并不能将二维数组的数组名赋值给一个二级指针,也就是如下的代码

int main(void)
{
    int arr[3][3] = {{1,2,3},{4,5,6},{7,8,9}};
    int **p = arr;
    return 0;
}

上面的代码在执行的时候会报错,这是因为两者数据类型是不相同的,所以不能赋值。
二维数组的数组名指向的是一维数组,也就是指向数组类型,但是二级指针指向的是一级指针,也就是指针类型,所以两者不能互相赋值。

下面详细介绍指针与二维数组的关系
声明一个二维数组

int a[3][4] = {{1,2,3,4},{5,6,7,8},{9,10,11,12}};
for (i=0;i<3;i++)
    {   for(j=0;j<4;j++)
        printf("%p ->%d\n",&arr[i][j],arr[i][j]);
    }
000000000062FE10 ->1
000000000062FE14 ->2
000000000062FE18 ->3
000000000062FE1C ->4
000000000062FE20 ->5
000000000062FE24 ->6
000000000062FE28 ->7
000000000062FE2C ->8
000000000062FE30 ->9
000000000062FE34 ->10
000000000062FE38 ->11
000000000062FE3C ->12

二维数组a可以看成是由a[0],a1,a[2]三个元素组成的一维数组,a是其数组名;a[0],a1,a[2]又都是一维数组,其数组名分别是a[0],a1,a[2],a[0],a1,a[2]分别表示各自数组的首个元素的地址。

arr[0]=000000000062FE00 ->1
arr[1]=000000000062FE10 ->5
arr[2]=000000000062FE20 ->9

由于数组名就是指针,故a[0],a1,a[2]为一级指针,其类型为int。a是由三个一级指针组成的数组。

那么a与a[0],a+1与a[0]+1的区别是什么?


指针与数组_第1张图片

a+1跨过了二维数组的一行,故a,a+1和a+2为行地址。
相对于a[0]而言,a[0]+1只跨过了二维数组的一个元素,故为列地址。
由此可以看出:
(1)a+i是第i行的地址,即*(a+i)=a[i]。因此a[i][j]等价于(*(a+i))[j];
(2)a[i]+j是第i行第j列的地址,因此*(a[i]+j)等价与a[i][j]。

上述等价关系总结如下:

a[i][j] ←→ (*(a+i))[j] ←→ *(a[i]+j) ←→ *(*(a+i)+j)

要想理解指针和二维数组之间的关系,就要首先弄清楚各种数组名所代表的元素。
数组名表示的是该数组首个元素的地址,即arr=&arr[0][0];

二维数组在内存中也是以一维数组的形式存储,只不过每个的一维数组的元素都是一维数组,因此二维数组名,可以将它看做是指向行数组的指针
对于二维数组的存储,是按照先行后列的形式排列的,把每一行看做是一个一位数组,那二维数组就是由多个一位数组组成的数组,即二维数组是数组的数组。

对于二维数组名,可以将它看做是指向行数组的指针,也就是说二维数组的元素是行数组,所以对于二维数组加减的变化是以行数组的大小为单位的,即arr指向arr[0]这个行数组,arr+1指向的是arr1这个行数组。对其进行解引用,得到的是每一行数组的首地址,即*arr表示的是第0行数组的首地址,和arr[0]相等,*(arr+1)表示的是第1行数组的首地址,和arr1是相等的。假如要取第1行第2个元素的地址,就是arr1+2,因为此时arr1代表的是一维数组,所以它的元素就是一个数字,在加减的时候移动的就是元素的大小,例如+1就表示该数组中第1个元素,+3就表示数组中的3个元素(以0开始)。因为
*(arr+1)和arr1相等,所以第1行第2个元素的地址也可以表示为*(arr+1)+2,对这个地址进行解引用,得到的就是数组元素的具体值,也就是((arr+1)+2)。
所以有如下公式,假如一个二维数组每行有N个元素,二维数组名是arr,那第i行第j个元素的地址是*(arr+i)+j,也可以表示为arr[i]+j。元素的值可以表示为*(*(arr+i)+j),或者可以表示为arr[i][j]。

对上述二维数组arr,虽然arr[0]、arr都是数组首地址,但二者指向的对象不同,arr[0]是一维数组的名字,它指向的是arr[0]数组的首元素,其值为arr[0]首个元素的地址,对其进行“*”运算,得到的是一个数组元素值,即arr[0]数组首元素值(本例arr[0]数组的首个元素值为1),因此,*arr[0]与arr[0][0]是同一个值。

而arr(可以看作arr+0)是一个二维数组的名字,它指向的是它所属元素的首元素,而二维数组的每一个元素都是一个维数组,因此arr指向二维数组arr的首个元素arr[0],对其进行*运算得到的是arr[0]的地址,而要想得到arr[0][0]的值,需要再进行一次*运算。

*arr=&arr[0];
**arr=*(&arr[0])=arr[0][0]
printf("arr=%p ->%d\n",arr,**arr); //两次解应用得到arr[0][0]
printf("*arr=%p->%d\n",*arr,**arr) ;
printf("arr[0]=%p ->%d\n",arr[0],*(arr[0]));   //arr[0][0]地址

printf("%p\n",&arr[0][0]); 
printf("%p\n",&arr[0]);
printf("%p\n",*(arr+2)+3);                     //&arr[2][3]
printf("%p\n",arr[2]+3);               
printf("%p ->%d\n",*(arr+2)+3,*(*(arr+2)+3));
printf("%p ->%d\n",&arr[2][3],arr[2][3]);
arr=000000000062FE00 ->1
*arr=000000000062FE00->1
arr[0]=000000000062FE00 ->1

000000000062FE00
000000000062FE00
000000000062FE2C
000000000062FE2C
000000000062FE2C ->12
000000000062FE2C ->12

因此,数组名最为指针时移动单位的是“行”,所以arr+i指向的是第i个行数组,即指向arr[i]。对arr进行“*”运算,得到的是一维数组arr[0]的首地址,即\arr与arr[0]是同一个值但指向类型不同通过(arr+1与arr[0]+1即能看出其不同)。当用int*p定义指针p时,p的指向是一个int型数据,对其进行加减操作,移动的是一个int型大小,而不是一个地址,因此,用arr[0]对p赋值是正确的,而用arr对p赋值是错误的。
使用数组指针对二级指针操作
而int (*ptr)[4],ptr表示一个指向4个int型数组的指针,对其进行加减操作,该变量为数组大小乘以数据类型大小。即ptr+1=&ptr+4*sizeof(int);
因而,int (*ptr)[4]可以使用arr来初始化,因为ptr是一个指向包含4个int型元素的数据,而arr指向其首个元素的地址,其首个元素又是一个包含4个int型数据的数据。

int (*ptr)[4]=arr;                              //  行地址
printf("arr=%p->%d\n",&arr[0][0],arr[0][0]);    //首元素地址
printf("ptr=%p->%d\n",ptr,**ptr);     
printf("ptr+1=%p->%d\n",ptr+1,**(ptr+1));       //行地址加一移动4个int型大小
printf("*(ptr+1)+1=%p->%d\n",*(ptr+1)+1,*(*(ptr+1)+1));  //
运行结果:
arr=000000000062FE00->1
ptr=000000000062FE00->1
ptr+1=000000000062FE10->5
*(ptr+1)+1=000000000062FE14->6

完整程序:

#include

int main()
{
 int i,j=0;
    int arr[3][4] = {{1,2,3,4},{5,6,7,8},{9,10,11,12}};
    //分别使用不同的形式打印第2行,第3个元素的值和地址
    //根据推到出来的规律如下
    //该元素的地址
    int  *p;                  // p+1 移动一个int 类型的大小  ,列地址
    arr+1 ;                   //移动一个int a[4] 类型的大小,行地址
   // p=arr;                    // 错误,类型不匹配
    p=*arr;                   // 合法,等同与p=*(a+0)
    p=arr[0];                 // 合法,arr[0]表示数组arr[0]的首个元素arr[0][0]地址.p=&arr[0][0]
        for(i=0;i<3;i++)
     printf("arr[%d]=%p ->%d\n",i,arr[i],*(arr[i]));
     
    int (*ptr)[4]=arr;
    printf("arr=%p->%d\n",&arr[0][0],arr[0][0]);
    printf("ptr=%p->%d\n",ptr,**ptr);
    printf("ptr+1=%p->%d\n",ptr+1,**(ptr+1));
     printf("*(ptr+1)+1=%p->%d\n",*(ptr+1)+1,*(*(ptr+1)+1));
    printf("arr=%p ->%d\n",arr,**arr); //两次解应用得到arr[0][0]
    printf("*arr=%p->%d\n",*arr,**arr) ;
    printf("arr[0]=%p ->%d\n",arr[0],*(arr[0]));   //arr[0][0]地址
    printf("\n");
    printf("%p\n",&arr[0][0]); 
    printf("%p\n",&arr[0]);
    printf("%p\n",*(arr+2)+3);              //&arr[2][3]
    printf("%p\n",arr[2]+3);               

    
    
    
    
    //该元素的值是12
    printf("%p ->%d\n",*(arr+2)+3,*(*(arr+2)+3));
    printf("%p ->%d\n",&arr[2][3],arr[2][3]);
     printf("\n");
   
    for (i=0;i<3;i++)
    {   for(j=0;j<4;j++)
        printf("%p ->%d\n",&arr[i][j],arr[i][j]);
    }
    return 0;
}

执行结果如下:

ptr=000000000062FE00->1
ptr+1=000000000062FE10->5
*(ptr+1)+1=000000000062FE14->6
arr=000000000062FE00 ->1
*arr=000000000062FE00->1
arr[0]=000000000062FE00 ->1

000000000062FE00
000000000062FE00
000000000062FE2C
000000000062FE2C
000000000062FE2C ->12
000000000062FE2C ->12

000000000062FE00 ->1
000000000062FE04 ->2
000000000062FE08 ->3
000000000062FE0C ->4
000000000062FE10 ->5
000000000062FE14 ->6
000000000062FE18 ->7
000000000062FE1C ->8
000000000062FE20 ->9
000000000062FE24 ->10
000000000062FE28 ->11
000000000062FE2C ->12

指针数组
char *strs[]={"abc","def","acfg"};
指针数组是一个元素均为指针的数组,数组的数组名表示数组首个元素的地址,而首个元素又是指针,因此指针数组的数组名就是一个二级指针。
二维数组名表示的是首个元素的地址,二维数组又可以理解为一个一维数组,而每个一维数组的元素又是
一个一维数组。对其进行加减操作,是以一维数组的大小为单位进行。类似与数组指针,即指向数组的指针,对其进行加减操作也是以数组大小为单位进行。

指针与数组_第2张图片
此处输入图片的描述

int douptr(char** a,int size)
{
    char **p=a;
    int c=strlen(*p+2);
    printf("a=%p\n",a);
    printf("p=%p\n",p);
    printf("%s\n",*p);
    printf("%c",**p);
    
}
int main()
{
    int i,j=0;
    char *strs[] = {"abc","def","acfg"};  
    
    int size=sizeof(arr)/sizeof(char *);      //数组大小
    printf("arr=%p\n",arr);                   //数组地址,数组名表示首个元素地址
    printf("&arr[0]=%p\n",&arr[0]);           //数组首个元素地址
    printf("&arr[1]=%p\n",&arr[1]);
    printf("&arr[2]=%p\n",&arr[2]);    
    printf("&arr[0]=%p\n",arr);               //数组首个元素地址
    printf("arr[0]->%s\n",*arr);              //数组首个元素指向内容
    printf("arr[1][1]=%c\n",*(*(arr+1)+1)) ;  //第二个元素指向数组的第二个元素
    printf("arr[1][1]=%c\n",arr[1][1]);       //  
    printf("size=%d\n",size);
    douptr(arr,size);

    return 0;
}

结果:

arr=000000000062FE30
&arr[0]=000000000062FE30
&arr[1]=000000000062FE38
&arr[2]=000000000062FE40
&arr[0]=000000000062FE30
arr[0]->abc
arr[1][1]=e
arr[1][1]=e
size=3
a=000000000062FE30
p=000000000062FE30
abc
a

参考文献
[1] http://ssspure.blog.51cto.com/8624394/1694224
[2] https://v.qq.com/x/cover/3dwhoro4c9voh54/h14042xdbdp.html
[3] http://ssspure.blog.51cto.com/8624394/1694224
[4] http://c.biancheng.net/cpp/html/478.html

你可能感兴趣的:(指针与数组)