1
00:00:00,000 --> 00:00:05,587

2
00:00:05,587 --> 00:00:07,670
道格·劳埃德：如果你看过
视频上的递归，

3
00:00:07,670 --> 00:00:10,170
整个过程可能
似乎有点不可思议。

4
00:00:10,170 --> 00:00:10,930
它是如何工作的？

5
00:00:10,930 --> 00:00:15,010
如何职能知道他们
需要等待，等待另一个值

6
00:00:15,010 --> 00:00:19,150
从不同的功能回归
为了得到我们想要的结果打电话？

7
00:00:19,150 --> 00:00:22,550
>> 好了，这个工作的原因是因为
对一些被称为调用堆栈。

8
00:00:22,550 --> 00:00:26,360
当你调用一个函数时，
系统留出内存空间

9
00:00:26,360 --> 00:00:28,120
该函数来完成其工作。

10
00:00:28,120 --> 00:00:31,720
我们呼吁内存这些块的
被预留给每个功能

11
00:00:31,720 --> 00:00:35,670
调用堆栈帧或功能框架。

12
00:00:35,670 --> 00:00:38,290
正如你所期望的，
这些堆栈帧

13
00:00:38,290 --> 00:00:41,000
住在内存堆栈的一部分。

14
00:00:41,000 --> 00:00:43,960

15
00:00:43,960 --> 00:00:47,540
>> 多个函数栈帧
可以在内存在给定时间存在。

16
00:00:47,540 --> 00:00:51,240
如果主调用一个函数的举动，
与移动电话的方向，

17
00:00:51,240 --> 00:00:54,460
所有这三个功能都开放框架。

18
00:00:54,460 --> 00:00:57,350
但他们并不都具有积极的框架。

19
00:00:57,350 --> 00:00:59,410
这些帧被布置成堆叠。

20
00:00:59,410 --> 00:01:01,820
而从框架
最近被称为

21
00:01:01,820 --> 00:01:04,390
功能总是在堆栈的顶部。

22
00:01:04,390 --> 00:01:07,150
这始终是有效的框架。

23
00:01:07,150 --> 00:01:10,420
这里只有真正过1
功能处于活动状态的时间。

24
00:01:10,420 --> 00:01:12,420
这是一个在堆栈的顶部。

25
00:01:12,420 --> 00:01:17,620
>> 当一个函数调用另一个
功能，它的排序按暂停。

26
00:01:17,620 --> 00:01:20,590
排序是待命，等待着。

27
00:01:20,590 --> 00:01:24,050
而另一个堆栈帧被压
入堆栈在它的上面。

28
00:01:24,050 --> 00:01:26,150
而这将成为活动框架。

29
00:01:26,150 --> 00:01:28,600
和框架立即
下面需要等待

30
00:01:28,600 --> 00:01:33,560
直到它再次活动框架
才可以恢复工作。

31
00:01:33,560 --> 00:01:35,870
当一个功能是
完整，它的完成，

32
00:01:35,870 --> 00:01:37,720
其框架被弹出堆栈。

33
00:01:37,720 --> 00:01:38,950
这就是术语。

34
00:01:38,950 --> 00:01:41,110
和框架立即
在它下面，正如我刚才所说，

35
00:01:41,110 --> 00:01:42,880
成为新的活动框架。

36
00:01:42,880 --> 00:01:45,960
>> 而如果它调用另一个函数，
这将再次暂停。

37
00:01:45,960 --> 00:01:49,290
这个新功能的堆栈帧会
被压入堆栈的顶部。

38
00:01:49,290 --> 00:01:50,650
它会做的工作。

39
00:01:50,650 --> 00:01:52,100
它可能弹回了。

40
00:01:52,100 --> 00:01:55,630
和其它功能
下面就可以再次恢复。

41
00:01:55,630 --> 00:02:00,080
>> 因此，让我们通过这一次，看
在阶乘函数的想法

42
00:02:00,080 --> 00:02:03,070
我们在定义
递归视频看

43
00:02:03,070 --> 00:02:07,770
究竟这背后的魔力
递归过程正在发生。

44
00:02:07,770 --> 00:02:09,870
所以，这是我们整个文件，对不对？

45
00:02:09,870 --> 00:02:14,000
我们定义了两个
functions--主的事实。

46
00:02:14,000 --> 00:02:15,980
正如我们所预期的，
任何C程序是怎么回事

47
00:02:15,980 --> 00:02:18,470
处开始的主要的第一行。

48
00:02:18,470 --> 00:02:21,660
>> 因此，我们创造主一个新的堆栈帧。

49
00:02:21,660 --> 00:02:23,320
而且它会开始运行。

50
00:02:23,320 --> 00:02:25,270
主要调用printf。

51
00:02:25,270 --> 00:02:29,390
和printf是要
打印出的5阶乘。

52
00:02:29,390 --> 00:02:31,440
那么，它不知道
什么阶乘5，

53
00:02:31,440 --> 00:02:35,620
因此这个调用已
根据另一个函数调用。

54
00:02:35,620 --> 00:02:37,270
所以主要是要暂停在那里。

55
00:02:37,270 --> 00:02:39,103
我要离开了
箭头在那里，颜色

56
00:02:39,103 --> 00:02:41,360
它的颜色相同的
堆在右边框，

57
00:02:41,360 --> 00:02:47,720
以指示主要是要冻结
在这里而5阶乘被调用。

58
00:02:47,720 --> 00:02:49,300
>> 所以阶乘5被调用。

59
00:02:49,300 --> 00:02:53,160
而且它会启动在最
开始阶乘函数。

60
00:02:53,160 --> 00:02:55,440
它问这个问题我会等于1？

61
00:02:55,440 --> 00:02:56,810
是5等于1？

62
00:02:56,810 --> 00:02:57,410
哦，不。

63
00:02:57,410 --> 00:03:01,110
因此，它会下去
else部分，返回n倍

64
00:03:01,110 --> 00:03:02,990
阶乘ñ减1。

65
00:03:02,990 --> 00:03:03,490
嗯，好吧。

66
00:03:03,490 --> 00:03:07,070
>> 所以，现在的5阶乘是
根据另一个电话

67
00:03:07,070 --> 00:03:09,740
到阶乘，传递
在4作为参数。

68
00:03:09,740 --> 00:03:14,210
所以的阶乘
5架，即红色边框，

69
00:03:14,210 --> 00:03:17,160
会冻结在那里
在该行我已经指示

70
00:03:17,160 --> 00:03:21,914
和等待的4因子，完成
它所需要做的，这样则

71
00:03:21,914 --> 00:03:23,330
可以再次成为活动框架。

72
00:03:23,330 --> 00:03:26,890
>> 因此，在阶乘4开始
的阶乘的开始。

73
00:03:26,890 --> 00:03:28,556
为4等于1？

74
00:03:28,556 --> 00:03:30,180
没有，所以它会做同样的事情。

75
00:03:30,180 --> 00:03:31,590
这将下井else分支。

76
00:03:31,590 --> 00:03:33,240
它会得到该行的代码。

77
00:03:33,240 --> 00:03:35,710
好了，我要回四倍。

78
00:03:35,710 --> 00:03:41,270
呵呵，3--阶乘所以阶乘
4取决于3整理因子。

79
00:03:41,270 --> 00:03:43,055
>> 所以它需要调用的3因子。

80
00:03:43,055 --> 00:03:45,180
这就是要通过
再次同样的过程。

81
00:03:45,180 --> 00:03:48,200
它开始通过，送过来。

82
00:03:48,200 --> 00:03:50,980
3阶乘依赖
在1阶乘。

83
00:03:50,980 --> 00:03:53,750
所以阶乘2开始，送过来。

84
00:03:53,750 --> 00:03:56,310
这取决于1阶乘。

85
00:03:56,310 --> 00:03:57,430
阶乘的1开始。

86
00:03:57,430 --> 00:03:57,650
>> 好。

87
00:03:57,650 --> 00:03:59,775
所以，现在，我们正在
有趣的地方，对不对？

88
00:03:59,775 --> 00:04:02,190
所以，现在，1等于1。

89
00:04:02,190 --> 00:04:05,130
因此，我们返回1。

90
00:04:05,130 --> 00:04:06,770
在这一点上，我们正在返回。

91
00:04:06,770 --> 00:04:07,880
该函数的实现。

92
00:04:07,880 --> 00:04:11,140
它的行为is--有
闲来无事为它做，

93
00:04:11,140 --> 00:04:17,006
因此对于堆栈帧
1阶乘弹出关闭。

94
00:04:17,006 --> 00:04:17,589
都结束了。

95
00:04:17,589 --> 00:04:19,480
它返回1。

96
00:04:19,480 --> 00:04:23,370
而现在，2阶乘，这
立即低于它的帧

97
00:04:23,370 --> 00:04:26,160
在栈，成为活动框架。

98
00:04:26,160 --> 00:04:29,030
>> 它可以拿起
正是离开的地方。

99
00:04:29,030 --> 00:04:32,240
它一直在等待一个阶乘
1完成其工作。

100
00:04:32,240 --> 00:04:33,610
如今，它已完成。

101
00:04:33,610 --> 00:04:35,510
所以，我们在这里。

102
00:04:35,510 --> 00:04:38,080
>> 1阶乘返回值1。

103
00:04:38,080 --> 00:04:42,430
所以阶乘的2个CAN
说回2次1。

104
00:04:42,430 --> 00:04:43,680
它的工作现在已经完成。

105
00:04:43,680 --> 00:04:49,110
它返回2阶乘
3，这是等着呢。

106
00:04:49,110 --> 00:04:53,370
的3因子是现在顶框，
活动帧在堆栈中。

107
00:04:53,370 --> 00:04:58,617
所以它说，好了，好了，我要去
返回3次2，这是6。

108
00:04:58,617 --> 00:05:00,700
而我要去给那个
值回阶乘

109
00:05:00,700 --> 00:05:03,430
4，已在等着我。

110
00:05:03,430 --> 00:05:04,500
我受够了。

111
00:05:04,500 --> 00:05:09,410
3的阶乘离开本层，并
4阶乘是现在的活动框架。

112
00:05:09,410 --> 00:05:13,510
>> 4说，OK，我要回到4倍
3阶乘，这是六。

113
00:05:13,510 --> 00:05:15,980
这是值
3阶乘返回。

114
00:05:15,980 --> 00:05:19,010
所以，4次6是24。

115
00:05:19,010 --> 00:05:20,990
而我要通过
这回阶乘

116
00:05:20,990 --> 00:05:23,160
5，已经在等着我。

117
00:05:23,160 --> 00:05:25,270
5阶乘现在是活动框架。

118
00:05:25,270 --> 00:05:30,700
这将返回5倍
的4-- 5次24，或120--阶乘

119
00:05:30,700 --> 00:05:32,722
并给予该值
回到主，它具有

120
00:05:32,722 --> 00:05:35,680
一直在等待很耐心的
长时间在堆栈的底部。

121
00:05:35,680 --> 00:05:36,640
>> 这就是它开始。

122
00:05:36,640 --> 00:05:37,670
这让这一呼吁。

123
00:05:37,670 --> 00:05:39,400
几帧接手顶部。

124
00:05:39,400 --> 00:05:41,890
现在是回到了堆栈的顶部。

125
00:05:41,890 --> 00:05:43,450
这是活动框架。

126
00:05:43,450 --> 00:05:47,810
因此，主要得到了价值120
回从5阶乘。

127
00:05:47,810 --> 00:05:50,750
它一直在等待
打印出该值。

128
00:05:50,750 --> 00:05:51,657
然后，它的完成。

129
00:05:51,657 --> 00:05:53,240
有没有主多行代码。

130
00:05:53,240 --> 00:05:56,800
因此，主要的弹出框关闭
堆栈，我们就大功告成了。

131
00:05:56,800 --> 00:05:58,992
>> 这就是递归如何工作的。

132
00:05:58,992 --> 00:06:00,200
这是堆栈帧是如何工作的。

133
00:06:00,200 --> 00:06:03,120
这些函数调用
以前发生

134
00:06:03,120 --> 00:06:06,620
只是在暂停，等待
为随后的呼叫

135
00:06:06,620 --> 00:06:12,050
完成，这样他们可以成为活动
框架和抛光他们需要做的。

136
00:06:12,050 --> 00:06:13,060
>> 我是道格·劳埃德。

137
00:06:13,060 --> 00:06:14,880
这是CS50。

138
00:06:14,880 --> 00:06:16,580