数组不是指针,但多数表达式中会退化为指向首元素的指针;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)能进一步减少这类问题。不复杂但容易忽略。
以上就是C++数组和指针混合使用注意事项的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号