C语言函数参数详解：指针实现变量交换与数组操作

结果或目标：为何普通参数无法修改外部数据

在C语言中，函数的参数若为整数、小数等具体数值，传递的是数据的副本而非原数据。这意味着函数内部的操作不会影响函数外部的原始变量。这种机制对于需要改变外部状态的操作（如交换两个变量的值）是无效的。

第1步：验证值传递的局限性

目的：确认直接传值无法改变主调函数中的变量。
代码示例：

#include <stdio.h>
void swap(int a, int b){
  int temp;
  temp = a;
  a = b;
  b = temp;
}
int main(){
  int a = 66, b = 99;
  swap(a, b); // 传入副本
  printf("a = %d, b = %d\n", a, b); // 输出仍为 66, 99
  return 0;
}

完成判断：运行结果显示 a 和 b 的值未发生改变。因为 swap() 内部操作的 a, b 只是外部变量的临时拷贝，函数结束时即被销毁。

准备条件：使用指针传递地址

要解决上述问题，需利用指针变量接收变量地址，从而在函数内部通过解引用操作直接访问和修改外部内存空间。

第2步：实现正确的变量交换

入口：定义接受整型指针参数的函数。
动作：传递变量的地址 &a 和 &b，并在函数内交换解引用后的值。
参数说明：
- p1, p2: 指向整数的指针
- *p1, *p2: 代表指针指向的实际变量

#include <stdio.h>
void swap(int *p1, int *p2){
  int temp;
  temp = *p1;   // 保存第一个变量的值
  *p1 = *p2;    // 将第二个变量的值赋给第一个
  *p2 = temp;   // 恢复保存的第一个变量的值
}
int main(){
  int a = 66, b = 99;
  swap(&a, &b);
  printf("a = %d, b = %d\n", a, b); // 输出变为 99, 66
  return 0;
}

重要提示：临时变量 temp 用于暂存被覆盖前的值，防止数据丢失。该操作对 main 函数中的变量影响是持久的，不会随函数结束而回滚。

真实操作顺序：数组参数的传递机制

数组是数据的集合，C语言禁止将整个数组作为单一参数进行“一股脑”的内存拷贝，因为这会导致严重的性能开销。因此，数组只能通过传递其首地址（指针）来处理。

第3步：通过指针处理数组并计算最大值

目的：在函数内部遍历并修改/读取数组元素。
关键约束：由于指针丢失了数组的长度信息，必须额外传递长度参数。
代码示例：

int max(int *intArr, int len){
  int i, maxValue = intArr[0];
  for(i=1; i<len; i++){
    if(maxValue < intArr[i]){
      maxValue = intArr[i];
    }
  }
  return maxValue;
}
// 调用方式：max(nums, sizeof(nums)/sizeof(int));

完成判断与排错：形参定义的假象

开发者常误以为在形参中指定数组大小（如 int arr[6]）会创建新数组或强制检查长度，实则为误解。

第4步：辨析数组形参声明的本质

现象：以下三种写法在编译器眼中完全等价：

1. int max(int *intArr, ...)
2. int max(int intArr[], ...) （省略长度）
3. int max(int intArr[6], ...) （指定长度）

事实：
- int intArr[6] 仅表示期望传入大小为6的数组，但实际传入更大或更小的数组在语法上不会被拦截。
- 结果：编译器最终均将其转换为 int *intArr 指针类型，不分配新内存，也不支持自动获取数组长度。

结论：无论采用何种形式声明，必须在函数内部通过独立参数传递数组长度，否则无法确定遍历边界。

简要总结

C语言通过指针参数实现高效的内存共享操作。理解地址传递可解决变量交换问题，理解数组退化为指针的本质可避免性能陷阱和逻辑错误。掌握这些底层机制是编写高效C语言代码的基础。以上就是C语言指针变量作为函数参数详解的详细内容，更多关于C语言进阶技巧的资料请关注本站其它相关文章！