数组名不是指针，而是具有数组类型的不可修改左值；它在表达式中常隐式转换为指针，但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 行为彻底暴露本质差异
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 字节）
数组名的类型决定了它能绑定谁
数组名的完整类型包含元素类型和大小，因此只能初始化或绑定到匹配的数组引用或指针类型，不能随意混用。
立即学习“C++免费学习笔记（深入）”；
- 可以：
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)是指针大小 - 数组名在这里仍是“地址常量”，但背后有完整的对象布局；指针只是记录地址的变量
