为何对数组使用取地址符&无报错？C++14数组地址疑问

先看你贴的代码：

int arr[4] = { -1, -1, -1, -1 };
int arr2[4] = { 0, 0, 0, 0 };

memcpy(arr, &arr2, sizeof(arr2)); // & operator to arr2

1. 数组名arr和&arr的本质区别 #

数组名arr在绝大多数场景下会隐式转换为指向数组第一个元素的指针，类型是int*，指向arr[0]的地址。
而&arr是指向整个数组的指针，类型是int (*)[4]（表示指向一个包含4个int元素的数组的指针）。

虽然两者的地址数值完全相同（因为数组的起始位置就是第一个元素的位置），但它们的类型完全不同——这一点是核心：

• arr + 1会移动sizeof(int)字节，指向arr[1]
• &arr + 1会移动sizeof(int[4])字节，跳过整个数组，指向数组末尾之后的位置

2. 为什么memcpy(arr, &arr2, sizeof(arr2))合法且能正常工作 #

memcpy的函数签名是：

void* memcpy(void* dest, const void* src, size_t n);

它的前两个参数都是void*类型，C++允许任何指针类型隐式转换为void*。
不管你传arr2（转换为int*）还是&arr2（转换为int (*)[4]），最终都会被转换成void*，而且它们指向的起始地址完全一致。再加上sizeof(arr2)是整个数组的字节大小，所以这段代码能正确把arr2的所有元素复制到arr里，行为完全符合预期。

3. 关于C++14标准的说明 #

这个规则并不是C14特有的，它在C和几乎所有C标准（包括C++14）中都是一致的：数组是一个完整的对象，对数组使用取地址符&是合法的操作，用于获取指向整个数组的指针。

内容的提问来源于stack exchange，提问作者RAMSA