03-4递归.pptVIP

第3.4章 递归 第3.4 章 递归 （Recursive） 3.4.1 递归的定义 3.4.2 递归的内部实现原理 3.4.3 递归程序的阅读 3.4.4 递归程序的正确性证明 3.4.5 递归程序的模拟——转换为非递归 第3.4章 递归 递归 是一种程序的形式，在函数体内调用自身 更是一种程序设计（算法设计）的技术 例 n ———— fn = fn-1 + fn-2 n -1 ———— fn-1 n -2 ———— fn-2 例 1 当n=0时 n!= n(n-1)! 当n0时 例 int fact（int n）{ void print( link L ){ if ( n == 0 ) return 1; if ( L != NULL ){ else return n * fact( n – 1 ); cout L - data; } print( L - next ); } } 3.4.1 递归的定义 定义：在函数体中引用自身，则称之为递归函数。 直接递归 间接递归 一般形式： void Pname( 参数表 ){ if ( 条件 ) //递归出口 简单操作; else { 简单操作; Pname (实参表); 简单操作; [Pname (实参表); 简单操作;] } //可能有多次的调用 } 3.4.2 递归的内部实现原理 一般函数的内部实现 3.4.2 递归的内部实现原理 （1）从程序的执行过程来讨论 在执行调用时, 计算机内部至少执行如下操作: （a） 保存返回地址, 即将返回地址入栈。 （b） 为被调子程序准备数据: 计算实在参数的值, 并赋给对应的形 参。 （c） 转入子程序执行。 在执行返回操作时, 计算机内部至少执行如下操作: （a） 从栈顶取出返回地址，并出栈。 （b） 按返回地址返回。 （2）关于局部变量的实现的讨论 在执行调用时, 内部操作如下: （a） 返回地址入栈，同时在栈顶为被调过程的局部变量和形参开 辟存储空间。 3.4.2递归的内部实现原理 （b）为被调子程序准备数据: 计算实在参数的值, 并赋给对应的 形参（在栈顶）。 （c） 转入子程序执行。 在执行返回操作时, 计算机内部至少执行如下操作: （a）从栈顶取出返回地址，并出栈（同时撤消了被调过程的局部 变量和形参）。 （b）按返回地址返回 （3）关于返回值的实现的讨论 返回操作的内部实现修改为如下几项: （a）若函数需要求值，将其值保存到回传变量中。 （b）从栈顶取出返回地址，并退栈。 （c）按返回地址返回。 （d）在返回后自动执行以下操作：若函数需要求值，从回传变量 中 取出所保存的值并传送到相应的变量或位置上。 3.4.2递归的内部实现