C语言中数组名和指针的关系
本文假定读者对C语言中的数组、指针的概念已经有了解。
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. 作为单目操作符&的操作数,得到的并非指向指针常量的指针,而是指向整个数组的指针。
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和指针》
本文假定读者对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和指针》