C语言中数组与指针的关系及运算

"这篇教程主要探讨了在C程序设计中，如何使用数组指针作为函数参数，以及指针与数组的相关应用。通过示例代码解释了指针与数组元素之间的关系，包括指针的算术运算和关系运算，强调了数组名在内存中的本质是首元素的地址。" 在C语言中，数组和指针有着密切的关系。数组名实际上是一个常量指针，它存储了数组首元素的地址。例如，声明一个整型数组`int array[10];`，数组名`array`就表示了数组的第一个元素`array[0]`的地址。我们可以声明一个整型指针`int *p;`并将`p`初始化为指向`array`的首元素，如`p = &array[0]`或`p = array;`。 数组元素可以通过两种方式来访问：下标法和指针法。使用下标法，`a[i]`表示数组中索引为`i`的元素，而使用指针法，`*(p + i)`表示指针`p`偏移`i`个元素后的值。这两种方法实际上是等价的，因为`a[i]`可以转换为`*(a + i)`。在给定的代码示例中，展示了如何使用指针遍历数组并打印其元素。 当数组作为函数参数时，数组名在函数调用中会降级为指向首元素的指针。因此，函数声明中的形参可以是一个指针类型，如`void func(int *arr)`，在调用时，可以传入数组名`func(array)`。这样做，函数内部就可以通过指针访问和操作整个数组。 指针还可以进行算术运算，例如，`p1 + 4`表示指针`p1`向后移动四个元素的位置。在给定的例子中，如果`int *p1 = &a[2]`和`int *p2 = &a[5]`，那么`p2 - p1`的结果是3，因为`p2`和`p1`之间相差3个元素。然而，`p1 + p2`这样的运算没有定义，因为它不是一个有效的指针算术操作。 对于指针的关系运算，如果`p1`和`p2`都指向同一个数组，`p1 < p2`表示`p1`所指元素的位置在`p2`之前，反之则在`p2`之后。如果`p1 == p2`，则它们指向同一个元素。但如果`p1`和`p2`不指向同一个数组，它们之间的比较通常是无意义的。 最后，要注意的是，当比较两个未初始化的指针或者将指针与NULL（`NULL`或`0`）进行比较时，需要确保指针已经被赋予了有效的地址，否则可能会导致未定义的行为。 理解数组与指针的关系以及如何在函数中传递数组是C语言编程的基础。熟练掌握这些概念能帮助编写更高效和灵活的代码。