数组做函数参数详解：实例与原理剖析

本文主要讨论了在C++编程中关于数组作为函数参数的两个关键问题。首先，数组元素作为函数实参的处理方式与单独的变量参数类似，如以下示例所示： ```cpp int main() { int max(int a, int b); // 定义函数接受两个整数参数 int a[2] = {1, 2}; // 创建一个包含两个元素的数组 int m = max(a[0], a[1]); // 调用函数并传入数组元素 cout << m << endl; // 输出结果：2 // 函数实现 int max(int a, int b) { if (a < b) a = b; return a; } } ``` 当数组作为实参时，函数内部实际上是接收数组的第一个元素的值，而非整个数组。例如，`alter` 函数的例子： ```cpp void alter(int b[]); // 用数组名作为参数，编译器会理解为一个指针 int main() { int a[2] = {1, 2}; alter(a); // 调用函数，此时传递的是a的首地址 cout << a[0] << endl; // 输出：3 cout << a[1] << endl; // 输出：4 } void alter(int b[]) { b[0] = 3; b[1] = 4; // 实际上修改的是第一个元素的值 } ``` 这里，`alter` 函数接收的是一个指向数组首元素的指针，所以即使数组定义为`int a[2]`，函数中的`b`实际上只改变了第一个元素。 第二个讨论点涉及到数组大小的传递。当将数组名作为参数时，编译器通常不会考虑数组的实际大小，而是将其视为指向数组首元素的指针。因此，无论数组长度如何定义（如`int b[20]`），传递给`alter`函数时，它只会看到一个`int *`类型的指针，即`b`。例如： ```cpp int main() { void alter(int b[20]); // b[]括号内的大小不影响传递的指针 int a[2]; // ... cout << sizeof(a) << endl; // 输出：4，因为数组a占用4个字节，不是传递给函数的大小 // 函数alter接收到的是a的地址，不是其实际大小 } ``` 在这些例子中，数组名作为参数的真正意义是引用而不是复制，所以在`alter`函数中修改数组元素会影响原始数组。然而，对于数组的大小，如`sizeof(a)`，则会返回数组在内存中的实际占用空间，而不是函数参数所占用的空间。这展示了数组作为函数参数时的一些基本概念和行为。