C语言中与指针相关问题——论数组名和数组名取地址的关系

这是由一道面试题联想到的一些问题，这里自己给做个小总结！

首先看看这道面试题：

#include <stdio.h>
int main() {
    int a[5] = { 1, 2, 3, 4, 5 };
    int *pi = &a + 1;

    printf("%d, %d\n", *(a + 1), *(pi - 1));
    return 0;
}

答案是2, 5。至于是为什么，我后面说一下我自己的理解。

这里有个要注意的地方，以上代码在CodeBlock中会有个警告，但是在VS2013中有个错误提示，错误如下：”int()[5]类型的值不能用于初始化”int“类型的实体。当然，这里我们可以进行强制类型转换，那么这个错误提示就会消失。修改后的代码如下：

#include <stdio.h>
int main() {
    int a[5] = { 1, 2, 3, 4, 5 };
    int *pi = (int *)(&a + 1);

    printf("%d, %d\n", *(a + 1), *(pi - 1));
    return 0;
}

这个时候，再编译运行就得到了我们的正确答案2, 5。

对这道题目进行延伸想到的

#include <stdio.h>
int main() {
    //a是一个二维数组
    int a[2][3];
    /*  1、a的类型是int(*)[2][3]，a的值是指向数组第1个元素地址。
    **  2、&a的类型是int*, &a的值是指向整个数组的首地址。
    **  3、a的字节数是4*6, &a的字节数是4。
    */
    printf("a = %x, &a = %x\n", a, &a);
    printf("sizeof(a) = %d, sizeof(&a) = %d\n", sizeof(a), sizeof(&a));
    printf("a + 1 = %x, &a + 1 = %x\n", a + 1, &a + 1);
    /*  1、a[0]的类型是int(*)[3], a[0]的值是指向数组第1行元素第1个元素的地址。
    **  2、&a[0]的类型是int*, &a[0]的值是指向数组第1行整行元素的首地址。
    **  3、a[0]的字节数是4*3, &a[0]的字节数是4。
    */
    printf("a[0] = %x, &a[0] = %x\n", a[0], &a[0]);
    printf("sizeof(a[0]) = %d, sizeof(&a[0]) = %d\n", sizeof(a[0]), sizeof(&a[0]));
    printf("a[0]+1 = %x, &a[0] + 1 = %x\n", a[0] + 1, &a[0] + 1);
}

运行结果如下：

从结果我们可以看到，a,&a,a[0],&a[0]地址值都是一样的，不过由于变量的类型不一样，所以每次移动的值也一样。