C++如何实现数组的引用传递数组引用参数避免退化的技巧-C++-PHP中文网

C++如何实现数组的引用传递数组引用参数避免退化的技巧

P粉602998670

发布： 2025-07-06 09:21:01

原创

607人浏览过

在c++++中，数组作为函数参数传递时会退化为指针，无法获取大小并易引发越界访问，可通过数组引用方式解决。1. 使用固定大小数组的引用作为参数，如void printarray(int (&arr)[5])，确保传入数组大小一致，适用于固定大小场景；2. 使用模板推导数组大小，如template void printarray(int (&arr)[n])，自动匹配数组大小，适合通用函数；3. 使用std::array或std::vector容器，更现代且安全；4. 手动传递数组大小，虽简单但缺乏类型安全性。这些方法有效避免数组退化问题，提升程序安全性和可读性。

C++如何实现数组的引用传递数组引用参数避免退化的技巧

在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);
```
登录后复制
- 简单直接，但失去了类型安全性。
- 需要调用者额外提供数组长度。