码迷,mamicode.com
首页 > 其他好文 > 详细

递归函数底层原理浅析

时间:2021-04-23 12:01:13      阅读:0      评论:0      收藏:0      [点我收藏+]

标签:函数调用   src   rgb   style   parameter   stack   局部变量   分解   大小   

一、递归函数

  看如下递归函数:

1 int f(int n){
2     if(n == 1){
3         return 1;
4     }
5     return f(n - 1) + 1;
6 }

  客户端调用该递归函数时传入n = 5, 返回的函数值为5。那么它的调用堆栈(call stack)是怎么样的?又是如何计算结果等于5呢?

二、函数调用栈

  函数调用栈:

The function call stack (often referred to just as the call stack or the stack) is responsible for maintaining the local variables and parameters during function execution.

  通过vs2019的call stack窗口,我们可以看到上面递归函数的递归调用栈:

      技术图片

 

 

     技术图片

 

  结果确实是5,那么是怎么计算的呢?这个就需要了解栈帧了。我们在Visual Studio上也可以看到:

      技术图片

三、栈帧

  概念:

  技术图片

 

  栈帧的框架包含内容:

  技术图片

 

  • 函数局部变量
  • 需要返回的被子程序修改的寄存器副本信息
  • 函数的形式参数
  • 返回启调函数调用被调函数的地址

   通过对上面栈帧的简单了解,我们可以绘制上面函数的递归调用栈信息:

  在传入的形式参数没有满足递归退出条件前,函数会被断地压入栈中;除去主函数的栈帧外,

  递归函数被压入了5个栈帧,每个栈帧保存的形参都是不同的,分别为:5, 4, 3, 2, 1(从下到上)。

        技术图片

   当满足递归函数返回的条件后,开始退栈操作,如下:

  技术图片

  技术图片

 

   技术图片

  技术图片

  技术图片

 

   其实上面绘图中的main栈帧少了一个局部变量sum,最后递归函数返回的值5赋值给sum,即sum=5。

  通过上面图形并茂的方式,大家是不是对递归调用有了深入的认识,递归将问题不断地分解成很小的问题,最终解决大的问题。

 四、递归函数使用问题

  递归函数可以有效减少代码逻辑,但是也会出现很多其他问题:

  1. 递归函数一定要有递归出口,否则栈内存耗尽而导致程序崩溃
  2. 递归函数尽可能小,局部变量尽可能少,递归层次可控范围。否则可能因为栈内存耗尽而崩溃
  3. 尽量将递归函数替换成循环体

  我使用Visual Studio默认的递归栈大小是1M,如果需要提供递归栈大小,可以参考MSDN文档进行修改。我们一般在测试的时候将栈大小改小,方便发现递归函数的bug。

参考:

https://cs.gmu.edu/~kauffman/cs222/stack-demo.html

https://www.techopedia.com/definition/22304/stack-frame

递归函数底层原理浅析

标签:函数调用   src   rgb   style   parameter   stack   局部变量   分解   大小   

原文地址:https://www.cnblogs.com/smartNeo/p/14690546.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!