Java 關于遞歸的調用機制精細解讀
方法的遞歸調用
1. 基本介紹:
簡單地說,遞歸就是方法自己調用自己,每次調用時傳入不同的變量,遞歸有助于編程者解決復雜問題的同時讓代碼變得簡潔,化繁為簡是其核心思想。
2. 遞歸能解決什么問題?
- 各種經(jīng)典數(shù)學問題,如:八皇后問題,漢諾塔(河內塔),階乘問題,迷宮問題,青蛙跳臺階,球和籃子的問題(Google編程大賽);
- 各種算法中也會使用到遞歸思想,比如快速排序(
quick sort),歸并排序(merge sort),二分查找(binary search),分治算法(divide and conquer)等; - 用棧解決的問題換成遞歸實現(xiàn) --> 遞歸代碼比較簡潔;
3. 遞歸舉例分析:
3.1 打印問題:
我們來看一哈這一段代碼:
package com.recursion;
class Test{
public void test(int n) {
if (n > 2) {
test(n - 1);
}
System.out.println("n=" + n);
}
}
public class Recursion {
public static void main(String[] args) {
Test t1 = new Test();
t1.test(4); //嘗試輸出看看
}
}
代碼截圖:

運行結果:

結果分析:
為了看起來比較規(guī)范,首先我們先簡單畫出 JVM內存區(qū)域 ,這里只涉及到??臻g,堆空間和方法區(qū):
- 首先看到
main方法(程序的入口),有C/C++基礎的小伙伴們應該曉得,我們知道在調用方法時,在??臻g中會創(chuàng)建相應的棧幀,main方法也是一個方法,也會被其他進程調用(在Linux中main函數(shù)有_start函數(shù)調用,這里不在展開,感興趣的小伙伴自行了解⑧),所以自然也會形成main棧幀。此時new了一個對象,此對象會在堆中創(chuàng)建,在棧中的引用變量會指向此堆空間,也就是保存了此對象的地址,如圖。 - 在
main方法中調用了test方法,所以在棧中也會創(chuàng)建test棧幀,此時我們傳入的n為4,接下來判斷n大于4嗎?很明顯大于4,所以在test棧中又要調用test(n-1),也就是調用test(3),既然調用了方法,那便又要在棧中創(chuàng)建相應的棧幀,以此類推。 - 當調用的方法為
test(2)時,此時判斷n大于2顯然為false,此時便要執(zhí)行方法的最后一句語句,也就是sout打印語句,此時便會先打印2,打印完2之后方法結束(被操作系統(tǒng)回收/資源銷毀),返回到前一個調用此方法的棧幀中,也是以此類推,直到main方法結束。 - 具體機制見下圖。

接上圖~~

到這里,我們大概就能懂為啥是先打印2,再打印3,最后才打印4了。
我們再來進一步拓展一下上述問題:
源代碼:
package com.recursion;
class Test{
public void test(int n) {
if (n > 2) {
test(n - 1);
} else { //唯一區(qū)別就是加了else
System.out.println("n=" + n);
}
}
}
public class Recursion {
public static void main(String[] args) {
Test t1 = new Test();
t1.test(4); //嘗試輸出看看
}
}
代碼截圖:

運行結果:

嘗試自己分析一下⑧,簡單來說就是if執(zhí)行了else就不執(zhí)行,else執(zhí)行了說明if也沒執(zhí)行。
3.2 階乘問題:
源代碼:
package com.recursion;
class Test01 {
public int factorial(int n) {
if (n == 1) {
return 1;
} else {
return factorial(n - 1) * n;
}
}
}
public class Factorial {
public static void main(String[] args) {
Test01 test = new Test01();
int ret = test.factorial(5);
System.out.println("ret=" + ret);
}
}
運行結果:

結果分析:大體上都跟前面的打印例子差不多,都是調用自身時在棧上開辟相應的棧幀,前面忘說了,棧幀其實會二次開辟的,啥意思呢,就是說調用方法時先在棧上分配一塊較大的空間,也就是棧幀,而在棧幀內部還會進行一次具體的內存劃分,具體到每一個變量。每個棧幀結束后將返回值返回給上一個棧幀,以此類推就能清晰明了的弄清楚遞歸的調用機制。

遞歸的重要規(guī)則:
- 執(zhí)行一個方法時,就創(chuàng)建一個相應的新的受保護的獨立空間 (??臻g/棧幀);
- 方法的局部變量是獨立的,不會相互影響,比如前面多次提到的n變量;
- 如果方法中使用的是引用類型變量,比如數(shù)組或者
String類型變量,就會共享該引用類型的數(shù)據(jù) (指向同一堆空間); - 遞歸必須向退出遞歸的條件逼近,否則就是無限遞歸,會出現(xiàn)棧溢出
Stack Overflow Error,也就是死循環(huán); - 當一個方法執(zhí)行完畢,或者遇到
return時,就會返回,返回的規(guī)則遵守誰調用就將結果返回給誰,同時當方法執(zhí)行完畢或者返回時,該方法也就是執(zhí)行完畢,還給操作系統(tǒng),具體是啥時候還給操作系統(tǒng)這要看當時的環(huán)境;
到此這篇關于Java 關于遞歸的調用機制精細解讀的文章就介紹到這了,更多相關Java 遞歸內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家!
相關文章
IntelliJ?IDEA?2022.2最新版本激活教程(親測可用版)永久激活工具分享
Jetbrains官方發(fā)布了?IntelliJ?IDEA2022.2?正式版,每次大的版本更新,都會有較大的調整和優(yōu)化,除本次更新全面擁抱?Java?17?外,還有對IDE?UI界面,安全性,便捷性等都做了調整和優(yōu)化完善,用戶體驗提升不少,相信后面會有不少小伙伴跟著更新2022-08-08
Mybatis-Plus 條件構造器 QueryWrapper 的基本用法
這篇文章主要介紹了Mybatis-Plus - 條件構造器 QueryWrapper 的使用,通過實例代碼給大家介紹了查詢示例代碼及實現(xiàn)需求,代碼簡單易懂,對大家的學習或工作具有一定的參考借鑒價值,需要的朋友可以參考下2021-09-09
java?mybatis如何操作postgresql?array數(shù)組類型
這篇文章主要介紹了java?mybatis如何操作postgresql?array數(shù)組類型,具有很好的參考價值,希望對大家有所幫助。如有錯誤或未考慮完全的地方,望不吝賜教2022-01-01

