1. 一次存一個(gè)變量容量的底層真相1.1 變量到底是個(gè)什么物件很多人學(xué) Java 的第一天就開(kāi)始寫int number 10;這種代碼但真要問(wèn)一句“變量是什么”能答清楚的人并不多。我見(jiàn)過(guò)不少工作一兩年的初級(jí)工程師張嘴就是“變量就是裝數(shù)據(jù)的盒子”這個(gè)說(shuō)法沒(méi)錯(cuò)但太粗了。把變量理解成“盒子”你只會(huì)寫代碼把變量理解成“一塊有名字、有類型、有生命周期、有讀寫規(guī)則的內(nèi)存區(qū)域”你才能解釋清楚為什么int不能直接存字符串、為什么局部變量不初始化會(huì)編譯報(bào)錯(cuò)、為什么把對(duì)象賦給另一個(gè)變量之后改一個(gè)兩個(gè)變量都變了。變量最核心的物理本質(zhì)是一塊內(nèi)存區(qū)域。int number 10;這行代碼做的事情是在棧內(nèi)存里劃出一塊 4 字節(jié)的空間給它貼上一個(gè)叫number的標(biāo)簽然后把數(shù)字10的二進(jìn)制形式放進(jìn)去。所謂“變量”就是“這塊空間里的值可以變化”。它能變是因?yàn)槲覀兺ㄟ^(guò)這種賦值運(yùn)算符可以不斷往這塊空間里寫入新的值。但“可以變”和“隨便變”是兩回事。變量從聲明那一刻起類型就定死了。int number聲明完之后這塊空間永遠(yuǎn)按 4 字節(jié)的整數(shù)格式來(lái)解讀你往里面塞一個(gè)字符串編譯器直接不讓你過(guò)。這就是標(biāo)題里“一次存一個(gè)”的第一層含義一個(gè)變量同一時(shí)刻只能裝一個(gè)值而且只能裝它類型允許的那一種值。1.2 為什么強(qiáng)類型語(yǔ)言要把這事卡得這么死你可能想問(wèn)為什么 Java 不能像 Python 那樣一個(gè)變量今天存整數(shù)、明天存字符串、后天存對(duì)象這里就涉及靜態(tài)類型和動(dòng)態(tài)類型的核心區(qū)別。Java 是靜態(tài)類型語(yǔ)言類型檢查發(fā)生在編譯階段。編譯期知道number是int那么所有針對(duì)number的操作比如加法、比較、賦值編譯器都會(huì)按int的規(guī)則來(lái)做合法性檢查。這樣做的好處是大量低級(jí)錯(cuò)誤在代碼跑起來(lái)之前就暴露了。配合熱詞里提到的“指針變量”還可以再往深挖一層。C 語(yǔ)言里變量存值的方式相對(duì)粗暴int變量被強(qiáng)制塞入一個(gè)double值會(huì)出現(xiàn)精度丟失甚至不可預(yù)期的結(jié)果因?yàn)閮?nèi)存里的那 4 個(gè)字節(jié)會(huì)被重新解釋成整數(shù)但二進(jìn)制內(nèi)容來(lái)自浮點(diǎn)數(shù)解讀結(jié)果完全亂套。Java 干脆從設(shè)計(jì)上避免了這種問(wèn)題類型不匹配的賦值直接編譯失敗根本不給你運(yùn)行期“內(nèi)存內(nèi)容被誤讀”的機(jī)會(huì)?！耙淮未嬉粋€(gè)”還有第二層含義值得強(qiáng)調(diào)一個(gè)變量只能承載一個(gè)邏輯單元的數(shù)據(jù)。你要是想存一個(gè)班 30 個(gè)學(xué)生的成績(jī)不能聲明 30 個(gè)int score應(yīng)該用數(shù)組你要是想描述一個(gè)學(xué)生的姓名、年齡、分?jǐn)?shù)應(yīng)該創(chuàng)建一個(gè)Student對(duì)象然后讓Student引用變量去引用它?？傁胫坝靡粋€(gè)變量搞定一切”是初學(xué)者最容易養(yǎng)成的壞習(xí)慣后面代碼越來(lái)越長(zhǎng)變量越來(lái)越多維護(hù)成本直線上升。1.3 多數(shù)據(jù)需要多變量還是換數(shù)據(jù)結(jié)構(gòu)判斷“該用單變量還是數(shù)組還是對(duì)象”有個(gè)很簡(jiǎn)單的標(biāo)準(zhǔn)數(shù)據(jù)之間是不是同一種角色、能不能用一個(gè)規(guī)則循環(huán)處理。同類型的多個(gè)值比如 10 個(gè)考試成績(jī)用數(shù)組不同類型但描述同一事物的屬性比如姓名、年齡、分?jǐn)?shù)用對(duì)象數(shù)量不固定、需要頻繁增刪的場(chǎng)景用ArrayList之類的集合。我舉個(gè)實(shí)際例子。你在寫一個(gè)超市收銀系統(tǒng)要求計(jì)算顧客購(gòu)買三件商品的總價(jià)。初學(xué)者可能會(huì)寫double price1 12.5; double price2 30.0; double price3 8.8; double total price1 price2 price3;這樣寫沒(méi)問(wèn)題但只適用于“永遠(yuǎn)只有三件商品”的需求。如果商品數(shù)量由顧客決定就得換成數(shù)組double[] prices {12.5, 30.0, 8.8}; double total 0; for (double price : prices) { total price; }代碼表達(dá)能力立刻不同了。這就是理解“一次存一個(gè)”之后自然推導(dǎo)出來(lái)的設(shè)計(jì)選擇變量是工具不是目的一個(gè)變量被反復(fù)復(fù)制粘貼的命運(yùn)往往說(shuō)明你該換數(shù)據(jù)結(jié)構(gòu)了。1.4 面試時(shí)這個(gè)點(diǎn)怎么考變量這塊在 java 面試題里出現(xiàn)頻率極高但通常不是直接問(wèn)“什么是變量”而是把變量概念藏在別的題目后面。最常見(jiàn)的考法有這幾種int a 10; a 20; System.out.println(a);輸出多少答案是 20考察變量可以被重新賦值。int a; System.out.println(a);能不能通過(guò)編譯答案是不能考察先賦值后使用。int a 3.14;為什么報(bào)錯(cuò)答案是因?yàn)閐ouble不能自動(dòng)窄化為int考察類型匹配。Integer x 100; Integer y 100; x y的結(jié)果是什么這個(gè)問(wèn)題表面上考包裝類和本質(zhì)上也涉及引用變量存的是地址。不管怎么換殼底層都是同一個(gè)東西變量的類型決定了它存什么、怎么存、能怎么操作。把“一次存一個(gè)”想透了這些題都不用背寫代碼的時(shí)候自然就有感覺(jué)。2. 先賦值后使用Java 編譯器替你把的第一道關(guān)2.1 一個(gè)讓無(wú)數(shù)新手崩潰的編譯錯(cuò)誤我見(jiàn)過(guò)太多剛學(xué) Java 的人在考試、面試機(jī)試、在線編程平臺(tái)上被同一個(gè)錯(cuò)誤絆倒錯(cuò)誤信息長(zhǎng)這樣int age; System.out.println(age);編譯時(shí)報(bào)錯(cuò)variable age might not have been initialized。翻譯過(guò)來(lái)就是“變量 age 可能沒(méi)有初始化”。初看這句話挺讓人摸不著頭腦明明我寫了int age;啊怎么叫沒(méi)有初始化我第一次遇到這個(gè)錯(cuò)誤時(shí)心里想的是它默認(rèn)不就是 0 嗎這個(gè)問(wèn)題的關(guān)鍵在于 Java 對(duì)“局部變量”和“成員變量”采取了完全不同的初始化策略。下面這一小節(jié)把這個(gè)區(qū)別說(shuō)透。2.2 為什么局部變量必須初始化成員變量卻能“白拿默認(rèn)值”先看成員變量的情況。如果你寫一個(gè)類public class Person { int age; String name; }然后直接new Person()出來(lái)訪問(wèn)age你會(huì)得到0訪問(wèn)name你會(huì)得到null。不需要你自己賦值。這是因?yàn)?JVM 在堆里創(chuàng)建對(duì)象時(shí)會(huì)先把對(duì)象的所有內(nèi)存清零int的 0、boolean的 false、double的 0.0、引用類型變量的 null都是這一步順帶完成的。所以成員變量天然有默認(rèn)值。在方法體里聲明的局部變量就完全不同了。int age;只是告訴編譯器“我要用一塊能裝int的空間”但編譯器無(wú)法確定你會(huì)不會(huì)在后續(xù)代碼里故意使用一個(gè)“還沒(méi)來(lái)得及賦任何有意義的值”的變量。這塊空間在棧上原本殘留著什么內(nèi)容誰(shuí)都不知道。C 語(yǔ)言的做法是放任不管直接讀出來(lái)于是經(jīng)常出現(xiàn)神秘的“垃圾值”問(wèn)題——隨機(jī)數(shù)大師背后往往就是這種未初始化變量在搞鬼。Java 的做法更激進(jìn)編譯期檢查。只要你嘗試讀取這個(gè)變量而且編譯器無(wú)法確認(rèn)它在所有可能的執(zhí)行路徑上都已經(jīng)被賦值就直接編譯失敗。必須寫int age 0;或者先賦值再用比如int age; age 18; System.out.println(age);這也符合標(biāo)題里“先賦值后使用”的核心主張一個(gè)變量只有在被賦予了明確的值之后它的存在才有意義。與其讓你在運(yùn)行期讀到一團(tuán)亂碼然后一臉懵不如寫代碼的時(shí)候就被攔下來(lái)。2.3 編譯器判定“是否已賦值”的路徑分析“might not have been initialized”這個(gè)might用得特別妙它暗示編譯器在幫你做“所有可能執(zhí)行路徑”的遍歷?？茨阆旅孢@段代碼int score; if (isPass) { score 90; } System.out.println(score); // 報(bào)錯(cuò)score 可能未初始化編譯器一分析如果isPass為 falsescore就沒(méi)被賦值過(guò)后面卻要讀它這條路徑不合法于是整體報(bào)錯(cuò)。哪怕你心里知道isPass肯定為 true編譯器也不管因?yàn)樗龅氖庆o態(tài)檢查不運(yùn)行代碼。解決辦法有兩種int score 0; // 聲明時(shí)直接給默認(rèn)值 if (isPass) { score 90; } System.out.println(score);或者用 else 把所有分支都堵死int score; if (isPass) { score 90; } else { score 0; } System.out.println(score);從個(gè)人經(jīng)驗(yàn)說(shuō)我更推薦第一種——聲明時(shí)就初始化。這不是多寫幾個(gè)字符的事而是代碼意圖更清晰讀代碼的人一眼就知道這個(gè)變量的初始狀態(tài)是有意設(shè)定的而不是“反正在后面會(huì)賦值先應(yīng)付過(guò)去再說(shuō)”。很多人調(diào)試到半夜最后發(fā)現(xiàn)是某個(gè)局部變量在某條異常分支下沒(méi)有被賦值被默認(rèn)的垃圾值帶偏了邏輯追根溯源就是一開(kāi)始沒(méi)做初始化。2.4 默認(rèn)值速查表與實(shí)戰(zhàn)建議這里把 Java 不同類型變量的默認(rèn)值整理成一張表面試前背一遍寫代碼時(shí)心里有底數(shù)據(jù)類型默認(rèn)值說(shuō)明byte / short / int / long0整數(shù)統(tǒng)一是 0long 寫作 0Lfloat / double0.0f / 0.0浮點(diǎn)默認(rèn)是帶小數(shù)位的一個(gè) 0booleanfalse不是 0是布爾 falsechar\u0000即空字符控制臺(tái)打印可能看不出東西引用類型String、數(shù)組、對(duì)象null表示不引用任何對(duì)象要注意的是這張表主要適用于成員變量和靜態(tài)變量局部變量你必須自己負(fù)責(zé)初始化。還有一個(gè)容易踩的坑數(shù)組元素作為“變量”也有默認(rèn)值。你寫int[] arr new int[3];之后arr[0]、arr[1]、arr[2]全都已經(jīng)是 0可以直接訪問(wèn)不需要先賦值。這個(gè)細(xì)節(jié)很多人在刷題時(shí)栽過(guò)跟頭因?yàn)?C 語(yǔ)言里數(shù)組不初始化是垃圾值換個(gè)語(yǔ)言習(xí)慣沒(méi)切換過(guò)來(lái)。3. 變量類型是一把鎖重新賦值的能力邊界3.1 賦值運(yùn)算符的“復(fù)制”語(yǔ)義按照標(biāo)題里的主線第一件事講“一次存一個(gè)”第二件事講“先賦值后使用”現(xiàn)在輪到第三個(gè)關(guān)鍵認(rèn)知不只是“把右邊的數(shù)交給左邊”這么簡(jiǎn)單它被翻譯成機(jī)器指令時(shí)本質(zhì)是“把右側(cè)的值復(fù)制一份寫入左側(cè)變量對(duì)應(yīng)的內(nèi)存空間”。這個(gè)“復(fù)制”語(yǔ)義要分兩種情形看?；绢愋妥兞康馁x值復(fù)制的是數(shù)值本身。比如int a 10; int b a; b 20; System.out.println(a); // 輸出 10b a時(shí)a里的 10 被復(fù)制了一份給b之后改b和a毫無(wú)關(guān)系。這個(gè)邏輯大多數(shù)人能理解真正搞不清的是引用類型。3.2 引用類型賦值復(fù)制的是門牌號(hào)不是房子Java 沒(méi)有傳統(tǒng)意義上的指針變量但引用類型變量的底層玩法等價(jià)于一種“安全的指針”變量里存的是對(duì)象的地址而不是對(duì)象本身。當(dāng)你寫String[] list1 {A, B}; String[] list2 list1;list2和list1實(shí)際上指向同一個(gè)數(shù)組對(duì)象。此時(shí)你要是修改list2[0] X;再看list1[0]它也已經(jīng)變成X。因?yàn)閮蓚€(gè)變量存的是同一份地址復(fù)制過(guò)去的只是門牌號(hào)房子還是那一個(gè)。這個(gè)特性在實(shí)際開(kāi)發(fā)里經(jīng)常引發(fā)同事間的“血案”。比如你寫了一個(gè)方法處理一個(gè)List傳進(jìn)去一個(gè)變量方法里把集合清空了一下調(diào)用方發(fā)現(xiàn)傳進(jìn)去的集合變成空了還不知道怎么回事。如果你心中有變量賦值的“復(fù)制地址”模型就會(huì)意識(shí)到?jīng)]有return也不代表方法不能改你傳進(jìn)去的對(duì)象。對(duì)應(yīng)到面試題Integer x 100; Integer y 100; x y以及Integer x 200; Integer y 200; x y的差異根因也是“兩個(gè)引用變量存的是不是同一個(gè)地址”加上“整數(shù)緩沖區(qū)是否復(fù)用緩存對(duì)象”的組合。沒(méi)想通引用賦值本質(zhì)前這類題怎么背都容易錯(cuò)。3.3 類型定了就不能用另一種類型亂賦“變量一旦聲明類型就是鐵律”這件事完全符合標(biāo)題中變量的核心精神。你可以重新賦值但新值必須和變量類型兼容。兼容分兩種自動(dòng)類型提升和強(qiáng)制類型轉(zhuǎn)換。自動(dòng)類型提升的方向是“小轉(zhuǎn)大”不損失精度編譯器默認(rèn)放行。int賦值給longfloat賦值給double都直接寫就行int age 30; long bigAge age; // 沒(méi)問(wèn)題int 自動(dòng)提升為 long double precise bigAge; // 沒(méi)問(wèn)題long 自動(dòng)提升為 double原因很簡(jiǎn)單long的存儲(chǔ)空間比int大裝得下int里的任何值編譯器沒(méi)有風(fēng)險(xiǎn)。強(qiáng)制類型轉(zhuǎn)換的方向是“大轉(zhuǎn)小”可能丟精度必須顯式加括號(hào)double price 9.99; int total (int) price; // 結(jié)果是 9小數(shù)部分直接被截?cái)噙@個(gè)(int)括號(hào)就是告訴編譯器“我知道可能會(huì)損失精度我接受你讓我轉(zhuǎn)吧?！辈患泳途幾g報(bào)錯(cuò)這正是強(qiáng)類型語(yǔ)言的保護(hù)機(jī)制。這里要特別提醒初學(xué)者一個(gè)隱蔽坑int類型進(jìn)行除法時(shí)如果兩個(gè)操作數(shù)都是整數(shù)結(jié)果直接丟掉小數(shù)這不是賦值錯(cuò)誤是運(yùn)算規(guī)則本身的陷阱。你寫int half 5 / 2;得到的是 2 而不是 2.5。有些人為了得到小數(shù)寫成double half 5 / 2;結(jié)果還是 2.0因?yàn)橛覀?cè)的5 / 2在產(chǎn)生 2 之后才賦給double變量。必須寫成5.0 / 2或者5 / 2.0才行。也就是說(shuō)運(yùn)算發(fā)生在賦值之前等意識(shí)到這一點(diǎn)時(shí)很多看似“變量類型出錯(cuò)”的問(wèn)題已經(jīng)能自己定位了。3.4 final 變量能變但只能變一次補(bǔ)一個(gè)和“重新賦值”強(qiáng)相關(guān)但很多人用錯(cuò)的關(guān)鍵詞final。被final修飾的變量只能賦值一次。final int MAX_SIZE 100; MAX_SIZE 200; // 編譯報(bào)錯(cuò)很多人把final當(dāng)成“常量”的代名詞這個(gè)理解在語(yǔ)義上沒(méi)問(wèn)題但容易造成一個(gè)誤解以為final變量必須聲明時(shí)立刻賦值。其實(shí)不是final變量可以先聲明在構(gòu)造方法或其他地方賦值一次但僅此一次。這個(gè)機(jī)制背后的價(jià)值是“承諾”——告訴讀代碼的人這個(gè)值一旦定下來(lái)就不會(huì)再變。實(shí)際項(xiàng)目里配置項(xiàng)、固定閾值這類“業(yè)務(wù)上不應(yīng)該改”的值都應(yīng)該用final修飾。這不只是約束自己更是向團(tuán)隊(duì)傳達(dá)變量的生命周期預(yù)期這個(gè)變量不是用來(lái)反復(fù)改的。結(jié)合前面的內(nèi)容你其實(shí)可以把變量分成兩種一種是可以隨意重新賦值的“工作變量”一種是只能賦一次值的“配置變量”。你在腦子里給變量分類越清楚寫出的代碼越不容易被誤改。4. 變量的生死邊界作用域與生命周期4.1 大括號(hào)里的世界第四個(gè)被討論得最少、但坑人最多的變量特性是作用域。Java 用一對(duì){}花括號(hào)圈定代碼塊的邊界而變量的出生和死亡也由這對(duì)花括號(hào)決定?？匆粋€(gè)經(jīng)典栗子for (int i 0; i 3; i) { System.out.println(i); } System.out.println(i); // 編譯報(bào)錯(cuò)找不到符號(hào)i聲明在for循環(huán)的小括號(hào)里它的作用域就是整個(gè)循環(huán)體。循環(huán)一結(jié)束i這塊棧空間就被回收了你在循環(huán)外面還想訪問(wèn)它編譯器根本不知道i是誰(shuí)。有些人圖省事把所有變量都聲明在方法開(kāi)頭后面想用就用這樣確實(shí)避免了“作用域結(jié)束變量消失”的編譯錯(cuò)誤但代價(jià)很大變量的生命周期被人為拉長(zhǎng)了本該盡早釋放的空間一直被占用而且變量一多命名沖突、誤改值、代碼可讀性下降的問(wèn)題全來(lái)了。4.2 局部變量的作用域從聲明處才開(kāi)始要注意局部變量的作用域不是從方法開(kāi)頭算的而是從“聲明那一行”開(kāi)始到所在代碼塊結(jié)束為止。所以下面這段代碼是合法的int a 10; int b a 5; // b 聲明之后才能用 a但如果你試圖在聲明前使用變量比如System.out.println(a); // 編譯報(bào)錯(cuò) int a 10;編譯器會(huì)直接告訴你找不到符號(hào)。為什么會(huì)這樣因?yàn)樽兞康摹皹?biāo)簽”是在聲明那一刻才貼到內(nèi)存區(qū)域上的聲明之前的代碼塊里根本不存在這個(gè)標(biāo)簽。這個(gè)細(xì)節(jié)的實(shí)際價(jià)值在寫“先使用再聲明”的下意識(shí)壞習(xí)慣時(shí)非常有用。我剛工作時(shí)見(jiàn)過(guò)一段求助代碼對(duì)方說(shuō)“變量明明在后面定義了為什么前面用不了”其實(shí)就是沒(méi)理解作用域從聲明處開(kāi)始。代碼縮進(jìn)、排版、變量聲明的順序都會(huì)直接影響這段代碼能不能被正確理解。4.3 成員變量和靜態(tài)變量作用域跨越方法的變量除了方法內(nèi)的局部變量還要區(qū)分另外兩類變量它們的“命”更長(zhǎng)影響范圍也更大成員變量實(shí)例變量聲明在類里、方法外屬于對(duì)象。每個(gè)對(duì)象有自己獨(dú)立的一份對(duì)象被垃圾回收時(shí)變量跟著消失。靜態(tài)變量被static修飾屬于類本身所有對(duì)象共享一份。類被加載進(jìn) JVM 時(shí)創(chuàng)建類卸載時(shí)消失。這兩類變量的作用域是整個(gè)類也就是任何一個(gè)方法都可以直接訪問(wèn)和修改它們。聽(tīng)起來(lái)方便但這也是數(shù)據(jù)一致性問(wèn)題的主要來(lái)源正好回應(yīng)一下熱詞里“java怎么保證數(shù)據(jù)一致性”。靜態(tài)變量是被多線程共享的如果多個(gè)線程同時(shí)讀寫同一個(gè)靜態(tài)變量數(shù)據(jù)一致性就要靠鎖、volatile、原子類這些機(jī)制來(lái)保證。很多線上事故的起點(diǎn)就是某個(gè)工程師圖方便把一個(gè)應(yīng)該是方法內(nèi)部處理的臨時(shí)變量提成了靜態(tài)變量導(dǎo)致所有請(qǐng)求都去爭(zhēng)一塊公共內(nèi)存。所以我的建議非常明確能用局部變量就別用成員變量能用成員變量就別用靜態(tài)變量。變量的可見(jiàn)范圍越小能影響它的人就越少出問(wèn)題的概率也越低。4.4 縮小變量作用域的三個(gè)實(shí)操習(xí)慣聊完理論說(shuō)點(diǎn)我寫代碼時(shí)強(qiáng)制自己遵守的習(xí)慣這些習(xí)慣幫我少調(diào)試了很多次第一變量的聲明位置盡量靠近第一次使用的地方。比如循環(huán)里要用一個(gè)臨時(shí)變量就在循環(huán)內(nèi)部聲明而不是在方法頂部聲明。這樣做的好處是讀代碼的人看到變量時(shí)馬上就能找到它上下的使用邏輯不用上下翻一整屏。第二只有真正需要跨方法共享的數(shù)據(jù)才提升為成員變量。如果你只是想在一個(gè)方法里臨時(shí)算個(gè)總和那就把sum定義在方法里別讓它成為類的屬性。第三給變量起名時(shí)帶上它的“使用意圖”。int totalOrderAmount和一個(gè)int t讀起來(lái)完全是兩種感覺(jué)。很多人覺(jué)得命名不重要但變量本來(lái)就是用來(lái)存數(shù)據(jù)的名字起得不清不楚事后排查問(wèn)題就是災(zāi)難。這三個(gè)習(xí)慣表面上和編譯器報(bào)錯(cuò)無(wú)關(guān)但它們決定了變量作用域的“面積”。作用域比較大的變量生命周期長(zhǎng)、被誤操作的概率高這也是變量這塊最容易被低估的風(fēng)險(xiǎn)來(lái)源。5. 從四個(gè)坑到一套代碼習(xí)慣5.1 四個(gè)注意事項(xiàng)之間的內(nèi)在邏輯走到這里回頭看四個(gè)注意事項(xiàng)并不是彼此孤立的知識(shí)點(diǎn)而是一條完整的邏輯鏈一次存一個(gè)說(shuō)的是變量的存儲(chǔ)抽象一個(gè)命名空間一個(gè)類型一個(gè)值。先賦值后使用說(shuō)的是變量的使用前提讀之前必須存在一個(gè)有效值。類型定了就不能變說(shuō)的是變量的邊界條件賦值必須兼容引用賦值復(fù)制地址。作用域決定生死說(shuō)的是變量的存在周期大括號(hào)與類級(jí)別共同劃分變量領(lǐng)地。任何一行使用變量的代碼其實(shí)都在同時(shí)遵守這四條規(guī)則。比如最基本的int count 0; count count 1; System.out.println(count);“一次存一個(gè)”count只存一個(gè)int?！跋荣x值后使用”聲明時(shí)給了 0后面才敢讀?！邦愋筒蛔儭苯ocount加 1 的結(jié)果還是int兼容。“作用域”count在方法塊內(nèi)有效方法外訪問(wèn)不了。把這四條規(guī)則內(nèi)化成肌肉記憶遇到任何變量相關(guān)的編譯報(bào)錯(cuò)你都能按順序排查是類型不匹配是沒(méi)初始化是超出了作用域還是試圖往一個(gè)空間塞了太多東西90% 的變量錯(cuò)誤可以在這一輪里定位。5.2 從常見(jiàn)題目中反推知識(shí)薄弱點(diǎn)拿幾道熱詞方向上的典型題目演示一下怎么用這套邏輯拆解第一題下面的代碼能否編譯通過(guò)int x 10; long y x;能。因?yàn)閕nt自動(dòng)提升為long這是類型兼容規(guī)則里的小轉(zhuǎn)大方向。第二題double d 1.5; int i d;不能。double窄化為int必須顯式轉(zhuǎn)型編譯器沒(méi)有“暗自截?cái)唷钡脑S可。第三題int a; if (condition) { a 1; } System.out.println(a);不能。編譯器分析出condition為 false 時(shí)a未賦值違反“先賦值后使用”。這三道題看起來(lái)完全不同實(shí)際全部落在“類型兼容”和“賦值路徑分析”兩個(gè)知識(shí)塊上。這也是為什么很多 java 面試題目翻來(lái)覆去變花樣但老手一眼就能看出考點(diǎn)的原因——他們掌握的不是題目是題目背后的變量規(guī)則。第五題類的擴(kuò)展也可以順帶提一下很多人問(wèn)“為什么 Java 方法參數(shù)傳遞和變量賦值感覺(jué)偶爾會(huì)失效”其實(shí)是因?yàn)榛绢愋蛡鞯氖歉北疽妙愋蛡鞯氖堑刂犯北舅悸肥冀K繞不開(kāi)“復(fù)制語(yǔ)義”。你在項(xiàng)目協(xié)作時(shí)記住這一點(diǎn)就不會(huì)再寫出“我傳進(jìn)去了為什么在外面沒(méi)變”這樣的 bug。5.3 常見(jiàn)問(wèn)題與排查實(shí)錄下面幾個(gè)場(chǎng)景是我在實(shí)際帶人時(shí)遇到頻率最高的變量問(wèn)題整理成速查表按圖索驥比盲目試要快得多問(wèn)題現(xiàn)象核心原因處理思路“明明聲明了變量卻報(bào)找不到符號(hào)”變量聲明在使用位置的后面或聲明在外層/內(nèi)層另一個(gè)代碼塊把聲明移到使用處之前或統(tǒng)一在方法有效區(qū)塊內(nèi)聲明“變量可能尚未初始化”編譯錯(cuò)誤局部變量存在某條執(zhí)行路徑?jīng)]賦值聲明時(shí)直接初始化或補(bǔ)全所有分支的賦值數(shù)組元素隨機(jī)為詭異數(shù)值局部數(shù)組未初始化或把 C 語(yǔ)言習(xí)慣帶進(jìn) JavaJava 數(shù)組元素自帶默認(rèn)值無(wú)需手動(dòng)清零給 int 賦小數(shù)報(bào)錯(cuò)double不允許窄化給int顯式強(qiáng)轉(zhuǎn)或改用double聲明目標(biāo)變量改了 A 變量的對(duì)象B 變量的數(shù)據(jù)也變了兩個(gè)引用變量指向同一個(gè)對(duì)象地址需要真正復(fù)制對(duì)象時(shí)用拷貝構(gòu)造或其他克隆方案循環(huán)結(jié)束后訪問(wèn)循環(huán)變量報(bào)錯(cuò)循環(huán)變量作用域僅限于循環(huán)內(nèi)在循環(huán)外定義變量循環(huán)內(nèi)賦值靜態(tài)變量被多線程改亂靜態(tài)變量全局共享存在并發(fā)競(jìng)爭(zhēng)收縮變量作用域或使用并發(fā)安全手段5.4 錯(cuò)誤示范與修正動(dòng)手讀一遍紙上談兵再多不如看一段真實(shí)問(wèn)題演化。下面這段代碼是一個(gè)學(xué)習(xí)群里求助的例子當(dāng)時(shí)他描述“計(jì)算結(jié)果總是莫名其妙多了一個(gè) 1”int total 0; for (int i 1; i 5; i) { total total i; } System.out.println(total);這段代碼其實(shí)是對(duì)的輸出 15。真正有問(wèn)題的是他最初寫的版本int total; for (int i 1; i 5; i) { total total i; } System.out.println(total);不出意外編譯報(bào)錯(cuò)total might not have been initialized。原因就是total在循環(huán)第一次執(zhí)行時(shí)還沒(méi)有被賦值而循環(huán)又無(wú)法保證一定進(jìn)入——萬(wàn)一循環(huán)條件一開(kāi)始就不滿足呢編譯器不能冒險(xiǎn)。修正辦法很簡(jiǎn)單int total 0;但你別小看這個(gè) 0它不只讓編譯器閉嘴更讓你的邏輯從一開(kāi)始就有了基準(zhǔn)“總和是從 0 開(kāi)始累加的”。如果有一天需求變成“從 10 開(kāi)始累加”你只需要改聲明那一行。這就是“先賦值后使用”帶來(lái)的代碼可讀性收益——變量的初始值直接表達(dá)了你對(duì)計(jì)算的預(yù)設(shè)。我在實(shí)際使用中發(fā)現(xiàn)越是基礎(chǔ)的變量問(wèn)題越容易在壓力場(chǎng)景下被人忽略。剛接觸 Java 的人喜歡把編譯報(bào)錯(cuò)當(dāng)成敵人其實(shí)編譯器是很講道理的裁判它給出的每一條錯(cuò)誤信息背后都是對(duì)你變量使用規(guī)則某一環(huán)的質(zhì)問(wèn)“你真的想清楚了嗎”寫代碼這事很多時(shí)候就是自己跟自己確認(rèn)的過(guò)程。下次再看到might not have been initialized別急著上網(wǎng)搜先想想自己有沒(méi)有先把變量“養(yǎng)”出第一個(gè)值來(lái)判斷再看到cannot be converted to int也先想想那個(gè)類型是不是一開(kāi)始就不應(yīng)該放進(jìn)這個(gè)變量里。變量雖然是 Java 最基礎(chǔ)的概念但把基礎(chǔ)吃透寫出來(lái)的代碼質(zhì)量會(huì)穩(wěn)定不少面試時(shí)回答為什么會(huì)報(bào)錯(cuò)、為什么會(huì)變相互影響這類問(wèn)題也不會(huì)再打滑。