指针和数组

在C语言中，指针与数组之间的关系十分密切，任何通过数组下标能完成的操作都可以用指针来实现。一般来说，用指针实现的操作会比用数组下标完成的操作快一些；但另一方面，用指针实现的程序理解起来稍微困难一些。

声明

int a[10];

定义了一个长度为10的数组，换句话说，它在内存中开辟了一块连续的空间用来存放10个元素：a[0]，a[1]，…，a[9]。其中a[i]表示数组中的第i个元素。如果pa被声明为一个指向整数类型的指针，那么语句

         pa= &a[0];

则将pa指向了数组a中的第0个元素a[0]，也就是说，pa的值为a[0]的地址。这样一来，赋值语句

         x= *pa;

将会把数组元素a[0]中的内容复制到变量x中。

         如果pa指向数组中的某个特定元素，那么pa + 1就指向数组中的下一个元素。pa + i会将指针向后移动i个位置，同样地，pa – i会将指针pa向前移动i个位置。如果指针pa指向a[0]，那么*(pa + 1)就会引用a[1]中的内容，pa + i就是元素a[i]的地址，*(pa + i)引用的是数组元素a[i]中的内容。无论数组a中元素类型和数组长度是什么，上面的结论总是成立。

         下标和指针运算之间具有密切的对应关系。根据定义，数组类型的变量或表达式的值是该数组首元素的地址。执行赋值语句

pa = &a[0];

后，pa和a拥有相同的值。因为数组名所代表的就是该数组首元素的地址，所以以上赋值语句等价于

         pa= a;

         对数组元素a[i]的引用也可以写成*(a +i)的形式。实际上在计算数组元素a[i]的值时，C语言会先将其转换成*(a + i)的形式然后再进行求值，因此这两种形式是等价的。如果对这两种等价的表示形式都加上取地址运算符&，便可以得出这样的结论&a[i]和a + i(等价于&*(a + i))的含义是相同的。相应得，如果pa是一个指针，那么在表达式中也可以在它的后面加下标。pa[i]与*(pa + i)是等价的。简而言之，一个通过数组和下标实现的表达式可以等价地通过指针和偏移量实现。此外，由于加法交换律的存在，*(a + i)等价于*(i + a)，*(pa + i)等价于*(i + pa)，所以在程序中调用i[a]、i[pa]与调用a[i]、pa[i]得到的结果相同。尽管i[a]、i[pa]这种调用方式的运行结果是正确的，但是会使程序的可读性降低，应该尽量避免使用。

         尽管数组名与指针在很多地方相似，但是它们之间还是有一个不同之处。指针是一个变量，在C语言中语句pa = a和pa++都是合法的。但是数组名不是一个变量，因此，类似于a = pa和a++形式的语句是非法的。