论数组与指针-01

C语言中的数组值得注意的地方有以下两点：

1、C语言中只有一维数组，而且数组的大小必须在编译期就作为一个常数确定下来。

2、对于一个数组，我们只能够做两件事：

    ①  确定该数组的大小；

    ②  获取指向该数组下标为0的元素的指针。

补充：

1、C语言中数组的元素可以是任何类型的对象，当然也可以是另外一个数组。这样，多维数组就可以“仿真”出来了。

2、其他有关数组的操作，看上去是以数组下标进行运算的，实际上都是通过指针进行的。

---

拓展：那么什么时候数组与指针相同呢？作为函数定义的形式参数。（源于《C专家编程》9.2）

---

首先，来理解如何声明一个数组。例如，

    int a[3];    

语句声明了a是一个拥有3个整型元素的数组。类似的，

    struct{

        int p[4];

        double x;

    }b[17];

声明了b是一个拥有17个元素的数组，其中每个元素都是一个结构，该结构包括了一个拥有4个整型元素的数组（p）和一个双精度类型的变量（x）。

    现在考虑下面的例子，

    int calendar[12][31];

这个语句声明了calendar是一个数组，该数组拥有12个数组类型的元素，其中每个元素都是一个拥有31个整型元素的数组。（而不是一个拥有31个数组类型的元素的数组，其中每个元素又是一个拥有12个整型元素的数组。）因此，sizeof(calendar)的值是372（31×12）与sizeof(int)的乘积。

特别注意：如果calendar不是用于sizeof的操作数，而是用于其他的场合，那么calendar总是被转换成一个指向calendar数组的起始元素的指针。

    再看下面的声明：

    int calendar[12][31];

    int *p;

    int i;

那么，calendar[4]的含义是什么？

    因为calendar是一个有着12个数组类型元素的数组，它的每个数组类型元素又是一个有着31个整型元素的数组，所以calendar[4]是calendar数组的第5个元素，是calendar数组中12个有着31个整型元素的数组之一。因此，calendar[4]的行为也就表现为一个有着31个整形元素的数组的行为。例如，

    p = calendar[4];

指针p指向了数组calendar[4]中下标为0的元素。

因为calendar[4]对于calendar[4][31]而言是它的数组名，由于数组名在这种场合下，指向了数组首元素的地址，所以p指向数组首元素的地址。又如，

    sizeof(calendar[4])的结构为 31*sizeof(int)。

如果calendar[4]是一个数组，那么可以通过下标的形式来指定这个数组中元素。例如，

    i = calendar[4][7];

类似的，可以改写成下面这样而意思保存不变：

    i = *(calendar[4] + 7);

进一步写成,

    i = *(*(calendar + 4)+ 7);

这种情况下，这充分体现了数组名是指向数组首元素的指针。

    下面再看：

    p = calendar;

    这个语句是非法的。因为calendar是一个二维数组，即“数组的数组”，在此处使用calendar名称会被转换为一个指向数组的指针；而p是一个指向整形变量的指针，这个语句试图将一种类型的指针赋值给另一种类型的指针，所以是非法的。

    那么如何声明一种指向数组的指针的方法？

    int (*ap)[31];

    这个语句实际的效果是，声明了*ap是一个拥有31个整型元素的数组，因此ap就是指向这样的数组的指针。因而，我们可以这样写：

    int calendar[12][31];

    int (*monthp)[31];

    monthp = calendar;

    这样，monthp将指向数组calendar的第1个元素，也就是数组calendar的12个有着31个元素的数组类型元素之一。