C语言程序设计（第2版）-2期 经验技巧7-2 数组名作为函数形参.pdf

在C语言中，数组是一种非常基础且重要的数据结构，它可以存储一系列相同类型的元素。在处理数组时，我们经常会遇到将数组作为函数参数的情况。这里我们将深入探讨“数组名作为函数形参”的概念及其背后的机制。 我们要明确一点，数组名在C语言中实际上代表了数组的首元素地址，也就是说，它是一个指针常量。这意味着数组名是一个不可改变的地址，不能进行自增自减操作，也不能在赋值语句中作为左值。例如在【示例1】中，尝试使用`a++`来改变数组的地址，这样的做法是错误的，因为数组名`a`是一个地址常量，其值不能被修改。 然而，当数组名作为函数的形参时，情况就有所不同。在函数调用时，数组名会被转换为指向数组首元素的指针，这个指针在函数内部是可以进行操作的。这就意味着在函数内部，数组名可以进行自增自减运算，也可以在赋值语句中作为左值。【示例2】中的`Input`函数就是一个很好的例子： ```c void Input(int b[]) { int i; for(i = 0; i < N; i++) scanf("%d", b++); } ``` 在这个例子中，形参`b`实际上是指向实参数组`a`的指针。当调用`Input(a)`时，`b`被初始化为`a`的地址，即`a[0]`的地址。通过`b++`，指针`b`每次自增后会指向数组`a`的下一个元素，从而实现对整个数组的逐个输入。 有趣的是，`Input`函数的形参可以写作`int *b`，这与`int b[]`是等价的。它们都表示`b`是一个指向整型数据的指针，可以用来遍历数组。所以，下面的函数定义也是等效的： ```c void Input(int *b) { int i; for(i = 0; i < N; i++) scanf("%d", b++); } ``` 总结一下，数组名作为函数形参时，它实际上是一个指向数组首元素的指针。虽然在全局作用域或函数外部，数组名是不可变的地址常量，但当它作为函数参数传递时，可以作为可变的指针进行操作，如自增自减和赋值。这种特性使得我们可以编写出能够处理数组的函数，从而提高了代码的复用性和灵活性。在编程实践中，理解这一点对于正确地使用数组和编写高效、安全的C语言程序至关重要。