C++ array和&array

如果在C++中定义了一个数组，例如“ int array[5] ”，那么“ array ”或“ &array ”是什么意思？它们是相同的还是不同的？让我们一探究竟！

要检查这一点，首先可以想到的是以下程序：

#include <iostream>
using namespace std;
int main()
{
   int array[5]; 
   cout<<"array= "<<array<<" ,&array= "<<&array<<endl;
   return 0;
}

“ array ”和“ &array ”输出的地址是相同。虽然地址的内容相同，但它们是不同类型的地址。这才是“ array ”和“ &array ”真正的区别。

为了显示这种差异，修改一下上面的程序：

#include <iostream>
using namespace std;
 
int main()
{
    
    int array[5];
    cout<<"array= "<<array<<" ,&array= "<<&array<<endl;
    cout<<"array+1= "<<array+1<<endl;
    cout<<"&array+1= "<<&array+1<<endl;
    
    return 0;
}

运行结果：

 将整数添加到指针时会指向该指针类型的下一个地址。从输出结果可以看出：

• array+1输出的结果中地址值相较于array增加了4个字节。
• &array+1输出的结果中地址值相较于&array增加了20个字节（0x14 bytes）。

通过这个结果可以推断出：

“ array ”是“指向 array 的第一个元素的指针”，而“ &array ”是“指向 拥有5 个 int 元素的整个数组的指针”。

这个逻辑也可以扩展到多维数组。假设 twoDarray[5][4] 是一个二维数组。这里，“twoDarray”是一个指向拥有4个int型元素数组的指针，而“&twoDarray”是指向拥有5个元素，每个元素是拥有4个int型元素的数组的，数组的指针”。可以使用程序打印测试。 

所以结论是：任何数组名称本身都是指向数组第一个元素的指针，它更像是&array[0]。 但数组名称的 &（即地址）是指向整个数组本身的指针。

在使用其它的指针变量通过赋值符号保存地址值时。数组名称既然代表的是第一个元素，那么声明指针变量时就是：元素类型* 指针名称；而对于&数组名称，就需要声明一个指向数组的指针保存&array的值，要注意书写方式，指向数组的指针的书写方式与指向函数的指针有些类似。

int* p1 = array;
int* p2 = &array[0];
int    (*p3)[5] = &array;

如果感觉指向数组的指针书写形式过于复杂，也可以直接使用auto推断类型：

int* p1 = array;
int* p2 = &array[0];
int    (*p3)[5] = &array;
auto p4 = &array;

本文部分内容参自：What’s difference between “array” and “&array” for “int array[5]” ?