C语言数组名取地址

面试时遇到这样一道题，面试官在纸上写下这样一段代码，让我说一下对应的输出是什么

#include <iostream>
using namespace std;

int main(int argc, char const *argv[])
{
    int a[] = {0, 1, 2, 3, 4, 5};
    cout << *a << endl;
    cout << *(a + 1) << endl;
    cout << *((int *)(&a + 1) - 1) << endl;
    return 0;
}

这里主要涉及到一个概念，就是数组名与数组名取地址的区别，
首先用一段代码做个试验。

#include <iostream>
using namespace std;

int main(int argc, char const *argv[])
{
    int a[] = {0, 1, 2, 3, 4, 5};
    cout << a << endl;
    cout << &a << endl;
    int *p = new int[6];
    cout << p << endl;
    cout << &p << endl;
    return 0;
}

输出结果：

$ ./a.out
0x7fff541ed970
0x7fff541ed970
0x7fbbb24005b0
0x7fff57366918

如果简单的认为arr就是一个指向数组首地址的指针的话，那么很自然会想到&arr得到的是一个指向存放arr这个指针的指针，也就是一个二级指针，然而事实却并不是这样。

我们可以看到，这里pointer这个指针确实如我们所想指向了不同的地址，但是，arr这个数组名的表现却和指针不同，arr和&arr指向的地址是一样的。

这里便体现除了数组名和指针的一个不同之处：对数组名进行&操作，并不是取其地址，而是得到了指向整个数组的指针。也就是说，arr与&arr指向的是同一个地址，但是他们的类型不一样。arr相当于&arr[0]，类型是int *，而&arr是指向整个数组的指针，类型是int (*)[6]。

有了上面这些理论，面试官提出的代码输出结果应该是

$ ./a.out
0
1
5

解释一下为什么第三行输出5，因为&a表示的是一个指向一整个数组的指针，+1操作后向后移动6个int长度，此时指针指向数组最后一个元素5的后一个位置，之后转型为指向 int的指针，这时进行减1操作就会指向数组中最后一个元素5