面試的時候被問過這樣一個問題“你來講講Java里的堆?！碑敃r我腦子里的第一反應(yīng)是“棧不是用來存局部變量的嗎堆不是用來new對象的嗎”但對方緊接著追問了一句“那數(shù)據(jù)結(jié)構(gòu)里的棧呢它和JVM里的棧又是什么關(guān)系”那一刻我突然意識到很多自學Java的人——包括當時的我——其實一直都在“假裝懂堆棧”。后來帶過不少實習生發(fā)現(xiàn)這個問題幾乎是所有人的坎。原因不復(fù)雜“堆棧”這個詞在Java里被用得太濫了它至少同時指代了兩件完全不同的東西一套是JVM運行時內(nèi)存區(qū)域的劃分另一套是計算機數(shù)據(jù)結(jié)構(gòu)里的“?！?。偏偏這兩者又都叫“棧”連面試官自己有時候都默認你能無縫切換語境。本文就把這兩條線索徹底捋清楚用最樸素的大白話講透JVM棧、堆內(nèi)存、數(shù)據(jù)結(jié)構(gòu)棧、方法調(diào)用幀、堆棧溢出排查這些概念配合可以直接運行的Java代碼和命令行工具讓你看過之后既能在面試里講明白也能在實戰(zhàn)中真正用得上。1. 先解開“堆?！边@個詞的雙重身份1.1 你口中的“堆棧”到底是內(nèi)存區(qū)域還是數(shù)據(jù)結(jié)構(gòu)先做一次徹底的“詞語勘誤”。在Java的世界里“堆?！边@個說法其實是個懶人叫法它實際包含了兩個維度。第一個維度是JVM運行時數(shù)據(jù)區(qū)。Java程序跑起來之后JVM會向操作系統(tǒng)申請一塊內(nèi)存然后把這塊內(nèi)存劃分成若干區(qū)域。其中有兩個區(qū)域的名字剛好叫“堆”和“虛擬機?！倍袶eap用來存對象實例虛擬機棧VM Stack用來存方法調(diào)用過程中的局部變量和中間結(jié)果。這是從“內(nèi)存管理”的角度去說的堆棧。第二個維度是數(shù)據(jù)結(jié)構(gòu)。棧Stack是一種“后進先出”LIFOLast In First Out的線性表它的典型操作只有兩個壓棧push和彈棧pop。隊列、鏈表、樹、圖這些概念和它并列屬于“算法和數(shù)據(jù)結(jié)構(gòu)”的范疇。這是從“組織數(shù)據(jù)的方式”的角度去說的棧。你發(fā)現(xiàn)沒有——這兩個維度唯一的共同點僅僅是“?！边@個單詞。JVM虛擬機棧是在內(nèi)存里劃出的一塊區(qū)域數(shù)據(jù)結(jié)構(gòu)棧是一種抽象的數(shù)據(jù)組織形式。至于“為什么JVM里的棧恰好就用了棧這種后進先出的結(jié)構(gòu)”那是因為方法調(diào)用天然具備后進先出的特性最后調(diào)用的方法最先返回。這個設(shè)計不是巧合而是必然后面我會詳細講。1.2 為什么小白總把“堆?！被鞛橐徽勔驗橹形睦铩岸褩！苯?jīng)常被當成一個詞用而英文里它其實是“Heap”和“Stack”兩個詞。網(wǎng)上很多零散教程在講“Java堆?！钡臅r候一會兒貼JVM內(nèi)存模型圖一會兒又畫數(shù)據(jù)結(jié)構(gòu)圖來回跳切讀者自然就懵了。加上面試題里經(jīng)常有“說說堆和棧的區(qū)別”這種問法默認把“堆”等同于“JVM堆”、“?！钡韧凇皵?shù)據(jù)結(jié)構(gòu)棧”這種“默認”本身就很不嚴謹。我的建議是學的時候把兩條線分開一條線叫“JVM內(nèi)存區(qū)域”另一條線叫“數(shù)據(jù)結(jié)構(gòu)”?？荚嚭兔嬖嚨臅r候先反問對方“你問的是哪個?！薄@不是抬杠而是專業(yè)性的體現(xiàn)。這篇文章也是按照兩條線分別展開的看完之后你腦子里應(yīng)該形成一張清晰的雙欄對照表。2. 第一條線JVM內(nèi)存模型里的“?！?.1 虛擬機棧里到底放了什么先記住一個結(jié)論JVM的虛擬機棧是線程私有的每個線程一個棧棧里面裝的是棧幀Stack Frame每個棧幀對應(yīng)一個正在執(zhí)行的方法調(diào)用。這句話怎么理解你把“棧幀”想象成一張“工作記錄單”。你調(diào)用一個方法JVM就給你發(fā)放一張記錄單上面寫著四欄信息局部變量表存方法的參數(shù)和方法內(nèi)部定義的局部變量。比如我寫了一個int add(int a, int b) { int c a b; return c; }那么a、b、c這三個int類型的變量就都存在這一欄里。注意如果局部變量是引用類型存的不是對象本體而是對象的引用地址。操作數(shù)棧方法在計算過程中的“臨時草稿紙”。比如執(zhí)行a bJVM會把a的值壓到操作數(shù)棧里再把b的值壓進去然后執(zhí)行加法指令把兩個數(shù)彈出來相加再把結(jié)果壓回去。動態(tài)鏈接指向常量池中該方法的引用作用是把符號引用解析為直接引用。這個概念面試偶爾問實際開發(fā)中可以暫時理解為“這個方法在常量池里的身份標識”。方法返回地址方法執(zhí)行完之后回到哪里繼續(xù)執(zhí)行。方法正常返回時JVM需要知道調(diào)用方方法的下一條指令地址在哪里。所以當多個方法嵌套調(diào)用時虛擬機棧里就會疊多個棧幀main方法在底部它調(diào)用的方法疊在上面再調(diào)用的方法又疊在上面。最上面的棧幀是“當前正在執(zhí)行”的方法。方法一旦返回對應(yīng)的棧幀就會出棧銷毀。這正是“后進先出”的體現(xiàn)——最后壓入棧的棧幀最先彈出去。2.2 用一段代碼看清棧幀的“疊羅漢”拿下面這段代碼舉例public class StackFrameDemo { public static void main(String[] args) { System.out.println(main start); methodA(); System.out.println(main end); } static void methodA() { System.out.println(enter A); methodB(); System.out.println(exit A); } static void methodB() { System.out.println(enter B); int x 1 1; System.out.println(exit B, x x); } }當main方法執(zhí)行到methodA()這一行時虛擬機棧長這樣棧頂 - methodB() 棧幀 methodA() 棧幀 棧底 - main() 棧幀這個疊加順序和“后進先出”完全對應(yīng)。methodB執(zhí)行完它自己的棧幀被彈出methodA恢復(fù)執(zhí)行methodA執(zhí)行完它的棧幀再彈出main恢復(fù)執(zhí)行main結(jié)束時整個線程的虛擬機棧變成空。你在IDE里打斷點調(diào)試時調(diào)用棧Call Stack面板上顯示的每一行就是這些棧幀的可視化呈現(xiàn)。2.3 每個線程都有自己的“棧”互不共享虛擬機棧是線程私有的——這句話有非常實際的意義你在代碼里的多線程環(huán)境下每個線程各自維護一份獨立的方法調(diào)用?；ゲ桓蓴_不需要加鎖同步。而后面要講的堆是線程共享的所以才需要各種并發(fā)控制。這也是“棧快堆慢”的一個重要原因棧的入棧出棧只涉及棧頂指針的移動天然線程安全堆的分配和回收要考慮多線程競爭。順帶一提JVM規(guī)范里允許虛擬機棧的實現(xiàn)可以是“固定大小”的也可以是“動態(tài)擴展”的。HotSpot虛擬機采用固定大小方式棧容量在創(chuàng)建線程時就確定了默認大小因平臺而異通常在256KB到1MB之間也可以在創(chuàng)建線程時通過-Xss參數(shù)指定。如果線程的調(diào)用深度超過棧容量就會拋出StackOverflowError。這個異常我們后面專門講。2.4 使用官方工具可視化驗證紙上得來終覺淺建議你自己動手驗證一次。寫一個簡單的死循環(huán)程序讓線程停留在某個方法里然后用JDK自帶的jstack工具打印線程棧jstack 進程PID輸出里面會有main線程的調(diào)用棧信息長這樣main #1 prio5 os_prio0 cpu... tid... at com.example.StackFrameDemo.methodB(StackFrameDemo.java:18) at com.example.StackFrameDemo.methodA(StackFrameDemo.java:12) at com.example.StackFrameDemo.main(StackFrameDemo.java:6)注意看這個列表的閱讀順序是自底向上第一行是當前正在執(zhí)行方法最新的一幀往下依次是外層調(diào)用方。這本身就是一張活的棧幀快照。遇到線上問題排查線程卡死、死鎖、高CPU占用時jstack是入門第一工具請務(wù)必親手跑一次。3. 第二條線數(shù)據(jù)結(jié)構(gòu)里的“?！?.1 棧是怎么“后進先出”的數(shù)據(jù)結(jié)構(gòu)里定義的棧簡單說就是一個“只允許在一端棧頂進行插入和刪除操作的線性表”。它只有兩個核心操作push把元素壓入棧頂。pop把棧頂元素彈出。你可以拿一摞盤子來類比。每次洗完盤子總是疊在最上面用時也是先取最上面的。這摞盤子就是“?！薄銦o法從中間抽出盤子也不能直接從底部取盤子。棧的最大特性就是“只能從棧頂進出”這種限制看起來簡陋卻恰恰是許多算法問題的解藥。一個標準棧的Java實現(xiàn)往往也就幾十行代碼用數(shù)組或鏈表都可。但日常開發(fā)中一般直接用java.util.ArrayDeque或java.util.LinkedList來當棧用。注意java.util.Stack這個類也還存在但它是JDK 1.0時代的遺留類繼承自Vector所有方法都加了Synchronized性能不好官方早已不推薦使用?，F(xiàn)在社區(qū)普遍推薦使用ArrayDeque。DequeInteger stack new ArrayDeque(); stack.push(1); stack.push(2); stack.push(3); System.out.println(stack.pop()); // 輸出3 System.out.println(stack.peek()); // 輸出2peek只查看不彈出 System.out.println(stack.pop()); // 輸出23.2 棧的經(jīng)典應(yīng)用場景遠比你想象的多棧在真實世界中的應(yīng)用極其廣泛說幾個你天天都在用卻未必意識到的場景函數(shù)調(diào)用匹配這就是JVM虛擬機棧設(shè)計成棧結(jié)構(gòu)的原因。語言運行時天然需要“后調(diào)用的方法先返回”。表達式求值編譯器計算1 (2 - 3) * 4這類中綴表達式時需要先把中綴表達式轉(zhuǎn)換成后綴表達式再用棧求值。別怕這是《編譯原理》的經(jīng)典內(nèi)容大學課程里一定會講遇到時記住“棧是表達式求值的地基”即可。括號匹配檢查(([]){})是否合法遍歷字符串遇到左括號壓棧遇到右括號彈棧并對比類型。這是面試高頻手寫題也是棧最直觀的入門練習。撤銷操作UndoCtrlZ的本質(zhì)就是棧。你每做一次編輯系統(tǒng)把“反操作”壓棧撤銷時彈棧執(zhí)行。瀏覽器后退按鈕同理。深度優(yōu)先搜索DFS無論是二叉樹的前序遍歷、迷宮尋路還是圖的深度優(yōu)先搜索底層實現(xiàn)除了遞歸就是用顯式棧。遞歸本身就是對系統(tǒng)棧的“借殼”。3.3 用棧解一道實際的算法題括號匹配為了讓你真正上手我貼一個完整可運行的括號匹配代碼。這是棧應(yīng)用的“Hello World”級別題目同時也是藍橋杯、面試手寫題里的?？?。import java.util.ArrayDeque; import java.util.Deque; public class BracketMatch { public static boolean isValid(String s) { if (s null || s.isEmpty()) { return true; } DequeCharacter stack new ArrayDeque(); for (char c : s.toCharArray()) { if (c ( || c [ || c {) { stack.push(c); } else { if (stack.isEmpty()) { return false; } char top stack.pop(); if ((c ) top ! () || (c ] top ! [) || (c } top ! {)) { return false; } } } return stack.isEmpty(); } public static void main(String[] args) { System.out.println(isValid(([{}]))); // true System.out.println(isValid(([)])); // false System.out.println(isValid(()[]{})); // true } }核心思路只有一句話遇到左括號入棧遇到右括號必須和棧頂左括號匹配匹配則彈出不匹配直接返回false。循環(huán)結(jié)束后棧必須為空否則就是有多余的左括號。這種題的通用套路是“棧一次線性掃描”。4. 堆區(qū)和棧區(qū)到底有什么不同4.1 一張對比表講清Heap vs Stack既然兩條線都講完了我們回到最常考的對比題。先把JVM視角下的“堆”和“?！钡膮^(qū)別列成一張表這是面試里最常問的“Java堆和棧的區(qū)別”的標準答案來源。對比維度JVM堆HeapJVM虛擬機棧VM Stack存儲內(nèi)容對象實例、數(shù)組元素局部變量、操作數(shù)棧、方法調(diào)用上下文線程共享性所有線程共享堆對象每個線程私有獨立存在生命周期對象不再被引用后等待GC回收方法調(diào)用開始入棧方法結(jié)束出棧銷毀內(nèi)存分配方式堆是動態(tài)分配的分配慢涉及GC和鎖競爭棧是連續(xù)內(nèi)存區(qū)分配和釋放只移動指針速度快空間大小大默認為物理內(nèi)存的1/4左右小默認幾百KB到1MB異常類型OutOfMemoryErrorStackOverflowError這張表背熟之后還要理解一個底層原因為什么棧比堆快因為棧的內(nèi)存分配和釋放是自動化的——入棧出棧就是移動棧頂指針幾乎沒有額外開銷。堆則要考慮空閑內(nèi)存查找、并發(fā)競爭、垃圾回收開銷大得多。這也是很多性能調(diào)優(yōu)的建議“能用棧上分配盡量避免堆分配”的原因不過JVM的逃逸分析已能在某些場景下自動在棧上分配對象細節(jié)這里不展開。4.2 “引用在哪里對象在哪里”才是真考點有一類題特別能檢驗?zāi)闶欠裾嬲斫舛褩？疾臁白兞坷锎娴氖侵颠€是地址”。舉個例子public class RefDemo { public static void main(String[] args) { User user new User(張三); // user是局部變量存的是User對象的引用地址 user.setName(李四); // 修改的是堆中的對象內(nèi)容 System.out.println(user.getName()); // 輸出李四 } }這里的關(guān)鍵在于user這個變量本身存在于main方法幀的局部變量表里但它存的數(shù)值是“堆區(qū)中那個User對象的地址”。對象本體在堆上指向它的引用在棧上。這個“引用在棧、對象在堆”的模型是理解Java傳參、垃圾回收、內(nèi)存泄漏等一切后續(xù)概念的基石。如果面試官接著問“那基本類型和引用類型有什么區(qū)別”你也要能回答基本類型int、double等的變量直接在棧幀的局部變量表里存值引用類型的變量在棧幀里存地址真正的內(nèi)容在堆里。數(shù)組也是一種引用類型數(shù)組對象在堆上數(shù)組名變量在棧上存的是它的起始地址。4.3 堆內(nèi)存的劃分與GC的“代”機制講堆必講GC但這里只講到能理解堆的程度。HotSpot的堆主要劃分為新生代Young Generation和老年代Old Generation新生代里又分為Eden區(qū)和兩個Survivor區(qū)。大多數(shù)對象先在Eden區(qū)誕生經(jīng)過多次Minor GC仍存活后晉升到老年代。老年代的對象存活率高GC頻率低但單次耗時長因此有了Major GC、Full GC的概念。實際開發(fā)中配JVM參數(shù)時最常用的兩個堆參數(shù)是-Xms512m -Xmx512m-Xms設(shè)置堆初始大小-Xmx設(shè)置堆最大大小。兩者設(shè)為相同值可以避免堆大小動態(tài)伸縮帶來的性能波動。如果你在啟動日志里看到j(luò)ava.lang.OutOfMemoryError: Java heap space絕大多數(shù)場景是堆容量不足或存在對象無法被回收——前者調(diào)大-Xmx后者要排查代碼中的集合無限增長、全局緩存、未關(guān)閉的流等。想查看堆內(nèi)存使用情況可以用jmap -heap PID。5. 堆棧溢出的幾種典型場景與排查思路5.1 StackOverflowError是怎么來的最常見的原因是無限遞歸。比如你寫了一個遞歸計算階乘的方法但忘了寫終止條件public class StackOverflowDemo { static int factorial(int n) { return n * factorial(n - 1); // 忘記 if (n 1) return 1; } public static void main(String[] args) { System.out.println(factorial(5)); } }運行后立刻拋StackOverflowError。原理不復(fù)雜每次方法調(diào)用都會向虛擬機棧壓入一個棧幀遞歸沒有終止條件棧幀就無限疊加直到把?？臻g占滿。這個異常是Error而不是Exception按官方建議捕獲它通常毫無意義正確做法是修掉產(chǎn)生無限遞歸的代碼。排查方法很直觀異常堆棧信息里會打印調(diào)用棧比如Exception in thread main java.lang.StackOverflowError at com.example.StackOverflowDemo.factorial(StackOverflowDemo.java:4) at com.example.StackOverflowDemo.factorial(StackOverflowDemo.java:4) ... 重復(fù)幾千次看到同一行被反復(fù)調(diào)用幾千次基本可以鎖定是遞歸出了問題。如果不想讓遞歸深度過大導(dǎo)致棧溢出可以調(diào)整棧大小-Xss512k不過治標不治本更穩(wěn)妥的做法是重構(gòu)算法把遞歸改成迭代循環(huán)或者利用“尾遞歸優(yōu)化”Java標準編譯不保證做尾遞歸優(yōu)化所以慎用或者增大棧容量。實際工程里遞歸深度一般控制在幾十到幾百層深度動輒上萬的話還是盡快改成顯式棧循環(huán)吧。5.2 堆的OOM與棧的Overflow別搞混很多人把OutOfMemoryError和StackOverflowError放在一起叫“棧溢出”其實它們成因完全不同StackOverflowError?？臻g耗盡常見原因是遞歸過深或方法調(diào)用鏈太長。OutOfMemoryError: Java heap space堆空間耗盡常見原因是創(chuàng)建了大量無法回收的對象。OutOfMemoryError: unable to create new native thread這個可能讓人意外——它常常和線程棧相關(guān)。創(chuàng)建線程時需要為線程棧分配內(nèi)存操作系統(tǒng)層面的線程數(shù)或內(nèi)存不足就會拋這個錯。實戰(zhàn)排查OOM的一般思路我推薦三步走啟動參數(shù)加-XX:HeapDumpOnOutOfMemoryError -XX:HeapDumpPath/path/to/dump.hprof讓JVM在OOM時自動導(dǎo)出堆快照。用Eclipse Memory AnalyzerMAT或者VisualVM打開.hprof文件查看大對象、支配樹、線程棧頂部的對象引用關(guān)系。定位到占用最多的對象類型回頭看代碼里是誰創(chuàng)建了它、為什么沒被釋放。常見元兇有List/Map無限添加數(shù)據(jù)、static集合緩存不清理、第三方SDK持有長生命周期引用、IO流未關(guān)閉等。5.3 一個實戰(zhàn)排查案例循環(huán)拼接字符串引發(fā)的OOM我之前接手過一個導(dǎo)出報表的功能用戶反饋導(dǎo)出幾萬行數(shù)據(jù)后服務(wù)直接崩潰。排查過程簡單復(fù)盤第一步看日志發(fā)現(xiàn)報錯是java.lang.OutOfMemoryError: Java heap space。第二步用jmap -heap PID看堆使用率老年代接近100%。第三步用jstack看所有線程都在哪里發(fā)現(xiàn)多個線程卡在報表導(dǎo)出的字符串拼接代碼上。第四步看代碼發(fā)現(xiàn)有人在循環(huán)里用String 拼數(shù)據(jù)。這里有個老生常談的知識點String是不可變對象每次都會創(chuàng)建一個新字符串對象同時舊的字符串失去引用幾萬行數(shù)據(jù)疊加起來會產(chǎn)生大量中間垃圾對象Eden區(qū)不夠就晉升老年代最終占滿堆。修復(fù)方式其實非常簡單改成StringBuilder或直接一次構(gòu)造完整字符串。這個案例告訴我們堆棧問題不只是理論它的排查本質(zhì)就是“看堆、看線程棧、看代碼”。6. 小白常踩的五個坑每個都值得記下來6.1 誤區(qū)一“棧里放對象”這個說法最普遍也最錯。記住對象的實體永遠在堆上棧里放的是指向?qū)ο蟮囊?。局部變量中只有八大基本類型和引用地址是真正存在棧幀局部變量表里的。棧上分配的那種優(yōu)化逃逸分析確實存在但我們討論標準模型時不把它作為默認前提。6.2 誤區(qū)二“Java的Stack類就是標準棧”Stack類確實是標準棧的一個實現(xiàn)但線程安全的代價是性能損耗?，F(xiàn)代JDK中推薦使用ArrayDeque。而且要看懂ArrayDeque的內(nèi)部結(jié)構(gòu)它底層是循環(huán)數(shù)組擴容時按兩倍容量增長初始默認容量為16。這有助于面試時回答“為什么不用Stack類”。6.3 誤區(qū)三“遞歸一定比循環(huán)慢”很多人一聽“遞歸”就想到性能差。其實遞歸的本質(zhì)是“函數(shù)調(diào)用?！毖h(huán)是“跳轉(zhuǎn)指令”。在遞歸深度淺、邏輯清晰的場景下代碼的可讀性優(yōu)勢遠大于性能差距。真正的性能殺手是“無終止條件的遞歸”或者“每次遞歸都重復(fù)計算子問題”——后者應(yīng)當考慮動態(tài)規(guī)劃或記憶化搜索。6.4 誤區(qū)四“棧大小不夠調(diào)jvm參數(shù)就行”-Xss調(diào)大確實能緩解棧溢出但要知道?？臻g是從線程所在的內(nèi)存中分配的且每個線程都有獨立棧線程數(shù)量龐大時棧內(nèi)存總量會非常驚人。比如-Xss2m加上500個線程光線程棧就要占用1GB左右的虛擬內(nèi)存。不改變遞歸設(shè)計單純調(diào)參是風險極大的“飲鴆止渴”。6.5 誤區(qū)五“StackOverflowError可以被catch掉”它是Error理論上可以被catch (Throwable)捕獲但捕獲之后呢棧幀已經(jīng)耗盡了程序狀態(tài)可能處在嚴重不穩(wěn)定的狀態(tài)。官方和社區(qū)的主流建議都是讓程序盡早停止修復(fù)代碼邏輯而不是嘗試“救活”一個棧已經(jīng)被打爆的線程。7. 面試高頻問題速查堆棧相關(guān)的標準答法7.1 “JVM里堆和棧的區(qū)別”標準答法要義答這類題先說定義再列對比。一個比較穩(wěn)的回答模板“JVM的堆是線程共享的內(nèi)存區(qū)域主要用于存放對象實例和數(shù)組由垃圾回收機制統(tǒng)一管理虛擬機棧是線程私有的內(nèi)存區(qū)域每個方法在執(zhí)行時都會創(chuàng)建一個棧幀用于存儲局部變量表、操作數(shù)棧、動態(tài)鏈接和方法出口等信息。堆內(nèi)存的分配和回收涉及GC因此相對較慢棧的入棧和出棧只涉及棧頂指針移動速度更快。另外堆溢出會拋出OutOfMemoryError棧溢出則拋出StackOverflowError?！边@個回答覆蓋了存儲內(nèi)容、歸屬、生命周期和異常形態(tài)四個維度屬于面試中的“標準得分點”。7.2 “數(shù)據(jù)結(jié)構(gòu)棧能解決什么問題”的舉例思路如果面試官問數(shù)據(jù)結(jié)構(gòu)棧不要只背定義。要會舉例子比如括號匹配、瀏覽器前進后退、函數(shù)調(diào)用棧。最好手寫一次棧的實現(xiàn)用數(shù)組模擬維護一個top指針push時toppop時top--。能白板寫出這段代碼遠比背概念更能打動面試官。7.3 “系統(tǒng)檢測到基于堆棧的緩沖區(qū)溢出”是怎么回事這個熱搜詞對應(yīng)的其實是Windows系統(tǒng)層面的報錯不是Java特有。緩沖區(qū)溢出Buffer Overflow指程序向?；蚨阎袑懭氲臄?shù)據(jù)超出了預(yù)定邊界覆蓋了相鄰內(nèi)存可能引發(fā)崩潰甚至被攻擊者利用。Java因為有JVM內(nèi)存管理和邊界檢查天然不直接暴露裸指針因此極少發(fā)生傳統(tǒng)意義的緩沖區(qū)溢出。但理解這個報錯的關(guān)鍵在于棧空間并非無限超出邊界就會出問題這放在任何語言里都是通識。7.4 面試題速查表面試題答法要點堆和棧的區(qū)別存儲內(nèi)容、線程私有/共享、GC管理、溢出類型差異Java中Stack和ArrayDeque誰更好Stack是遺留類繼承Vector帶同步開銷ArrayDeque更快遞歸會導(dǎo)致什么錯誤遞歸過深會導(dǎo)致StackOverflowError解決思路是改循環(huán)或加終止條件JVM參數(shù)Xss和Xmx分別控制什么Xss控制線程棧大小Xmx控制堆最大內(nèi)存方法調(diào)用時棧里發(fā)生了什么每次調(diào)用創(chuàng)建一個棧幀壓入虛擬機棧方法返回時棧幀彈出頻繁創(chuàng)建對象為什么導(dǎo)致OOM對象在堆上分配長期堆積導(dǎo)致老年代占滿gc無法回收這張表可以直接作為復(fù)習大綱先不看答案試著回答答不上來再回頭翻正文對應(yīng)章節(jié)。8. 走進實戰(zhàn)親手做一個“簡易方法調(diào)用?！蹦M器8.1 用Java代碼模擬JVM棧幀行為理解了概念之后用一個不依賴底層JVM的小程序來模擬棧幀的壓入和彈出行為能幫你把“棧幀”從抽象變成具體。代碼如下import java.util.ArrayDeque; import java.util.Deque; public class StackFrameSimulator { static DequeString frameStack new ArrayDeque(); static void call(String methodName) { frameStack.push(methodName); System.out.println(調(diào)用 methodName 當前棧 frameStack); } static void returnFrom() { String methodName frameStack.pop(); System.out.println(返回 methodName 當前棧 frameStack); } public static void main(String[] args) { call(main); call(methodA); call(methodB); returnFrom(); // methodB結(jié)束 returnFrom(); // methodA結(jié)束 returnFrom(); // main結(jié)束 } }運行輸出會清晰展示這個過程的“后進先出”特性。建議把這段代碼自己跑一遍然后試著往里面套之前StackFrameDemo里的調(diào)用鏈看看輸出和jstack打印的調(diào)用棧是不是一個結(jié)構(gòu)。當你真正把輸出和預(yù)期對應(yīng)上“棧幀”這個概念就再也不會忘。8.2 加深一步用棧模擬“瀏覽器后退功能”再來一個貼近生活的練習模擬瀏覽器前進后退。用戶每次訪問新頁面就push點擊后退就pop同時用一個列表存放“前進?！边@樣后退之后還可以前進。這個項目雖然小但涉及“兩個棧配合”的經(jīng)典思路做完之后對棧的理解會更上一個臺階。代碼我這里就不貼了留給你自己動手——自己推演一遍比看十遍文章都管用。9. 最后的最后給你一套自檢清單臨到收尾分享一個我的習慣每學完一個技術(shù)點就圍繞它給自己出五個問題答不上來再回去查。關(guān)于堆棧我建議的自檢清單是這樣的能不看資料說出JVM堆和虛擬機棧的三個核心區(qū)別嗎能畫出一個三層方法調(diào)用時虛擬機棧的棧幀布局嗎能說出ArrayDeque和Stack的差異嗎知道StackOverflowError和OutOfMemoryError分別對應(yīng)哪類問題嗎能用手寫出括號匹配代碼嗎這五個問題如果都能順暢答出來面試中大部分關(guān)于堆棧的問題基本就穩(wěn)了。如果還有模糊的地方回到對應(yīng)章節(jié)再看一遍親手敲一遍代碼。我自己的體會是堆棧這種概念最怕“囫圇吞棗”背一堆名詞解釋卻不知道背后的畫面。當你有一天在jstack輸出里順著調(diào)用鏈一層層往下看突然讀懂了程序當時的執(zhí)行脈絡(luò)那種感覺就是真的把“棧”學通了。到那時候再從棧出發(fā)延伸到堆、GC、遞歸、樹遍歷整個Java的知識網(wǎng)絡(luò)都會跟著活起來。