原文转载地址：http://www.cnblogs.com/dolphin0520/archive/2011/11/09/2242419.html
在原文基础上增加自己的理解作为修改
浅谈C/C++中的指针和数组（二）
前面已经讨论了指针和数组的一些区别，然而在某些情况下，指针和数组是等同的，下面讨论一下什么时候指针和数组是相同的。
C语言标准对此作了说明：
规则1：表达式中的数组名被编译器当做一个指向该数组第一个元素的指针；
注：下面几种情况例外
1)数组名作为sizeof的操作数
2)使用&取数组的地址
规则2：下标总是与指针的偏移量相同；
规则3：在函数参数的声明中，数组名被编译器当做指向该数组第一个元素的指针。
规则1和规则2结合在一起理解，就是对数组下标的引用总是可以写成“一个指向数组的起始地址的指针加上偏移量”。如a[i]总是被编译器解析为*(a+i)的形式。
规则1：表达式中的数组名总被编译器解析为指针，因此如下语句int a[3];int *p=a;是可以正确编译执行的。在表达式中a被解析为指向数组第一个元素的指针，那么赋值符号两边的类型匹配，因此可以正确编译执行。
规则2：下标总是和指针的偏移量相同。C语言中将数组的下标改写成指针偏移量的主要原因在于指针和偏移量是底层硬件所使用的基本类型。如a[i]中的i总被编译器解析为偏移量，所以a[i]总是被改写成*(a+i)的形式，a是指向数组第一个元素的指针，加上偏移量i，表示该指针向后移i个步长，然后取a+i所在单元的内容。由此就可以解释为什么C语言中数组的下标可以为负，而且在我看来，C语言中不检查数组的下标是否越界同样跟这个有关，如下面这段程序：
#include<stdio.h>
int main(void)
{
int a[3]={1,2,3};
int *p=(a+3);
printf("%d\n",p[-1]);
return 0;
}
程序执行结果为3，虽然下标为-1，但是被编译器解析为偏移量，因此相当于*(p-1)。
规则3：在函数参数的声明中，数组名被编译器当做指向该数组第一个元素的指针。在C语言中将形参的数组和指针等同起来是出于效率的考虑。假如不这么做，将整个数组的每个元素的值都拷贝一份进行传递，这样无论在时间上还是空间上的开销都可能是非常大的。但是又要能操作到数组中的元素，只需将数组第一个元素的地址传递给调用函数，然后通过指针去访问想要访问的空间，这样一来时空消耗将大大减少。因此在函数内部，编译器始终把参数中声明的数组名当做一个指向数组第一个元素的指针，这样一来，编译器可以产生正确代码，并不需要对数组和指针这两种情况作区分。因此void fun(int a[]);和void fun(int *a)两种形式的效果完全等同，在函数内部去引用a的话，始终都会被编译器认为是指针。因为void fun(int a[]);这种形式最终还是会被编译器解析为void fun(int *a);这种形式告诉我们调用时必须传递一个指向整型数据的指针。所以下面这段代码可以正确编译和执行：