数组与指针

前些天看到公众号的一篇推文，题目是《为何数组不可直接赋值》，看完后发现自己对数组的理解还是不够深刻，所以又翻书仔细看了一遍，记录如下。

数组

---

int a[10];
int b[10];
a = b;		//error
a++;		//error

为什么数组不能直接赋值，最本质的原因是此处的数组名是一个指针常量，所以不能被赋值，也不能执行自增自减操作。

只有两种情况，数组名不能作为指针常量：

sizeof a;
&a;

其中，sizeof a 返回的是 a 数组内元素的个数；&a 所产生的是指向数组的指针。

但也不要认为数组和指针是相同的，实际上它们两个具有完全不同的特征。

数组和指针

数组具有数量特征，内部元素个数是确定的，编译器会用数组名称来记录这些特征，也会根据元素数量在声明时保留空间。

指针只是一个变量，不会被初始化。

函数传递数组参数

所有的参数都是以传值的方式传递的。

当数组作为参数时，函数只会获得一份地址的复制，该地址指向数组第一个元素。

所以此时的数组形参，就是一个指针变量，可以进行任何数据运算：自增、自减、赋值等。

所以说，在函数声明的时候，以下两种声明编译器都认，作为形参时本质上就是指针。

int strlen( char *string );
int strlen( char string[] );		//连元素个数都不用给

为什么要这么设计

一个数组名不仅是数组的开头，也包含了数组元素的个数。如果能随意修改，会造成较大的隐患。

并且数组在声明的时候就已经分配好了空间，程序运行时不好进行修改。

二维数组

---

刚开始学二维数组的时候很疑惑一个问题：为什么在声明是可以省略行数，不能省略列数。

int matrix[][10];

二维数组是横向排列，一行排完以后排下一行，编译器需要知道一行需要多少个元素，需要知道什么时候要换行。所以列数是必不可少的。