C 语言中的元素指针与一维数组指针

在我上大三的时候，有段时间发现自己对指针的理解不够深入，所以就看了《Pointers On C》这本书的指针章节，当时印象很深刻的是接触到了一维数组指针这个概念，最近我在看内核代码时又遇到了这个问题，结果一时间竟然没看懂，搜了资料才想起来这么个概念。

举个例子：

#include<stdio.h>

void main()
{
    int boot_gdt[] = {1,2,3};
    int *a = boot_gdt;
    int *b = &boot_gdt;
    printf("%x\n",a);
    printf("%x\n",b);
}

两个输出语句会输出同样的结果，一开始我大为不解，后来看到了这个资料：https://stackoverflow.com/questions/2528318/how-come-an-arrays-address-is-equal-to-its-value-in-c/2528328#2528328

看完这个答案后我恍然大悟，原来 a 是数组元素的指针，其值等于数组起始地址，而 b 是整个一维数组的指针，其值也等于数组的起始地址。虽然两个地址值在数值上相等，但是其意义完全不同。指针变量做加减运算时，其地址值的变化是以其指针指向的数据类型大小作为跨度的，a+1 这个指针指向了数组元素 boot_gdt[1]，但是 b+1 这个指针则指向了下一个数组。举个例子，如果数组起始地址为 0x0，即 a 的地址值为 0x0，那么可以得出 a+1 的地址值为 0x4，而 b+1 的地址值则为 0xc。可以清晰的看出，元素指针 a 每次加一时，其地址值一次跳 4 个字节，而一维数组指针 b 每次加一时其地址值一次跳 12 个字节，也就是跨越了一整个数组的大小。