【C++进阶】C++中的数组退化

在C++中，数组永远不会按值传递。它是传递第0个元素的指针（即首地址）。

 

例如，如下声明：

 

void putValues(int[10]);

被编译器视为：

 

 

void putValues(int*);

数组的长度与数组的声明无关。因此，下列三个声明是等价的：

void putValues(int*);
void putValues(int[]);
void putValues(int[10]);

因为数组被传递为指针，所以这对程序员有两个含义：

 

1. 在被调函数内对参数数则的改变将被应用到数则实参上而不是本地拷贝上。当用作实参的数组必须保持不变时，程序员需要保留原始数组的拷贝。函数可以通过把参数类型声明为const来表明不希望改变数组元素：

 

void putValues(const int[10]);

2. 数组长度不是参数类型的一部分。函数不知道传递给它的数组的实际长度，编译器也不知道。而编译器对实参类型进行参数类型检查时，并不检查数组的长度。例如：

void putValues(int[10]); //视为 int*
int main(){
int i, j[2];
putValues(&i); //ok: &i是int*;潜在的运行错误
putValues(j); //ok: j被转换成第0个元素的指针
renturn 0;
}

那么什么情况下数组不会退化为指针类型呢？

数则不会退化的情况就三种，我们只要记下来就好了！

1. 初始化的时候。如int a[2] = {1,2}; 此时的a为数组

2. sizeof的时候。如 sizeof（a）此时的a也为数组

3. &a，此时a为指向一个还有两个整型值的数组

 

原地址:https://blog.csdn.net/fu_zk/article/details/19825319

若还是不怎么清楚，有一篇例子：https://www.cnblogs.com/rosa1997/p/4881112.html