在c++++中，数组作为函数参数传递时会退化为指针，无法获取大小并易引发越界访问，可通过数组引用方式解决。1. 使用固定大小数组的引用作为参数，如void printArray(int (&arr)[5])，确保传入数组大小一致，适用于固定大小场景；2. 使用模板推导数组大小，如template
在c++中，数组作为函数参数传递时，默认会退化为指针，这会导致我们无法在函数内部获取数组的大小，也容易引发越界访问等问题。如果你希望保留数组的维度信息，并实现真正的“引用传递”，就需要使用数组引用（array reference）的方式。
下面介绍几种实用的方法，帮助你在函数参数中正确使用数组引用，避免数组退化。
使用固定大小数组的引用作为参数
如果你想让函数接收一个特定大小的数组，可以将参数声明为数组的引用。这种方式能确保传入的数组大小与函数期望的一致。
立即学习“C++免费学习笔记（深入）”；
void printArray(int (&arr)[5]) { for (int i = 0; i < 5; ++i) { std::cout << arr[i] << " "; } std::cout << std::endl; }
说明：
- int (&arr)[5] 表示对一个包含5个整数的数组的引用。
- 如果你试图传入一个大小不是5的数组，编译器会报错。
- 这样做的好处是保留了数组的大小信息，避免了退化成指针的问题。
适用场景：
- 你知道数组的大小是固定的。
- 希望在函数内部安全地操作数组元素。
使用模板推导数组大小
如果你不想限制数组的大小，但又希望保留数组的信息，可以借助模板来自动推导数组的大小：
template <size_t N> void printArray(int (&arr)[N]) { for (size_t i = 0; i < N; ++i) { std::cout << arr[i] << " "; } std::cout << std::endl; }
说明：
- 模板参数 size_t N 会自动匹配数组的实际大小。
- 这样无论传入的是5个元素还是10个元素的数组，函数都能处理。
- 同样避免了数组退化为指针的问题。
建议：
- 在通用函数中优先使用这种方式。
- 可以配合 std::extent 或 std::size() 来获取数组长度。
避免数组退化的其他方式
除了上面两种方法外，还可以考虑以下替代方案：
-
使用 std::array 或 std::vector：
C++标准库提供的容器类天然支持引用传递，且不会丢失大小信息。例如：void printArray(const std::array<int, 5>& arr) { for (int val : arr) { std::cout << val << " "; } std::cout << std::endl; }- 更现代、更安全。
- 推荐用于新项目或需要动态大小的情况（用 vector）。
-
手动传递数组大小：
虽然这不是引用传递，但在传统C风格代码中很常见：void printArray(int* arr, size_t size);
- 简单直接，但失去了类型安全性。
- 需要调用者额外提供数组长度。
基本上就这些。数组引用传递的关键在于理解数组退化机制，并通过引用或模板技术绕过它。虽然写法稍显复杂，但能有效提升程序的安全性和可读性。
