zoukankan      html  css  js  c++  java
  • 普通递归与尾递归以及如何在编程阶段和编译阶段支持尾递归

    由于for和foreach是命令式语言的产物,所以递归在函数式编程中使用的相当普遍,但递归的问题在于它会导致堆栈的溢出,为了解决这个问题人们重新设计了一种递归的算法--尾递归,利用这种算法我们可以在编译时将CALL指令转化为JMP指令,这样递归调用就只会占用一个堆栈帧,但这样做的前提是必须首先对递归算法进行改造使之符合尾递归的标准,那么什么是符合尾递归的标准呢?

    先看一个普通递归调用的例子:

        class Program
    {
    static void Main(string[] args)
    {
    var result = FactorialNormalRecursively(5);
    }

    public static int FactorialNormalRecursively(int n)
    {
    if (n == 1)
    {
    return 1;
    }
    return FactorialNormalRecursively(n - 1) * n;
    }
    }

    如果执行 FactorialNormalRecursively(5)那么具体的算法如下:

    5 * (4 * (3*(2* (1))))

    这种算法的问题在于我们每次都是先执行递归调用再执行*运算,在这种情况下我们是没有办法在编译时将CALL改成JMP的(请参考下文中汇编代码)。

    以下是改造后的符合尾递归标准的递归:

        class Program
    {
    static void Main(string[] args)
    {
    var result = FactorialTailRecursively(5, 1);
    }

    public static int FactorialTailRecursively(int n, int result)
    {
    result = result * n;
    if (n == 1)
    {
    return result;
    }
    return FactorialTailRecursively(n - 1, result);
    }
    }

    如果执行 FactorialTailRecursively(5,1)那么具体的算法如下:

    ((((5 * 4) * 3) * 2)* 1)
    这个算法和之前算法最大的不同在于这个算法是先执行*计算再执行递归调用,在这种情况下我们就可以在编译时将CALL改成JMP从而只用消耗一个堆栈帧(请参考下文中汇编代码)。

     具体的汇编代码分析如下:

    //普通递归调用汇编源代码

    int result = FactorialNormalRecursively(5);
    00000035 mov ecx,5【参数n通过ecx传递】
    0000003a call FD3FB008
    0000003f mov dword ptr [ebp-44h],eax【结果通过eax传回】
    00000042 mov eax,dword ptr [ebp-44h]
    00000045 mov dword ptr [ebp-40h],eax【保存r值】
    public static int FactorialNormalRecursively(int n)
    {
    00000000 push ebp
    00000001 mov ebp,esp
    00000003 push edi
    00000004 push esi
    00000005 push ebx
    00000006 sub esp,3Ch
    00000009 mov esi,ecx
    0000000b lea edi,[ebp-38h]
    0000000e mov ecx,0Bh
    00000013 xor eax,eax
    00000015 rep stos dword ptr es:[edi]
    00000017 mov ecx,esi
    00000019 xor eax,eax
    0000001b mov dword ptr [ebp-1Ch],eax
    0000001e mov dword ptr [ebp-3Ch],ecx
    00000021 cmp dword ptr ds:[009D9134h],0
    00000028 je 0000002F
    0000002a call 76AE9109
    0000002f xor edx,edx
    00000031 mov dword ptr [ebp-40h],edx
    00000034 mov dword ptr [ebp-44h],0
    0000003b nop
    if (n == 1)
    0000003c cmp dword ptr [ebp-3Ch],1
    00000040 setne al
    00000043 movzx eax,al
    00000046 mov dword ptr [ebp-44h],eax
    00000049 cmp dword ptr [ebp-44h],0
    0000004d jne 0000005A
    {
    0000004f nop
    return 1;
    00000050 mov dword ptr [ebp-40h],1
    00000057 nop
    00000058 jmp 00000073
    }
    return FactorialNormalRecursively(n - 1) * n;
    0000005a mov ecx,dword ptr [ebp-3Ch]
    0000005d dec ecx
    0000005e call FD3FAF98【普通递归在Call自己之后会有一些代码,这是改造成尾递归的关键所在】
    00000063 mov dword ptr [ebp-48h],eax
    00000066 mov eax,dword ptr [ebp-3Ch]
    00000069 imul eax,dword ptr [ebp-48h]
    0000006d mov dword ptr [ebp-40h],eax
    00000070 nop
    00000071 jmp 00000073
    }
    00000073 mov eax,dword ptr [ebp-40h]
    00000076 lea esp,[ebp-0Ch]
    00000079 pop ebx
    0000007a pop esi
    0000007b pop edi
    0000007c pop ebp
    0000007d ret

    //符合尾递归的递归调用汇编源代码

    int result = FactorialTailRecursively(5, 1);
    00000035 mov edx,1【参数result通过edx传递】
    0000003a mov ecx,5【参数n通过ecx传递】
    0000003f call FD3FB008
    00000044 mov dword ptr [ebp-44h],eax【结果通过eax传回】
    00000047 mov eax,dword ptr [ebp-44h]
    0000004a mov dword ptr [ebp-40h],eax【保存r值】
    public static int FactorialTailRecursively(int n, int result)
    {
    00000000 push ebp
    00000001 mov ebp,esp
    00000003 push edi
    00000004 push esi
    00000005 push ebx
    00000006 sub esp,40h
    00000009 mov esi,ecx
    0000000b lea edi,[ebp-38h]
    0000000e mov ecx,0Bh
    00000013 xor eax,eax
    00000015 rep stos dword ptr es:[edi]
    00000017 mov ecx,esi
    00000019 xor eax,eax
    0000001b mov dword ptr [ebp-1Ch],eax
    0000001e mov dword ptr [ebp-3Ch],ecx
    00000021 mov dword ptr [ebp-40h],edx
    00000024 cmp dword ptr ds:[009D9134h],0
    0000002b je 00000032
    0000002d call 76AE9111
    00000032 xor edx,edx
    00000034 mov dword ptr [ebp-44h],edx
    00000037 mov dword ptr [ebp-48h],0
    0000003e nop
    result = result * n;
    0000003f mov eax,dword ptr [ebp-3Ch]
    00000042 imul eax,dword ptr [ebp-40h]
    00000046 mov dword ptr [ebp-40h],eax
    if (n == 1)
    00000049 cmp dword ptr [ebp-3Ch],1
    0000004d setne al
    00000050 movzx eax,al
    00000053 mov dword ptr [ebp-48h],eax
    00000056 cmp dword ptr [ebp-48h],0
    0000005a jne 00000066
    {
    0000005c nop
    return result;
    0000005d mov eax,dword ptr [ebp-40h]
    00000060 mov dword ptr [ebp-44h],eax
    00000063 nop
    00000064 jmp 0000007E
    }
    return FactorialTailRecursively(n - 1, result);
    00000066 mov ecx,dword ptr [ebp-3Ch]
    00000069 dec ecx
    0000006a mov edx,dword ptr [ebp-40h]【mov dword ptr [ebp-3Ch],ecx】
    0000006d call FD3FAFA0【jmp 0000003f】
    00000072 mov dword ptr [ebp-4Ch],eax【Remove the line】
    00000075 mov eax,dword ptr [ebp-4Ch]【Remove the line】
    00000078 mov dword ptr [ebp-44h],eax【Remove the line】
    0000007b nop 【Remove the line】
    0000007c jmp 0000007E【Remove the line】
    }
    0000007e mov eax,dword ptr [ebp-44h]
    00000081 lea esp,[ebp-0Ch]
    00000084 pop ebx
    00000085 pop esi
    00000086 pop edi
    00000087 pop ebp
    00000088 ret
  • 相关阅读:
    jquery easy ui 学习 (8)basic treegrid
    jquery easy ui 学习 (7) TreeGrid Actions
    jquery easy ui 学习 (6) basic validatebox
    jquery easy ui 学习 (5) windowlayout
    jquery easy ui 学习 (4) window 打开之后 限制操纵后面元素属性
    提示“应用程序无法启动,因为应用程序的并行配置不正确”不能加载 System.Data.SQLite.dll
    visual studio 添加虚线的快捷键
    VS2010打开项目时,出现“已经在解决方案中打开了具有该名称的项目”问题的解决方案
    visual studio 编译时 出现 Files 的值 乱码
    微信 连接被意外关闭
  • 原文地址:https://www.cnblogs.com/zanxiaofeng/p/1982569.html
Copyright © 2011-2022 走看看