第一种.使用临时变量来保存一个数进行交换:
int main() { int a = 21; int b = 7; int tmp = a; a = b; b = tmp; return 0; }
int main() { int a = 21; int b = 7; a = a+b; b = a-b; a = a-b; return 0; }
总结:
这种方法在思想上讲十分的巧妙,不过在计算机的世界里这并不是一个好的方法,考虑一点编译后的问题,我们就会碰到溢出的问题,导致得到错误的结果。
高手们又使用位运算的异或运算来消除临时变量的方法,还不用担心溢出的问题。第三种.使用异或运算来实现:
int main() { int a = 21; int b = 7; a ^= b; b ^= a; a ^= b; return 0; }
int main() { int a = 21; int b = 7; a ^= b ^=a ^= b; return 0; }
Ider$ gcc -S swap.c我们来看看上面编编译成汇编文件的命令行数,对比上列四种方法的汇编命令行数:
tmp方式:
.text
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
movq %rsp, %rbp
.cfi_offset 6, -16
.cfi_def_cfa_register 6
movl $21, -4(%rbp)
movl $7, -8(%rbp)
movl -4(%rbp), %eax
movl %eax, -12(%rbp)
movl -8(%rbp), %eax
movl %eax, -4(%rbp)
movl -12(%rbp), %eax
movl %eax, -8(%rbp)
movl $0, %eax
leave
ret
.cfi_endproc
.LFE0:
.size main, .-main
.ident "GCC: (Ubuntu/Linaro 4.4.4-14ubuntu5) 4.4.5"
.section .note.GNU-stack,"",@progbits
加法方式:
.file "swap.c"
.text
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
movq %rsp, %rbp
.cfi_offset 6, -16
.cfi_def_cfa_register 6
movl $21, -4(%rbp)
movl $7, -8(%rbp)
movl -8(%rbp), %eax
addl %eax, -4(%rbp)
movl -8(%rbp), %eax
movl -4(%rbp), %edx
movl %edx, %ecx
subl %eax, %ecx
movl %ecx, %eax
movl %eax, -8(%rbp)
movl -8(%rbp), %eax
subl %eax, -4(%rbp)
movl $0, %eax
leave
ret
.cfi_endproc
.LFE0:
.size main, .-main
.ident "GCC: (Ubuntu/Linaro 4.4.4-14ubuntu5) 4.4.5"
.section .note.GNU-stack,"",@progbits
异或方式:
.file "swap.c"
.text
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
movq %rsp, %rbp
.cfi_offset 6, -16
.cfi_def_cfa_register 6
movl $21, -4(%rbp)
movl $7, -8(%rbp)
movl -8(%rbp), %eax
xorl %eax, -4(%rbp)
movl -4(%rbp), %eax
xorl %eax, -8(%rbp)
movl -8(%rbp), %eax
xorl %eax, -4(%rbp)
movl $0, %eax
leave
ret
.cfi_endproc
.LFE0:
.size main, .-main
.ident "GCC: (Ubuntu/Linaro 4.4.4-14ubuntu5) 4.4.5"
.section .note.GNU-stack,"",@progbits
异或的简单版方式:
.file "swap.c"
.text
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
movq %rsp, %rbp
.cfi_offset 6, -16
.cfi_def_cfa_register 6
movl $21, -4(%rbp)
movl $7, -8(%rbp)
movl -8(%rbp), %eax
xorl %eax, -4(%rbp)
movl -4(%rbp), %eax
xorl %eax, -8(%rbp)
movl -8(%rbp), %eax
xorl %eax, -4(%rbp)
movl $0, %eax
leave
ret
.cfi_endproc
.LFE0:
.size main, .-main
.ident "GCC: (Ubuntu/Linaro 4.4.4-14ubuntu5) 4.4.5"
.section .note.GNU-stack,"",@progbits
注:一行的异或代码和三行的异或代码编译成汇编指令时,他们的指令数都是一样的。从汇编指令的行数,利用临时变量的代码要明显短于其它两个。对于临时变量法,每次赋值只要读取一个变量的值到寄存器,然后再从寄存器写回到另一个变量中即可。但是对于运算操作,每次都需要读取两个数据到寄存器种,再进行运算操作。之后把结果写回到变量中。所以以后还是不要用这些看似很炫的方式来做两数交换了,还是老老实实用个临时变量。