函数调用交换两个数的底层原理与避坑指南

1次阅读

共计 1389 个字符，预计需要花费 4 分钟才能阅读完成。

交换两个变量的值看似简单，却是编程中非常基础且重要的操作。它在排序算法、数据结构操作、数值计算等场景中频繁出现。比如在冒泡排序中，我们需要不断比较并交换相邻元素的位置；在某些数学算法中，可能需要交换两个变量的值以简化计算逻辑。

很多初学者第一次尝试写交换函数时，可能会这样写：

void swap(int a, int b) {
    int temp = a;
    a = b;
    b = temp;
}

然后在 main 函数中调用：

int x = 3, y = 5;
swap(x, y);
printf("x=%d, y=%d", x, y); // 输出仍然是 x =3, y=5

这个看似合理的写法实际上并不能交换 x 和 y 的值，原因在于 C 语言的函数参数默认是值传递（pass by value）。当调用 swap(x, y) 时，实际传递给函数的是 x 和 y 的副本，函数内部交换的是这些副本，而原始变量的值并未改变。

要真正交换两个变量的值，我们需要使用指针来传递变量的地址。以下是正确的实现：

void swap(int *a, int *b) {
    int temp = *a;  // 1. 将 a 指针指向的值存入 temp
    *a = *b;        // 2. 将 b 指针指向的值赋给 a 指针指向的内存
    *b = temp;      // 3. 将 temp 的值赋给 b 指针指向的内存
}

调用方式也要相应改变：

int x = 3, y = 5;
swap(&x, &y);  // 传递 x 和 y 的地址
printf("x=%d, y=%d", x, y); // 现在会输出 x =5, y=3

让我们用图示来说明这个交换过程的内存变化：

初始状态：
x 的地址为 0x1000，值为 3
y 的地址为 0x1004，值为 5
调用 swap(&x, &y) 后：
参数 a 存储的是 0x1000（x 的地址）
参数 b 存储的是 0x1004（y 的地址）
执行交换过程：
temp = *a → temp = 3
*a = *b → 0x1000 处的值变为 5
*b = temp → 0x1004 处的值变为 3

在实现交换函数时，有几个常见的坑需要注意：

忘记取地址：调用 swap(x, y) 而不是 swap(&x, &y)，导致传递的是值而非地址。
解引用空指针：在调用 swap 前没有检查指针是否为空，可能导致程序崩溃。
使用未初始化的临时变量：如果忘记给 temp 赋值就直接使用，会导致不可预期的结果。
参数类型不匹配：比如试图用 int 指针交换 double 类型的变量。
宏定义的陷阱：有人可能想用宏来实现交换，如 #define SWAP(a,b) {a^=b; b^=a; a^=b;}，但这种位运算交换方式有局限性（如 a 和 b 指向同一地址时会出错）。