共计 1614 个字符，预计需要花费 5 分钟才能阅读完成。
在 C ++ 开发中，数组作为函数参数传递常令新手困惑，容易引发内存越界或性能问题。本文深入解析数组传参的底层机制，对比指针传递、引用传递和容器传递的优缺点，并提供可落地的代码示例。读者将掌握如何避免数组退化为指针、如何传递多维数组，以及现代 C ++ 中更安全的替代方案。
1. 数组名与指针的内存布局差异
数组名在大多数情况下会退化为指向其首元素的指针，但二者并非完全相同：
- 数组名 是编译器符号表中的固定标识，包含数组长度信息（可通过 sizeof 获取）
- 指针 是独立的变量，只存储地址值（固定 4 / 8 字节）
示例说明：
int arr[5] = {1,2,3,4,5};
int* ptr = arr; // 退化发生
// 关键区别：cout << sizeof(arr); // 输出 20（5* 4 字节）cout << sizeof(ptr); // 输出 4 或 8（指针大小）2. 三种典型传参方式对比
2.1 指针传递（传统方式）
void process(int* arr, size_t len) {
// 需要手动传递长度
for(size_t i=0; i<len; ++i) {arr[i] *= 2;
}
}缺点：
– 长度信息丢失
– 容易越界访问
2.2 引用传递（C++ 特有）
template<size_t N>
void process(int (&arr)[N]) { // 精确匹配数组类型
// N 会被自动推导
for(auto& elem : arr) {elem *= 2;}
}优点：
– 保留数组类型信息
– 支持范围 for 循环
2.3 STL 容器传递（现代风格）
void process(std::vector<int>& vec) {for(auto& elem : vec) {elem *= 2;}
}优势：
– 自带边界检查
– 动态大小支持
3. 多维数组传递技巧
3.1 传统指针方式（易出错）
void process2D(int** arr, int rows, int cols);3.2 类型安全方式
template<size_t Rows, size_t Cols>
void process2D(int (&arr)[Rows][Cols]) {static_assert(Rows > 0, "Invalid size");
// ...
}4. 现代 C ++ 解决方案（C++17 起）
使用 std::span 避免手动传递长度：
#include <span>
void process(std::span<int> arr) {for(auto& elem : arr) {elem *= 2;}
}5. 性能与安全关键点
5.1 栈内存 vs 堆内存
- 栈数组：零拷贝但可能栈溢出
- 堆数组：需手动管理生命周期
5.2 安全防护措施
#define ARRAY_LENGTH(arr) (sizeof(arr)/sizeof(arr[0]))
// 编译时检查
static_assert(ARRAY_LENGTH(myArr) == 5, "Size mismatch");6. 最佳实践总结
- 优先选择：std::vector/std::array（99% 场景）
- 必须用原生数组时：
- 搭配 static_assert 检查大小
- 使用 span 作为函数参数
- 调试技巧：
- 在 Debug 模式下开启边界检查
- 使用 AddressSanitizer 检测越界
延伸思考
在 C ++20 的 concept 约束下，可以设计更安全的接口：
template<typename T>
concept ContiguousContainer = requires(T t) {{ t.data() } -> std::convertible_to<const void*>;
{t.size() } -> std::convertible_to<size_t>;
};
void safeProcess(ContiguousContainer auto&& container);完整示例代码已托管在 GitHub：CppArrayPassingDemo
希望这篇笔记能帮你避开 C ++ 数组传递的那些坑！在实际项目中，建议结合静态分析工具（如 Clang-Tidy）来捕获潜在问题。
正文完
