数组名不是指针，而是具有数组类型的不可修改左值；它在表达式中常隐式转换为指针，但sizeof、赋值、自增等操作暴露本质差异。
在C++中，数组名在大多数情况下会自动退化为指向其首元素的指针，但这不意味着数组名就是指针——它是一个不可修改的左值，类型是“数组类型”，而指针是独立变量，类型是“指针类型”。理解这个区别，是避免越界、传参错误和sizeof误用的关键。
定义 int arr[5] = {1,2,3,4,5}; 后，arr 本身不是指针变量，没有独立的存储空间存放地址；它的类型是 int[5]。但在表达式中（如 arr + 1、*arr、传给函数时），它会隐式转换为类型为 int* 的右值，指向首元素。
int* p = arr;（隐式转换发生）arr = p;（数组名不可赋值，非可修改左值）arr++;（同上，不能自增）sizeof(arr) 返回整个数组占用字节数（如 5 * sizeof(int)），而 sizeof(p)（其中 p 是 int*）返回指针本身大小（通常为 4 或 8 字节）。这是最直观验证“数组名 ≠ 指针变量”的方式。
void f(int arr[])，实际等价于 void f(int* arr)，编译器已丢弃长度信息 → sizeof(arr) 在函数内永远是指针大小void f(int (&arr)[5])，此时 sizeof(arr) 才是 20（假设 int 为 4 字节）数组名的完整类型包含元素类型和大小，因此只能初始化或绑定到匹配的数组引用或指针类型，不能随意混用。
int (&ref)[5] = arr;（绑定到同类型数组引用）int* p = arr;（隐式转为指针）int* &refp = arr;（试图让指针引用绑定到数组名——类型不匹配）int (*p2)[4] = &arr;（&arr 类型是 int(*)[5]，不是 int(*)[4]）char s[] = "hello"; 定义的是字符数组，s 类型是 char[6]；而 char* p = "hello"; 中，
"hello" 是存储在只读区的字符串字面量，类型是 const char[6]，p 是指向它的指针。前者可修改（s[0] = 'H'），后者若尝试修改（p[0] = 'H'）将导致未定义行为。
sizeof("hello") 是 6（含 '\0'），sizeof(p) 是指针大小