娓娓道来c指针 (3)指针和数组「建议收藏」

                            (3)指针和数组

在c中指针和数组似乎有着千丝万缕的关系。事实上它们不是一回事：指针是指针，数组是数组。两者不同样。

说它们有关系，只是是由于常见这种代码：

int main()
{
	int array[] = {1,2,3,4,5};
	int n = sizeof(array) / sizeof(int);
	int *p = array;
	int i;
	for (i = 0; i < n; i++)
		printf("p[%d]...%d\n", i, p[i]);
	system("pause");
	return 0;
}

执行

在上面的代码中，指针和下标运算符的结合使用，给人一种指针和数组是一样的感觉。

本质是：数组名是一个指向数组起始元素的常量指针。这也是数组和指针的唯一联系！

之所以能够使用 p[i] 来訪问数组中的元素，是由于在编译器中 p[i] 被解释为 *(p+i)，这仍然是指针的功能。

对编译器而言，用p[i]表达*(p+i)的含义是没有意义的。它仅仅是为了让人看着舒服。用着方便。这是语法糖：

    p[i]是*(p+i)的简单写法，实际上。至少对于编译器来说，[]这种运算符全然能够不存在。

    但是对于人类来说。*(p+i)的写法在解读上比較困难，写起来也麻烦(键入量大)。因此，c语言引入[]运算符。

    就像这样。这些不过为了让人类easy理解而引入的功能，的确能够让我们感受到编程语言的甜蜜味道(easy着手)，有时我们称这些功能为语法糖(syntax sugar 或者 syntactic sugar)。

以上摘自《征服c指针》。借此推荐这本书。书中一针见血地指出：仅仅有在声明语句中。[]才表达数组的含义。在表达式中，[]与数组无关！

总结起来就是。看似数组的使用方法：p[i]，事实上是*(p+i)的语法糖。p仍然是指针，与数组并无关系。

指针和数组的不同之处，还能够从以下的样例看出

void fun(int array[5])
{
	printf("  sizeof(array)...%d\n", sizeof(array));
}
int main()
{
	int array[] = { 1, 2, 3, 4, 5 };
	printf("  sizeof(array)...%d\n", sizeof(array));
	fun(array);
	return 0;
}

执行

从执行结果看，函数形參尽管用数组的方式进行了声明，但仍然被当做指针。这揭示了c语言中传递数组时的规则：传递过去的是地址，是指向数组起始元素的地址。之所以这样，基于两点;

1. 从效率上考虑。若是把整个数组赋值过去，太耗时，也耗空间。还不如传地址过去，使用同一份内容。
2. 在c语言设计之初，赋值操作就仅限于基本类型(char、int、float……)，而数组是聚合类型。

int main(){	int array[] = { 1, 2, 3, 4, 5 };	int n = sizeof(array) / sizeof(int);	int *p = array;	int i;	for (i = 0; i < n; i++)		printf("  %d[p]...%d\n", i, i[p]);	return 0;}

int main(){	int array[] = { 1, 2};	printf("   array...%p\n", array);	printf("  &array...%p\n", &array);	printf("&array+1...%p\n", &array+1);	return 0;}

那么为什么int(*)[2]表示的是数组指针呢？这须要透彻理解c的声明语法。又比方。二维数组(更甚者，多维数组)的数组名又是什么类型的指针呢？这须要了解c中数组的实际含义，后序解说。

很多其它指针和数组的内容见(5)c数组本质。

专栏文件夹：

• C指针
• 数据结构与算法