当前位置: 首页 > article >正文

数据结构:递归(Recursion)

目录

示例1:先打印,再递归

 示例2:先递归,再打印

递归的两个阶段 

 递归是如何使用栈内存

复杂度分析

递归中的静态变量 

内存结构图解


递归:函数调用自己 + 必须有判断条件来使递归继续或停止

我们现在通过这两个示例代码,用“递归调用树”的方式,一步步直观分析,并进行对比。

示例1:先打印,再递归

void fun(int x)
{if(x > 0){printf("%d", x);fun(x - 1);}
}int main()
{int x = 3;fun(x);
}

执行流程(调用栈顺序) 

main -> fun(3)|--> print 3--> fun(2)|--> print 2--> fun(1)|--> print 1--> fun(0) -> 终止

调用树结构

fun(3)└── print 3└── fun(2)└── print 2└── fun(1)└── print 1└── fun(0) [结束]

输出结果

321

 

 示例2:先递归,再打印

void fun(int x)
{if(x > 0){fun(x - 1);printf("%d", x);}
}int main()
{int x = 3;fun(x);
}

执行流程(调用栈顺序)

main -> fun(3)|--> fun(2)|--> fun(1)|--> fun(0) [终止]<-- print 1<-- print 2<-- print 3

调用树结构

fun(3)└── fun(2)└── fun(1)└── fun(0) [结束]└── print 1└── print 2└── print 3

输出结果

123

 


 

递归的两个阶段 

递归包含两个阶段:calling(上升阶段 / Ascending)和returning(下降阶段 / Descending)

void fun(int x)
{if(x > 0){// calling,又叫 Ascendingfun(x - 1);  // 如果这里有其他操作(例如 fun(x-1)*2),则属于 returning// returning,又叫 Descending}
}

我们假设执行 fun(3)

🌿 调用过程(Calling / Ascending):

fun(3)
└── fun(2)└── fun(1)└── fun(0)  // 到这里终止(因为 x > 0 不成立)

这部分就是不断往下递归调用自己的过程,称为“上升阶段”,因为递归在“深入栈底”,一层一层地压入调用栈中。

在这个阶段,“程序在挖坑”,但并没有开始“填坑”。

🌀 返回过程(Returning / Descending)

fun(0) 终止后,每一层函数从栈中返回: 

fun(0) 返回到 fun(1)
→ fun(1) 返回到 fun(2)
→ fun(2) 返回到 fun(3)
→ fun(3) 返回到 main

这个阶段称为“下降阶段”,也可以叫returning,因为每一次递归调用返回时都会执行“fun(x - 1)”后面的语句(如果有的话)。 

 


 递归是如何使用栈内存

在 C 语言中,每一次函数调用都会在内存中开辟一个栈帧(Stack Frame),用来保存该函数的局部变量、参数、返回地址等。

当你调用递归函数 fun(x) 时,每次调用都会压入(push)一个新的栈帧,等函数返回后再弹出(pop)这个栈帧。

我们以下面的代码为例:

void fun(int x)
{if(x > 0){printf("%d", x);fun(x - 1);}
}

✅ 第一步:main() 调用 fun(3)

+------------------------+ ← 栈顶(最新压栈)
| fun(x=3) 的栈帧         | ← 保存参数 x=3,返回地址
+------------------------+
| main() 的栈帧           |
+------------------------+

✅ 第二步:进入 fun(2)(x=2)

+------------------------+
| fun(x=2) 的栈帧         |
+------------------------+
| fun(x=3) 的栈帧         |
+------------------------+
| main() 的栈帧           |
+------------------------+

✅ 第三步:进入 fun(1)(x=1)

+------------------------+
| fun(x=1) 的栈帧         |
+------------------------+
| fun(x=2) 的栈帧         |
+------------------------+
| fun(x=3) 的栈帧         |
+------------------------+
| main() 的栈帧           |
+------------------------+

✅ 第四步:进入 fun(0)(不执行递归)

+------------------------+
| fun(x=0) 的栈帧         | ← 条件不成立,直接返回
+------------------------+
| fun(x=1) 的栈帧         |
| fun(x=2) 的栈帧         |
| fun(x=3) 的栈帧         |
| main() 的栈帧           |
+------------------------+

⬅️ 之后依次弹栈回到 main(),释放这些栈帧。


 

复杂度分析

✅ 时间复杂度:O(n)

我们要分析的是:fun(n) 一共要花费多少单位时间?

  • 执行一次 if (x > 0) :1 单位时间

  • 执行一次 printf("%d", x) :1 单位时间

  • 执行一次 fun(x - 1) :记作 T(n-1) 单位时间(递归调用自身的耗时)

所以,每次调用 fun(x) 的总时间 T(n) 是:

T(n) = 1(if 判断)+ 1(打印)+ T(n - 1)
T(n) = 1 + 1 + T(n-1)= 2 + T(n-1)T(n-1) = 2 + T(n-2)
T(n-2) = 2 + T(n-3)
...
T(1) = 2 + T(0)
T(0) = 1(只执行一次 if,条件不成立直接返回)

 所以:

T(n) = 2n + 1
名称表达式说明
总时间函数T(n) = 2n + 1包括每次调用的 if 和 printf,共 2n 次操作 + 1 次 base case
时间复杂度O(n)取最高阶忽略常数,线性复杂度

✅ 空间复杂度(栈空间):O(n)

  • 每次递归调用会创建一个新的栈帧。

  • 所以最多有 n+1 层递归(从 x = n 到 x = 0)

  • 所以空间复杂度也是:O(n)


 

递归中的静态变量 

int fun(int n)
{static int x = 0;  // 静态变量,只初始化一次,保存在**静态区(数据段)**if(n > 0){x++;return fun(n - 1) + x;}return 0;
}

普通局部变量:

  • 每次函数调用都会新建一个副本,存在栈区

  • 调用结束后销毁,不会“记住”上一次的值

 静态局部变量 static

  • 生命周期为整个程序运行期间

  • 只初始化一次

  • 存储在静态存储区(Data Segment),不在栈区

  • 所以每次递归调用都共享同一个 x

递归过程树 

                      fun(5)|vfun(4) + x=1 → return ?|vfun(3) + x=2 → return ?|vfun(2) + x=3 → return ?|vfun(1) + x=4 → return ?|vfun(0)       → return 0开始回溯:
fun(1): return 0 + x=5 = 5
fun(2): return 5 + x=5 = 10
fun(3): return 10 + x=5 = 15
fun(4): return 15 + x=5 = 20
fun(5): return 20 + x=5 = 25

 

 

❗ 注意:x 在每次递归调用时都自增,最终值是 x=5

而因为每次回溯时都加的是 当前 x=5,所以:

最终返回值 = 5 + 5 + 5 + 5 + 5 = 25

内存结构图解

+---------------------------+ ← 低地址
| 代码区(Text)             | ← 编译后的 fun() / main() 指令
+---------------------------+
| 数据段(Static / Global)  |
| static int x = 0;         | ← 所有递归共享这一个变量
+---------------------------+
| 栈区(Stack)              |
| fun(n=1) 的栈帧            |
| fun(n=2) 的栈帧            |
| fun(n=3) 的栈帧            |
| fun(n=4) 的栈帧            |
| fun(n=5) 的栈帧            |
| main() 的栈帧              |
+---------------------------+
|                           |
| 堆区(Heap)               | ← malloc / new 用
+---------------------------+ ← 高地址
http://www.lryc.cn/news/2397569.html

相关文章:

  • Cesium快速入门到精通系列教程一:打造第一个Cesium应用
  • 力扣题解106:从中序与后序遍历序列构造二叉树
  • Vue传参Props还是Pinia
  • 学习STC51单片机25(芯片为STC89C52RCRC)
  • 宁夏农业科技:创新引领,赋能现代农业新篇章
  • Accelerate 2025北亚巡展正式启航!AI智御全球·引领安全新时代
  • 005学生心理咨询评估系统技术解析:搭建科学心理评估平台
  • azure devops 系列 - 常用的task
  • 贪心算法应用:多重背包启发式问题详解
  • 【保姆级教程】PDF批量转图文笔记
  • Pytest Fixture 是什么?
  • Spring Boot 基础知识全面解析:快速构建企业级应用的核心指南
  • 数据库系统概论(十一)SQL 集合查询 超详细讲解(附带例题表格对比带你一步步掌握)
  • [mcu]系统频率
  • clickhouse如何查看操作记录,从日志来查看写入是否成功
  • 5G-A:开启通信与行业变革的新时代
  • 鸿蒙OS在UniApp中集成Three.js:打造跨平台3D可视化应用#三方框架 #Uniapp
  • Vue 3 组件化设计实践:构建可扩展、高内聚的前端体系
  • 腾讯云 Python3.12.8 通过yum安装 并设置为默认版本
  • 鸿蒙OSUniApp页面切换动效实战:打造流畅精致的转场体验#三方框架 #Uniapp
  • React 泛型组件:用TS来打造灵活的组件。
  • TDengine 集群运行监控
  • 图像任务中的并发处理:线程池、Ray、Celery 和 asyncio 的比较
  • DeepSeek 赋能智能物流:解锁仓储机器人调度的无限可能
  • C#上传图片后压缩
  • uniapp路由跳转toolbar页面
  • 【linux】知识梳理
  • PostgreSQL 内置扩展列表
  • NodeMediaEdge快速上手
  • ChatOn:智能AI聊天助手,开启高效互动新时代