是否存在从指针到数组的转换？ [复制]

Question

比如下面的代码，我知道p是一个指针，它指向arr数组的第一个元素，我也知道这个数组会退化为certain conditions下的数组，但是为什么可以对这里的指针进行[]操作吗？

#include<iostream>
using namespace std;
int main()
{
  int arr[10];
  arr[3] = 10;
  int* p = arr;
  cout << p[3];
  return 0;
}

有这方面的文件吗？
run it online

Answer 1

来自 C++ 20 标准（7.6.1.2 下标）

1 后缀表达式后跟方括号中的表达式是 后缀表达式。表达方式之一应为 键入“T 的数组”或“指向 T 的指针”类型的纯右值和另一个 应为无作用域枚举或整数类型的纯右值。这 结果是类型“T”。类型“T”应该是一个完全定义的 object type.62 表达式 E1[E2] 等同于（根据定义） *((E1)+(E2))，除了在数组操作数的情况下，如果该操作数是左值，则结果是左值，否则是 xvalue。这 表达式 E1 排在表达式 E2 之前。

也就是说，当在此表达式 *((E1)+(E2)) 中使用数组时，它会隐式转换为指向其第一个元素的指针。