数组不是指针，但多数表达式中会退化为指向首元素的指针；sizeof和&运算符例外，函数传参时实际传递指针，需额外传长度；多维数组退化为行指针，应正确声明参数类型；推荐使用std::array或std::span避免错误。
在C++中，数组和指针虽然经常可以互换使用，但它们本质上是不同的概念。理解它们之间的关系以及混合使用时的注意事项，对避免常见错误至关重要。
数组名通常退化为指针
当数组名出现在表达式中时，它通常会自动转换为指向第一个元素的指针。例如：
int arr[5] = {1, 2, 3, 4, 5};
int* ptr = arr; // 等价于 &arr[0]
这种退化只发生在大多数表达式中，sizeof(arr) 和 &arr 是例外，此时 arr 不退化，而是代表整个数组。
函数参数中的数组实际是指针
当你将数组作为参数传递给函数时，实际上传递的是指向首元素的指针：
立即学习“C++免费学习笔记（深入）”；
void func(int arr[]) { /* 实际上等同于 int* arr */ }
void func(int* arr) { /* 两者完全等价 */ }
这意味着在函数内部无法通过 sizeof(arr) 获取数组真实长度，因为 arr 是指针。必须额外传入数组长度：
void printArray(int* arr, int size) {
for (int i = 0; i < size; ++i) {
std::cout << arr[i] << " ";
}
}
注意数组边界和指针越界
使用指针遍历数组时，容易发生越界访问：
int arr[3] = {10, 20, 30};
int* p = arr;
for (int i = 0; i <= 3; ++i) { // 错误：i=3 越界
std::cout << *p++ << " ";
}
这类错误可能导致未定义行为。建议使用标准库容器如 std::vector 或配合 std::begin() 和 std::end() 来避免手动管理边界。
多维数组与指针的匹配更复杂
二维数组传参时，不能简单用 int** 接收：
int matrix[3][4];
// void func(int** m) 不匹配
void func(int m[][4], int rows) { } // 正确：必须指定列数
// 或使用：void func(int (*m)[4], int rows)
因为二维数组名退化为指向数组的指针（类型为 int(*)[4]），而非指向指针的指针。
基本上就这些。只要记住数组不是指针，但在多数场景下会退化为指针，就能避免大部分陷阱。使用现代C++特性如 std::array 或 std::span（C++20）能进一步减少这类问题。不复杂但容易忽略。
