数组不是指针,但多数表达式中会退化为指向首元素的指针;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++数组和指针混合使用注意事项的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1475949.html
微信扫一扫
支付宝扫一扫