指向数组的指针

代码段1:

#include <stdio.h>

int main(void)
{
    enum { m = 3, n = 4 };
    int a[m][n];
    int (*p)[m][n] = &a;

    printf("p : %p, *p : %p, **p : %p\n", p, *p, **p);
    return(0);
}

代码段2:

#include <stdio.h>

int main(void)
{
    enum { m = 3, n = 4 };

    int a[m][n];
    int (*p)[m][n]=&a;

    printf("p+0 : %p, (*p)+0 : %p, (**p) + 0 : %p\n",
           (void *)(p+0), (void *)((*p)+0), (void *)((**p)+0));
    printf("p+1 : %p, (*p)+1 : %p, (**p) + 1 : %p\n",
           (void *)(p+1), (void *)((*p)+1), (void *)((**p)+1));
    return(0);
}

在我的机器[X86, Ubuntu5,GCC4.6.3]上,两段代码的输出如下:

代码段1:

p : 0xbfea7ef0, *p : 0xbfea7ef0, **p : 0xbfea7ef0

代码段2:

p+0 : 0x63453520, (*p)+0 : 0x63453520, (**p) + 0 : 0x63453520
p+1 : 0x63453550, (*p)+1 : 0x63453530, (**p) + 1 : 0x63453524

两段代码中p均为指向定长数组a的指针.其中p为二维数组地址;*p为二维数组()[m][n],也就是a;**p则为一维数组()[n],也就是a[0].由此p, *p,**p所打印的分别为二维数组地址,二维数组地址与一维数组地址,所以出现三个数值相等的结果.

至于代码段2,根据代码段1的推理获得第一行的输出.

第二行中由于p为指向二维数组()[m][n]的指针,所以p+1,相当于加上m*n*4的偏移,也就是0x30;  

*p为二维数组,则*p+1 相当于a+1,也就是a[1]的地址,则偏移为n*4,也就是0x10;

**p为一维数组,则**p+1相当于a[0]+1,也就是a[0][1]的地址,偏移为4,也就是0x04;