数组名在表达式中常退化为指向首元素的指针,但数组本身具有固定大小和内存布局,而指针可重新赋值;函数参数中的数组实际以指针传递,无法通过sizeof获取长度,推荐使用std::array或std::vector以提升安全性和清晰度。
在C++中,数组和指针有着紧密的语法关联,但它们本质不同。理解它们的关系有助于写出更清晰、安全的代码。
数组名在多数情况下退化为指针
当数组名出现在表达式中时,它通常自动转换为指向第一个元素的指针。例如:
int arr[5] = {1, 2, 3, 4, 5};
int* p = arr; // 等价于 &arr[0]
这里arr不是数组本身,而是指向arr[0]的指针。这种转换不改变数组的实际存储,只是表达式的类型变为指针。
数组和指针的区别依然存在
尽管数组名可当作指针使用,但数组本身有固定大小和内存布局。例如:
立即学习“C++免费学习笔记(深入)”;
sizeof(arr) // 返回整个数组的字节数(如 5 * 4 = 20)
sizeof(p) // 返回指针大小(如 8 字节)
这说明arr和p在类型系统中不同。数组名不能被赋值,而指针可以重新指向其他地址。
函数参数中的数组退化为指针
在函数形参中声明数组,实际上会被当作指针处理:
void func(int arr[]) { }
// 等价于 void func(int* arr) { }
这意味着函数内部无法通过sizeof获取数组长度,必须额外传入大小参数。这也是为什么推荐使用std::array或std::vector的原因。
指针运算与数组下标等价
C++允许使用指针进行算术运算,且与数组下标完全对应:
- arr[i] 等价于 *(arr + i)
- &arr[i] 等价于 arr + i
这种等价性源于数组元素在内存中连续存储。指针加减整数会按其所指类型大小进行偏移。
基本上就这些。数组和指针在语法层面常可互换,但语义和类型不同。掌握它们的转换规则,能更好理解C++的底层行为。现代C++建议优先使用容器,避免手动管理指针和数组。