递归的定义
在定义一个过程或函数时出现调用本过程或本函数的成分称为递归。若调用自身,称为直接调用。若过程或函数p调用过程或函数q,而q又调用p,称为间接递归。
在算法设计中,任何间接递归算法都可以转换为直接递归算法来实现,所以后面主要讨论直接递归。
如果一个递归过程或递归函数中的递归调用语句是最后一条执行语句,则称这种递归调用称为尾递归。
栈和递归
函数调用栈
单个函数调用操作所使用的函数调用栈被称为栈帧结构。每次函数调用时都会相应地创建一帧,保存返回地址,函数实参和局部变量相等,并将该帧压入调用栈。若在该函数返回之前又发生了新的调用,则同样要将与新函数对应的一帧进栈,成为栈顶。函数一旦执行完毕,对应的帧便出栈,控制权交还给该函数的上层调用函数,并按照该帧中保存的返回地址确定程序中继续执行的位置。
递归调用的实现
递归是函数调用的一种特殊情况,即它是调用自身代码。因此,也可以把每一次递归调用理解成调用自身代码的一个复制件。由于每次调用时,它的参数和局部变量可能不相同,因而也就保证了各个复制件执行时的独立性。
递归算法的设计
- 对原问题进行分析,假设出合理的小问题
- 假设小问题是可解的,在此基础上确定大问题的解,即给出大问题和小问题间的关系,也就是确定递归体
- 确定一个特定情况