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