为什么 main 函数直接调用其他函数交换两个数没效果?
一、题目:如何交换两个数
#include <stdio.h>
void swap(int a, int b) {
int temp = a;
a = b;
b = temp;
}
int main() {
int a = 1;
int b = 2;
printf("交换前:a=%d, b=%d\n", a, b);
swap(a, b);
printf("交换后:a=%d, b=%d\n", a, b);
return 0;
}
运行一下,看看结果
结果打印的是
交换前:a=1, b=2
交换后:a=1, b=2
是不是有很多的问号,不慌,看看代码到底咋运行的
二、查看汇编代码
0000000000000000 <swap>: // 看得出来这部分和 swap 函数有点关系
0: 55 push %rbp // 把 swap 函数的栈帧的栈底地址 rbp 入栈(把 swap 函数的栈帧的栈底地址 rbp 放到栈中)
1: 48 89 e5 mov %rsp,%rbp // 建立新的栈帧,把将要调用 swap 函数的那个函数的栈帧的栈顶地址 rsp 赋值给将要调用 swap 函数的那个函数的栈帧的栈底地址 rbp
4: 89 7d ec mov %edi,-0x14(%rbp) // 把 swap 函数的栈帧的栈底地址 rbp 往下扩充 0x14,对应参数放到寄存器 edi 中(参数是 swap 函数的第一个参数 a)
7: 89 75 e8 mov %esi,-0x18(%rbp) // 把 swap 函数的栈帧的栈底地址 rbp 往下扩充 0x18,对应参数放到寄存器 esi 中(参数是 swap 函数的第二个参数 b)
int temp = a;
a: 8b 45 ec mov -0x14(%rbp),%eax // 把 swap 函数的栈帧的栈底地址 rbp 往下扩充 0x14 大小空间里放的参数放到寄存器 eax 中保存(参数是 swap 函数的第一个参数 a)
d: 89 45 fc mov %eax,-0x4(%rbp) // 把寄存器 eax 保存的值放到 swap 函数的栈帧的栈底地址 rbp 往下扩充 0x4 空间大小的地方(0x4 空间大小的地方保存的是局部变量 temp)
a = b;
10: 8b 45 e8 mov -0x18(%rbp),%eax // 把 swap 函数的栈帧的栈底地址 rbp 往下扩充 0x18 大小空间里放的参数放到寄存器 eax 中保存
13: 89 45 ec mov %eax,-0x14(%rbp) // 把寄存器 eax 保存的值放到 swap 函数的栈帧的栈底地址 rbp 往下扩充 0x14 空间大小的地方(0x14 和 eax 前面都出现过,这里的意思是把 0x14 对应位置的值换成寄存器 eax 保存的值,也就是把 a 的值换成 b 的值,即:a = b)
b = temp;
16: 8b 45 fc mov -0x4(%rbp),%eax // 把 swap 函数的栈帧的栈底地址 rbp 往下扩充 0x4 大小空间里放的参数放到寄存器 eax 中保存
19: 89 45 e8 mov %eax,-0x18(%rbp) // 把寄存器 eax 保存的值放到 swap 函数的栈帧的栈底地址 rbp 往下扩充 0x18 空间大小的地方(0x18 和 eax 前面都出现过,这里的意思是把 0x18 的对应位置的值换成寄存器 eax 保存的值,也就是把 b 的值换成 temp 的值,即:b = temp)
1c: 90 nop // 啥也不干,消耗一个机器周期,目的只是让程序计数器加一
1d: 5d pop %rbp // swap 函数运行了大半天,到这里也就结束了,pop 的意思是弹出,这里指的是把 swap 函数对应的栈帧从栈里面弹出去(swap 函数栈帧出栈后,接着执行调用了 swap 函数的那个函数剩余未执行的代码)
1e: c3 retq // 返回
rsp 是什么,rbp 又是什么?
三、总结
一开始的题目中,那个 swap() 函数并不能实现交换两个数,做不到的原因,按照上面的汇编代码来说,大致就是 swap() 函数的参数 a 和参数 b,它们的值来自 main() 函数调用 swap() 函数时传入的 main() 函数自己的 a 和 b,两个函数各管理各自的 a 和 b,没什么关系
四、那怎么交换两个数?
4.1 指针
void swap(int* a, int* b) {
int temp = *a;
*a = *b;
*b = temp;
}
运行一下,看看结果
指针可以交换两个数
4.2 引用
注意:C 中没有引用,C++ 才有,C++ 的文件后缀名是 .cpp
void swap(int& a, int& b) {
int temp = a;
a = b;
b = temp;
}
运行一下,看看结果
引用可以交换两个数
4.3 直接在 main() 函数中交换
#include <stdio.h>
int main() {
int a = 1;
int b = 2;
printf("交换前:a=%d, b=%d\n", a, b);
int temp = a;
a = b;
b = temp;
printf("交换后:a=%d, b=%d\n", a, b);
return 0;
}
运行一下,看看结果
直接在 main() 函数中可以交换两个数
使用异或运算符 ^,不需要第三个变量就可以交换
#include <stdio.h>
int main() {
int a = 1;
int b = 2;
printf("交换前:a=%d, b=%d\n", a, b);
a = a ^ b;
b = a ^ b;
a = a ^ b;
printf("交换后:a=%d, b=%d\n", a, b);
return 0;
}
运行一下,看看结果
异或运算符不需要第三个变量就可以交换两个数
…