C++ 指针和数组在编译器底层的区别-C++-PHP中文网

数组名在 sizeof 中不退化为指针，返回整个内存块大小；指针变量的 sizeof 返回指针自身大小（如64位系统为8字节）；函数参数中数组声明实际退化为指针，sizeof 返回指针大小；数组名是不可修改的地址常量，而指针是可变变量；数组含完整类型与维度信息，指针不含长度元数据；字符串字面量初始化时，数组分配可修改副本，指针指向只读段，修改触发段错误；根本差异在于数组尺寸与类型编译期固化，指针值运行期可变。

c++ 指针和数组在编译器底层的区别

数组名在 sizeof 中不退化为指针

这是最直接暴露底层差异的场景。sizeof 遇到真正的数组时，返回的是整个内存块大小；而遇到指针变量（哪怕它指向数组），返回的是指针本身大小（通常是 4 或 8 字节）。

int arr[10]：在函数内或全局作用域中，sizeof(arr) 返回 40（假设 int 为 4 字节）
int *p = arr：无论 p 指向哪，sizeof(p) 永远是 8（64 位系统）
函数参数写成 void f(int arr[10]) 并不改变本质——编译器把它当作 void f(int *arr) 处理，所以此时 sizeof(arr) 返回指针大小，不是 40

数组名是地址常量，不能被赋值或自增

数组名在表达式中多数时候“像”指针，但它不是变量，没有可修改的存储位置。编译器对它的处理是静态绑定到一段固定内存。

C函数速查手册（CHM版）

下载

int arr[5]; arr = &x; → 编译错误：arr 不可赋值
arr++ → 编译错误：左值不是可修改的 lvalue
int *p = arr; p++; → 合法，p 是变量，值可变
反例：外部声明 extern char *p; 去引用定义为 char p[100] 的数组，会导致运行时把前几个字节当地址用，访问非法内存

数组有完整类型信息，指针没有维度和长度

编译器在符号表里为数组记录了元素类型、个数和总大小；指针只存类型和地址，不携带任何“长度”元数据。

int arr[3][4] 的类型是 int[3][4]，&arr 类型是 int(*)[3][4]
int (*p)[4] = arr; 这里的 p 是数组指针，能正确算出行偏移；而 int **pp = arr; 会出错——arr 不是 int**，强行转换丢失维度信息
多维数组传参时若用 int **，必须手动管理行首地址数组；用 int (*)[N] 才能保持连续内存布局语义