C语言中数组名和指针的关系

C语言中数组名和指针的关系

本文假定读者对C语言中的数组、指针的概念已经有了解。

1. 一维数组

int a[10];
int *pa = a;

这里a是数组名，在一般表达式中，a是一个指针常量，它指向数组中第一个元素，因此a的值和&a[0]的值是相同的.

如下程序段：
printf("%p\n", a);
printf("%p\n", pa);
printf("%p\n", &a[0]);
printf("%p\n", &a[1]);
printf("%p\n", &a[2]);

输出结果为：
0x7fffae3b6da0
0x7fffae3b6da0
0x7fffae3b6da0
0x7fffae3b6da4
0x7fffae3b6da8

有两种例外，这两种情况下，数组名不能被看为指针常量：1. 作为sizeof操作符的操作数，sizeof(a)得到的是整个数组的长度 2. 作为单目操作符&的操作数，得到的并非指向指针常量的指针，而是指向整个数组的指针。

2. 二维数组

int b[3][5];
int (*pb)[5] = b;

这里b是二维数组名，可以将它“看作”是一个一维数组，包含3个元素，每个元素恰好是包含5个整形元素的数组。b是指向第一个元素的指针，因此，b真正的含义是 一个指向 包含5个整形元素的数组 的指针（指向数组的指针）。pb则是一个指向数组的指针，数组中有5个int类型的元素。 b+1则指向下一个数组，如下图所示：



2.1 b, pb均指向第一个数组，所以pb[0], b[0], *b, *pb都指向b[0][0];

如下程序段：
printf("%p\n", b);
printf("%p\n", pb);
printf("%p\n", pb[0]);
printf("%p\n", b[0]);
printf("%p\n", *pb);
printf("%p\n", *b);
printf("%p\n", &b[0][0]);

输出结果为：
0x7ffc895937b0
0x7ffc895937b0
0x7ffc895937b0
0x7ffc895937b0
0x7ffc895937b0
0x7ffc895937b0
0x7ffc895937b0

//注意，上面7个语句中，前2条语句虽然和后5条语句的输出一样，但性质不同：前面2条是打印的数组的地址，后面是打印数组中首个元素的地址。不过，C语句中数组的地址就是数组首个元素的地址，但并不意味着指向数组的指针和指向数组首元素的指针相同。

2.2 b+1, pb+1均指向第二个数组，所以pb[1], b[1], *(b+1), *(pb+1)都指向b[1][0];

如下程序段：
printf("%p\n", b+1);
printf("%p\n", pb+1);
printf("%p\n", pb[1]);
printf("%p\n", b[1]);
printf("%p\n", *(pb+1));
printf("%p\n", *(b+1));
printf("%p\n", &b[1][0]);

输出结果为：
0x7ffc895937c4
0x7ffc895937c4
0x7ffc895937c4
0x7ffc895937c4
0x7ffc895937c4
0x7ffc895937c4
0x7ffc895937c4

//其实，是可以根据2.1中的结果算出来的，由于我的机器上每个int占四个字节，第一个数组占用了5*4=20个字节，所以第二个数组地址应该为0x7ffc895937b0+20=0x7ffc895937c4

参考资料：《C和指针》