【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为指向一个还有两个整型值的数组

《C++ 设计新思维》 下载见

C++ Primer Plus 第6版 中文版 清晰有书签PDF+源代码

读C++ Primer 之构造函数陷阱

读C++ Primer 之智能指针

读C++ Primer 之句柄类

将C语言梳理一下，分布在以下10个章节中：

  1. Linux-C成长之路（一）：Linux下C编程概要
  2. Linux-C成长之路（二）：基本数据类型
  3. Linux-C成长之路（三）：基本IO函数操作
  4. Linux-C成长之路（四）：运算符
  5. Linux-C成长之路（五）：控制流
  6. Linux-C成长之路（六）：函数要义
  7. Linux-C成长之路（七）：数组与指针
  8. Linux-C成长之路（八）：存储类，动态内存
  9. Linux-C成长之路（九）：复合数据类型
  10. Linux-C成长之路（十）：其他高级议题

本文永久更新链接地址：

相关内容