传数组防止引用退化_sizeof' on array function parameter 'a' will retur-CSDN博客

本文链接：https://blog.csdn.net/qq_43325061/article/details/118615919

本文介绍了如何使用数组引用在C++中防止数组在作为参数传递时退化为指针。通过示例代码展示了当数组作为参数传递给函数时，直接使用数组参数与使用数组引用参数的区别，尤其是在sizeof()运算符上的体现。数组引用能够保持数组的原始尺寸，避免了因退化为指针而导致的尺寸信息丢失问题。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

传数组防止引用退化

如下定义就得到一个数组的引用

类型名 （&变量名）[N]；

在进行参数的传递时，数组引用可以帮助我们防止数组退化为指针，而这是我们在编程中很难注意到的问题。

下面来看一个实例：

#include <iostream>

void each(int int_ref[10])
{
    std::cout << sizeof(int_ref) << std::endl;
    for (int i = 0; i < 10; i++)
        std::cout << int_ref[i] << " ";
    std::cout << std::endl;
}

void each2(int (&int_ref)[10])
{
    std::cout << sizeof(int_ref) << std::endl;
    for (int i = 0; i < 10; i++)
        std::cout << int_ref[i] << " ";
    std::cout << std::endl;
}

int main()
{
    int int_array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
    each(int_array);  //问题1：sizeof()的值？
    each2(int_array); //问题2：sizeof()的值？

    return 0;
}

编译器也会给出提示

sizeof on array function parameter will return size of 'int *' instead of 'int [10]' [-Wsizeof-array-argument]
<stdin>:3:15: note: declared here

当然，如果不去理会sizeof（）的话，这两个函数的输出不会有任何的不同，他们都能够正确的输出array[]中的10个值，但当我们观察一下sizeof()的值就会发现很大的不同。

问题1：输出4

问题2：输出40

从这我们就能看出，当array[]作为参数传递过去后，如果接收的参数是也是一个数组，那么它就会退化为一个指针，也就是我们常说的“数组就是一个指针”。当接收的参数是一个数组引用是，就会发现它还是保持了自己的原生态，即“数组仍然是一个数组”。这时，数组引用就起到了一个保护自己退化为一个指针的作用。