递归算法转换为非递归算法的技巧.pdfVIP

递归算法转换为⾮递归算法的技巧 递归函数具有很好的可读性和可维护性，但是⼤部分情况下程序效率不如⾮递归函数，所以在程序设计中⼀般喜欢先⽤递归解决问题，在保 证⽅法正确的前提下再转换为⾮递归函数以提⾼效率。 函数调⽤时，需要在栈中分配新的帧，将返回地址，调⽤参数和局部变量⼊栈。所以递归调⽤越深，占⽤的栈空间越多。如果层数过深，肯 定会导致栈溢出，这也是消除递归的必要性之⼀。递归函数⼜可以分为尾递归和⾮尾递归函数，前者往往具有很好的优化效率，下⾯我们分 别加以讨论。 尾递归函数 尾递归函数是指函数的最后⼀个动作是调⽤函数本⾝的递归函数，是递归的⼀种特殊情形。尾递归具有两个主要的特征： 1. 调⽤⾃⾝函数(Self-called)； 2. 计算仅占⽤常量栈空间(Stack Space)。 为什么尾递归可以做到常量栈空间，我们⽤著名的fibonacci数列作为例⼦来说明。 fibonacci数列实现⽅法⼀般是这样的， int FibonacciRecur(int n) { if (0==n) return 0; if (1==n) return 1; return FibonacciRecur(n-1)+FibonacciRecur(n-2); } 不过需要注意的是这种实现⽅法并不是尾递归，因为尾递归的最后⼀个动作必须是调⽤⾃⾝，这⾥最后的动作是加法运算，所以我们要修改 ⼀下， int FibonacciTailRecur(int n, int acc1, int acc2) { if (0==n) return acc1; return FibonacciTailRecur(n-1, acc2, acc1 acc2); } 好了，现在符合尾递归的定义了，⽤gcc分别加-O和-O2选项编译，下⾯是部分汇编代码， -O2汇编代码 FibonacciTailRecur: .LFB12: testl %edi, %edi movl %esi, %eax movl %edx, %esi je .L4 .p2align 4,,7 .L7: leal (%rax,%rsi), %edx decl %edi movl %esi, %eax testl %edi, %edi movl %edx, %esi jne .L7 // use jne .L4: rep ; ret -O汇编代码 FibonacciTailRecur: .LFB2: pushq %rbp .LCFI0: movq %rsp, %rbp .LCFI1: subq $16, %rsp .LCFI2: movl %edi, -4(%rbp) movl %esi, -8(%rbp) movl %edx, -12(%rbp) cmpl $0, -4(%rbp) jne .L2 movl -8(%rbp), %eax movl %eax, -16(%rbp) jmp .L1 .L2: movl -12(%rbp), %eax movl -8(%rbp), %edx addl %eax, %edx movl -12(%rbp), %esi movl -4(%rbp), %edi decl %edi call FibonacciTailRecur //use call movl %eax, -16(%rbp) .L1: movl -16(%rbp), %eax leave ret 可以看到-O2时⽤了jne命令，每次调⽤下层递归并没有申请新的栈空间，⽽是更新当前帧的局部数据，重复使⽤当前帧，所以不管有多少