浅谈递归的机器实现

递归在计算机中是如何实现的 ? 换句话说,它最终被编译成什么样的机器语言 ? 这就要从函数调用说起。实际上,一台典型的32位计算机采用 “堆栈结构” 来实现函数调用,它在汇编语言中,把函数所需的第k个,第k - 1个,..第1个参数依次入栈,然后执行call(address)指令。该指令把返回地址(当前语句的下一条语句的地址)入栈,然后跳转到address位置的语句。在函数返回时,它执行ret指令。该指令把返回地址出栈,并跳转到该地址继续执行。

对于函数中定义的C + 局部变量,在每次执行call与ret指令时,也会在“栈”中相应地保存与复原,而作用范围超过该函数的变量,以及通过new和malloc函数动态分配的空间则保存在另一块称为 “堆”(注意, 这个堆与我们所说的二“寄存器 , 完成。的概念)的结构中。栈指针、 返回值、局部的运算会借助CPU的 ”寄存器“ 完成

  1. 局部变量在每层递归中都占有 - 份空间, 声明过多由此我们可以得知 : 或递归过深就会超过“栈”
    所能存储的范围,造成栈溢出。
  2. 非局部变量对于各层连归都共享同份空间,需要及时维护、还原现场,以防止在各层递归之间存储和读取的数据互相影响。

了解了递归的机器实现之后,我们就可以使用模拟的方法,把递归程序改写为非递归程序。具体来说,我们可以使用一个数组来模拟栈,使用变量来模拟栈指针和返回值,使用 switch / case 或者goto / label 来模拟语句跳转。

posted @ 2020-08-07 15:24  RioTian  阅读(189)  评论(0编辑  收藏  举报