如果把Rust的學(xué)習(xí)比作拿到一本新手冊那第三章“通用編程概念”就是手冊開頭那幾頁看起來平平無奇、卻能決定你后面能不能順利讀下去的正文。很多人是沖著系統(tǒng)編程和高性能并發(fā)來的翻到第三章發(fā)現(xiàn)講的居然是變量、數(shù)據(jù)類型、函數(shù)、控制流這些“誰都會”的東西容易直接跳過去。但學(xué)完所有權(quán)部分再回頭看第三章里提到的變量不可變、shadowing、表達式和語句的區(qū)別幾乎每一個都是后續(xù)章節(jié)的暗樁。所以這篇學(xué)習(xí)記錄我想認真拆一遍C3聊聊這一章到底在講什么、有哪些值得反復(fù)琢磨的點以及按我的實操經(jīng)驗該怎么學(xué)最穩(wěn)。這篇內(nèi)容主要適合兩類人一類是剛接觸Rust、正在跟官方書或視頻課學(xué)的初學(xué)者另一類是寫過C、Java、Python想搞明白“Rust為什么這么設(shè)計”的轉(zhuǎn)語言開發(fā)者。我自己屬于第二類所以在記錄里會刻意對比一些其他語言的習(xí)慣方便你把舊思維切換過來。1. 先把“通用編程概念”放在完整學(xué)習(xí)路線里看1.1 這一章到底在講什么Rust官方書《The Rust Programming Language》一共二十多章第三章標(biāo)題叫Common Programming Concepts翻譯過來就是通用編程概念。它涵蓋的內(nèi)容并不神秘變量與可變性、數(shù)據(jù)類型、函數(shù)、注釋、控制流。這些概念在C語言里分散在各種角落在Python里被語法糖包得很隱晦在JavaScript里又因為動態(tài)類型顯得很隨意。Rust的做法是把它們打散、重新設(shè)計再用一套嚴格的編譯器規(guī)則兜底。這里要特別注意第三章不是說“我教你什么是變量”而是“在Rust里變量應(yīng)該怎么用”。它的核心價值不在于教會你if和for怎么寫而在于讓你第一次感受到Rust語言的設(shè)計態(tài)度盡量把錯誤在編譯階段攔下來把代碼里隱含的意圖變成顯式規(guī)則。比如變量默認不可變、函數(shù)參數(shù)必須標(biāo)注類型、if表達式要求所有分支返回同一種類型這些都是其他語言里沒有的約束。從學(xué)習(xí)順序上看這一章是后續(xù)所有內(nèi)容的骨架。第四章所有權(quán)、第五章借用與引用、第六章結(jié)構(gòu)體全是建立在你已經(jīng)理解“變量綁定”“作用域”“表達式”這些概念之上的。所以我的建議很明確第三章值得用比官方建議更長的時間來磨寧可在這里多花一周也不要帶著模糊的概念沖進所有權(quán)。1.2 三個最值得反復(fù)琢磨的“反常識”點第一個反常識點是變量默認不可變。幾乎所有主流語言里int x 5; x 6;都是天經(jīng)地義的事Rust偏偏要求你主動寫mut才允許修改。這個設(shè)計初看很別扭但它的收益是巨大的任何變量一旦被綁定你在讀代碼的時候就能立刻確認它不會在某個角落被悄悄改掉在多線程環(huán)境下不可變綁定還能避免一大類數(shù)據(jù)競爭問題。后面學(xué)到所有權(quán)和借用檢查器時你會發(fā)現(xiàn)這種“默認約束”的思路貫穿了整個語言。第二個反常識點是語句和表達式的嚴格區(qū)分。Rust是一個偏向表達式expression-oriented的語言函數(shù)體最后一個不帶分號的表達式就是返回值。這個特性在寫函數(shù)式風(fēng)格代碼時特別舒服但如果你之前習(xí)慣在每行末尾隨手加分號一定會踩坑。官方書里那個經(jīng)典例子——let x 5;是語句x 1是表達式——單獨看很簡單真正寫代碼時卻經(jīng)常因為少一個分號或多個分號被編譯器教育。第三個反常識點是Rust的靜態(tài)類型系統(tǒng)非常嚴格但編譯器又很智能。它既要求在函數(shù)簽名里寫清參數(shù)和返回值的類型又允許你在聲明局部變量時直接寫let x 42而不需要標(biāo)注i32。這種“關(guān)鍵位置顯式、局部位置推斷”的平衡是類型系統(tǒng)設(shè)計里很成熟的做法既保證了大型項目的可讀性又不會讓日常編碼變得啰嗦。2. 變量與綁定Rust給你的第一個觀念沖擊2.1 為什么變量默認不可變先看一段最基本的代碼fn main() { let x 5; // x 6; // 這行會編譯報錯 println!(x 的值是 {}, x); }如果去掉注釋編譯器會立刻告訴你cannot assign twice to immutable variable。這個報錯不是Rust在故意刁難你而是它想讓你意識到“變量x被我綁定到了5那它就應(yīng)該一直是5”。這種設(shè)計背后的邏輯是一個值如果沒有變化你就可以在讀代碼時放心地相信它。我自己的感受是第一次用Rust寫業(yè)務(wù)邏輯時滿腦子都是“怎么連賦值都不行”。但堅持寫了兩周之后再看回Java代碼反而開始覺得任何變量都是可變的很不安全。你讀一個方法時根本不知道某個字段在哪個分支里被改過只能靠經(jīng)驗和IDE輔助。Rust把這個負擔(dān)轉(zhuǎn)移到了編譯期你想改就必須顯式寫mut改完之后所有讀到這個變量的人都清楚這里有變化發(fā)生時機的門檻。為什么默認不可變對并發(fā)這么重要舉個簡單例子如果兩個線程同時持有一個變量的引用一個線程在修改另一個線程在讀取數(shù)據(jù)競爭就跑不掉。Rust通過“默認不可變”先把一半情況排除掉然后在后面的所有權(quán)章節(jié)里再通過“唯一所有者和借用規(guī)則”解決另一半?？梢哉f第三章的不可變約定就是為你理解并發(fā)安全做的鋪墊。2.2 Shadowing和mut的區(qū)別Shadowing變量遮蔽是很多初學(xué)者繞不明白的點因為它看起來很像“重新賦值”但本質(zhì)上完全不同fn main() { let x 5; let x x 1; // 第一次遮蔽x現(xiàn)在是6 let x x * 2; // 第二次遮蔽x現(xiàn)在是12 println!(x {}, x); }這段代碼能跑而且輸出12。它做的事情不是把同一個變量從5改成12而是創(chuàng)建了一個全新的變量綁定只不過復(fù)用了變量名x。舊的x在遮蔽發(fā)生之后就不再可用了至少在當(dāng)前作用域里。Shadowing的好處是你可以用同一個名字延續(xù)數(shù)據(jù)處理的語義而不用費心起x1、x2這種變量名。很多新手會問那這和mut有什么區(qū)別區(qū)別非常大。mut是允許修改同一個綁定所指向的值值的類型不能變shadowing是創(chuàng)建新綁定新綁定的類型可以跟舊綁定完全不同。比如fn main() { let spaces ; let spaces_len spaces.len(); // 如果這樣寫類型不同也沒關(guān)系 }但真正典型的shadowing用法長這樣let spaces ; let spaces spaces.len(); // 前一個是字符串后一個是usize類型改變了如果換成mut編譯器會報錯因為spaces一開始是str不能直接被賦成usize。這個機制在需要做連續(xù)類型轉(zhuǎn)換的場景下特別順手比如先解析字符串、再轉(zhuǎn)數(shù)字、再參與計算每一步都可以用shadowing保持變量名清晰。我在實際項目中常用的一個模式是從配置文件里讀出一個字符串然后shadowing成數(shù)字再shadowing成帶單位的結(jié)構(gòu)體。全程不需要起raw_value、parsed_value之類的輔助名代碼讀起來像一條流水線。2.3 const常量和let綁定的邊界第三章里還專門講了constconst MAX_POINTS: u32 100_000;const和let有幾個關(guān)鍵區(qū)別。第一const必須顯式標(biāo)注類型編譯器不會幫你推斷因為它是編譯期常量類型信息必須完整才能做優(yōu)化。第二const一旦定義就永遠不可變也不允許mut修飾更不能用const來做運行時的復(fù)雜計算——它的值必須在編譯期就能確定。第三命名規(guī)范使用全大寫加下劃線SCREAMING_SNAKE_CASE這不是硬性語法要求而是社區(qū)約定建議遵守。為什么已經(jīng)有了不可變的let還要const因為let創(chuàng)建的綁定是在運行時分配到棧上的雖然不可變但它仍然是一個“運行時的值”而const是編譯期就內(nèi)聯(lián)進代碼里的常量沒有任何運行時開銷。像數(shù)學(xué)常量、配置閾值、協(xié)議魔數(shù)這類東西用const表達語義最準確。我踩過的一個小坑是在函數(shù)內(nèi)部寫了一個很大的const數(shù)組以為它會在棧上占空間其實編譯器把它放到了只讀數(shù)據(jù)段性能和內(nèi)存都很理想。所以如果你在開發(fā)Rust項目時發(fā)現(xiàn)某個常量被到處使用優(yōu)先考慮用const而不是let。3. 數(shù)據(jù)類型靜態(tài)類型帶來的“被迫思考”3.1 從整數(shù)類型講起Rust的整數(shù)類型非常豐富官方文檔里的表可以背一下長度有符號無符號8-biti8u816-biti16u1632-biti32u3264-biti64u64128-biti128u128架構(gòu)相關(guān)isizeusize未標(biāo)注時默認整數(shù)類型是i32。選擇的理由很簡單在絕大多數(shù)CPU上32位整數(shù)的運算速度不比更短類型慢又能覆蓋絕大多數(shù)數(shù)值范圍。usize和isize的長度取決于運行程序的機器架構(gòu)在64位系統(tǒng)上是64位、在32位系統(tǒng)上是32位它的典型用途是數(shù)組索引和內(nèi)存尺寸計算。這里有個很多教程沒細講的點為什么要有這么多整數(shù)類型因為底層的系統(tǒng)編程場景差異太大。像內(nèi)存地址偏移量你需要usize來保證足夠?qū)捪窬W(wǎng)絡(luò)協(xié)議里的字段可能就是精確的16位、32位選錯長度就會導(dǎo)致數(shù)據(jù)錯位。Rust把選擇權(quán)交給你代價是你必須思考“這個數(shù)到底應(yīng)該占幾位”。數(shù)字字面量的寫法也值得熟悉100_000加下劃線增強可讀性0xff表示十六進制0o77表示八進制0b1111_0000表示二進制bA表示字節(jié)字面量類型是u8。這些寫法在寫底層控制邏輯時非常常見。3.2 浮點、布爾、字符細節(jié)里的坑浮點類型只有兩種f32和f64默認是f64。官方解釋是f64在現(xiàn)代CPU上跟f32速度差不多但精度更高。需要注意浮點數(shù)永遠不要用來做精確的金額計算這不是Rust的問題是所有二進制浮點數(shù)的通病如果要精確計算建議用整數(shù)或?qū)ｉT的定點數(shù)庫。布爾類型就是bool只有true和false兩個值。有一點跟其他語言差很多Rust的if條件必須是bool類型不會幫你做隱式轉(zhuǎn)換。在JavaScript里你可以寫if (1)在Rust里直接編譯報錯必須寫成if x 1或if flag。這個限制初看煩人實則能避免大量因為類型強轉(zhuǎn)導(dǎo)致的隱蔽bug。字符類型char是Rust里容易被誤解的點。它代表的不是ASCII字符而是Unicode標(biāo)量值在內(nèi)存里占4個字節(jié)。這意味著中文、emoji、特殊符號都可以直接放進char里let c z; let z: char 中; let emoji ;請務(wù)必記住char用單引號字符串用雙引號。這個跟C語言類似但Rust的字符串類型后面還有String、str之分第三章先不管它們只要知道“字符不等于一個字節(jié)”就夠用了。3.3 tuple和array兩種復(fù)合類型復(fù)合類型是把多個值組合成一個類型第三章只介紹最基本的兩個元組tuple和數(shù)組array。元組的特點是定長可以包含不同類型的值聲明后長度不能變。訪問方式有兩種解構(gòu)和點號下標(biāo)fn main() { let tup: (i32, f64, u8) (500, 6.4, 1); let (x, y, z) tup; // 解構(gòu) println!(第二個元素是 {}, tup.1); // 點號下標(biāo)訪問 }元組最適合用來返回多個值。比如你寫一個函數(shù)想同時返回成功標(biāo)志和結(jié)果數(shù)據(jù)就可以用元組打包。另外有一個特殊的元組叫單元類型()它表示“沒有值”后面你會頻繁見到它函數(shù)如果沒有返回值實際上返回的就是()。數(shù)組的特點是定長且所有元素類型相同它和元組一樣也是定長的。聲明方式let a [1, 2, 3, 4, 5]; let first a[0];按照Rust官方書的習(xí)慣這里會順便提一句如果你想用動態(tài)增長的數(shù)組標(biāo)準庫提供了Vec名字叫vec!宏創(chuàng)建。Vec就是很多語言里的動態(tài)數(shù)組堆內(nèi)存分配可以用來增刪元素但那是后續(xù)章節(jié)的內(nèi)容第三章先用定長數(shù)組建立“棧上連續(xù)內(nèi)存”的概念。數(shù)組訪問越界時Rust會直接panic這一點在后面的實操里會專門講。這里先記住一個結(jié)論Rust的數(shù)組越界不是未定義行為而是有明確報錯的運行時崩潰這在系統(tǒng)級語言里反而是個優(yōu)點。3.4 類型推導(dǎo)什么時候可以偷懶Rust的局部變量類型可以由編譯器推斷所以你可以寫let guess: u32 42.parse().expect(error)這種帶類型標(biāo)注的代碼也可以寫let v 0b1111_0000;讓編譯器自己判段。推斷也不是萬能的。當(dāng)調(diào)用parse()這類泛型方法時編譯器沒有任何上下文線索知道目標(biāo)類型你就必須顯式標(biāo)注。同樣函數(shù)簽名里的參數(shù)和返回值類型也必須是顯式的因為Rust堅持“接口清晰”優(yōu)先于“調(diào)用方便”。這條規(guī)則對API使用者和維護者都很友好我在看別人的Rust代碼時讀函數(shù)簽名就能把數(shù)據(jù)流向猜個大概不需要翻遍實現(xiàn)。4. 函數(shù)與注釋代碼的基本組織方式4.1 函數(shù)定義和參數(shù)類型Rust函數(shù)的定義格式如下fn add_one(x: u32) - u32 { x 1 }關(guān)鍵字fn、函數(shù)名snake_case、參數(shù)必須帶類型、返回值用-聲明。跟Python不同Rust不允許省略參數(shù)類型這既是編譯期的需求也是文檔的一部分——你想調(diào)用這個函數(shù)時直接看簽名就知道該傳什么不用去讀函數(shù)體。Rust還允許你在定義函數(shù)之前調(diào)用它函數(shù)體內(nèi)的順序無所謂只要函數(shù)在同一作用域內(nèi)。這跟C語言需要先聲明再使用完全不同你不需要為了放置順序維護頭文件當(dāng)然在跨模塊時還有模塊和可見性規(guī)則但第三章先不展開。4.2 語句和表達式的區(qū)別重點這一小節(jié)我認為是第三章最重要的內(nèi)容沒有之一。Rust里語句statement是指執(zhí)行操作但不返回值的指令表達式expression是指會計算并產(chǎn)生值的代碼。常見的語句有l(wèi)et x 5; // 聲明綁定let x 5;不會返回任何值所以你不能寫成let y (let x 5);這在C語言里都不合法在Rust里也一樣。但表達式就自由多了字面量5、運算x 1、函數(shù)調(diào)用、宏調(diào)用甚至一個塊{ ... }都可能是表達式。塊表達式的值就是塊里最后一個不帶分號的表達式fn main() { let y { let x 3; x 1 // 注意沒有分號 }; println!(y {}, y); // 輸出4 }這里最容易犯的錯就是在x 1后面補一個分號。一旦加了分號這個塊就變成了語句不再返回任何值let y { ... };就會編譯失敗報錯信息通常長這樣expected integer, found ()。這個報錯在初學(xué)階段出現(xiàn)頻率極高但每次看到它其實都是在提醒你“表達式和語句的區(qū)別”。理解這個特性的好處是你能用表達式寫出非常緊湊的函數(shù)。比如fn max(a: i32, b: i32) - i32 { if a b { a } else { b } }注意函數(shù)體里沒有return也沒有分號直接以if表達式結(jié)尾這個if表達式的值就是函數(shù)返回值干凈利落。4.3 函數(shù)返回值與空的元組函數(shù)通過箭頭聲明返回值類型函數(shù)體最后一個表達式就是返回值。如果不寫箭頭那就默認返回()也就是單元類型。為了提前返回你可以用return關(guān)鍵字比如錯誤處理里常見的模式fn divide(a: f64, b: f64) - f64 { if b 0.0 { return 0.0; } a / b }初學(xué)時容易犯的錯是函數(shù)簽名寫了- i32函數(shù)體卻以表達式加分號結(jié)尾編譯器會報類型不匹配。這個時候你要做的是檢查最后一個表達式有沒有多余的分號。還有一個經(jīng)驗是如果函數(shù)沒有返回值就別寫- ()直接不寫箭頭更符合Rust風(fēng)格如果你看到別人的代碼里有- ()那多半是歷史遺留可以清理。4.4 注釋從//到文檔注釋Rust的普通注釋跟大多數(shù)語言一樣用//不支持塊注釋的嵌套。第三章的主要內(nèi)容是普通注釋但如果你有做庫的想法建議提前知道文檔注釋/// 計算兩個數(shù)的和 /// /// # 示例 /// /// let result add(1, 2); /// assert_eq!(result, 3); /// fn add(a: i32, b: i32) - i32 { a b }這種///注釋可以被cargo doc工具自動生成HTML文檔還能在注釋里放可運行的代碼示例形成一個可以自動測試的文檔。如果你寫的是開源庫這個特性幾乎等于白送一份會過測試的文檔非常劃算。還有//!是寫在模塊文件頂部的內(nèi)部文檔注釋通常用來描述整個模塊的用途。我的建議是保持注釋“描述為什么而不是做什么”。Rust代碼本身已經(jīng)很可讀你不需要寫// x加1這種廢話而是要說明“這里為什么要加1”比如是為了對齊、補償時區(qū)或者處理邊界條件。好的注釋是給明天早晨的自己和下一位維護者看的。5. 控制流if和循環(huán)在Rust里的特殊地位5.1 if是表達式不是語句Rust的if條件不需要括號但條件必須是boollet number 6; if number % 4 0 { println!(能被4整除); } else if number % 3 0 { println!(能被3整除); } else { println!(其他情況); }這段代碼大家都會寫重點是if可以當(dāng)作表達式來用let condition true; let value if condition { 5 } else { 6 }; println!(value {}, value); // 5因為if是表達式所有分支必須返回同一類型。如果你寫if condition { 5 } else { six }編譯器會報錯因為這倆類型不一致。初看這是個限制但仔細想想它其實讓你在做分支返回時就有了強制的類型一致性判斷避免了很多動態(tài)語言里分支返回不同類型導(dǎo)致的運行時問題。5.2 循環(huán)三兄弟loop、while、forRust提供三種循環(huán)loop、while、for。loop是無條件無限循環(huán)風(fēng)格上有點“我就是要在這里一直跑”的意味loop { println!(一直打印); }它獨特的地方在于可以帶返回值在循環(huán)里用break帶上值退出let mut counter 0; let result loop { counter 1; if counter 10 { break counter * 2; } }; println!(result {}, result); // 20這個特性在需要“先循環(huán)計算再取出結(jié)果”的場景里很順手相當(dāng)于把循環(huán)當(dāng)成一個表達式來用。while是條件循環(huán)語義和C語言一樣let mut n 3; while n 0 { println!({}, n); n - 1; }while適合條件不來自集合的場景但如果你要遍歷一個集合Rust的推薦做法是forlet a [10, 20, 30, 40, 50]; for element in a { println!(值是 {}, element); }為什么要用for而不是像很多C程序員那樣用索引遍歷因為用索引需要自己管理下標(biāo)、判斷邊界一旦越界就panic而for直接迭代元素從根本上消除了這類錯誤。對于需要下標(biāo)的情況Rust也有iter().enumerate()方法后面學(xué)到迭代器時會非常舒服。for配合Range范圍的方式也很常見for number in (1..4).rev() { println!({}, number); // 輸出3、2、1 }1..4是一個Range表示從1到3不包含41..4表示包含4。這個語法在循環(huán)里非常有用寫倒計時、取子范圍、控制重復(fù)次數(shù)都很方便。5.3 循環(huán)標(biāo)簽跳出多層循環(huán)循環(huán)標(biāo)簽是Rust做得比較貼心的一個設(shè)計。當(dāng)你嵌套多個循環(huán)時默認break只跳出一層想跳出外層就得用標(biāo)簽outer: for i in 1..5 { for j in 1..5 { if i * j 6 { println!(i {}, j {}, i, j); break outer; } } }outer是以單引號開頭的標(biāo)簽名寫在循環(huán)前面。break outer表示跳出標(biāo)簽標(biāo)記的那個循環(huán)。這個語法在寫復(fù)雜狀態(tài)機或二維搜索時很實用避免了用額外布爾變量控制外層的土辦法。6. 常見坑與排查經(jīng)驗6.1 新手最容易踩的四個坑第一個坑是試圖給不可變變量賦值。任何人都逃不掉。編譯器報錯后不要急著加mut先想想這個值到底應(yīng)不應(yīng)該變?nèi)绻皇桥R時想換個新值用shadowing可能更合適。當(dāng)然如果確實需要反復(fù)修改加mut也沒問題。第二個坑是表達式末尾加分號導(dǎo)致返回()。這個報錯通常是expected i32, found ()看到()就馬上檢查函數(shù)體最后一個表達式。我的習(xí)慣是在函數(shù)最后有意寫成不加分號的表達式然后讓cargo fmt統(tǒng)一處理風(fēng)格省得手滑。第三個坑是整數(shù)溢出。Rust在debug模式下遇到整數(shù)溢出會直接panic在release模式下默認使用二進制的補碼回繞wrapping邏輯。這個差異隱藏很深我見過有項目在debug模式下一切正常release上線后突然出現(xiàn)奇怪數(shù)值排查半天才發(fā)現(xiàn)是溢出。如果你真的需要回繞語義就用wrapping_add、wrapping_sub等方法至少意圖明確。第四個坑是習(xí)慣性地用索引遍歷數(shù)組。Rust里寫for i in 0..a.len() { println!({}, a[i]) }雖然合法但不推薦因為沒有必要。直接for item in a更安全、更快編譯器還能做更好的優(yōu)化。只有在確實需要下標(biāo)參與邏輯時才用enumerate。6.2 編譯器的報錯其實很友好這是我對Rust印象最深的一點編譯器不是甩一句“語法錯誤”就完事而是會告訴你問題在哪、為什么、怎么改。比如對不可變變量賦值它會提示error[E0384]: cannot assign twice to immutable variable help: consider making this binding mutable: mut x這種建議對初學(xué)者極其友好。另一個實用技巧是cargo check它只做類型檢查不生成可執(zhí)行文件比cargo build快很多開發(fā)時反復(fù)運行它來驗證編譯能不能通過是最高效的工作流。寫完代碼再跑cargo fmt統(tǒng)一格式Rust生態(tài)的開發(fā)體驗在系統(tǒng)級語言里算很舒服的了。7. 學(xué)習(xí)實操怎么把這一章真正吃透7.1 建議的練習(xí)步驟理論不看三遍沒感覺動手寫一遍勝過刷十遍視頻。我當(dāng)時的練習(xí)路徑是先用cargo new創(chuàng)建項目然后做三個經(jīng)典練習(xí)第一個是溫度轉(zhuǎn)換華氏度與攝氏度互相轉(zhuǎn)換。這個練習(xí)能覆蓋函數(shù)定義、參數(shù)類型、let綁定、shadowing、返回值還能順便鞏固整數(shù)/浮點運算。第二個是斐波那契數(shù)列指定第n項返回數(shù)值。這個練習(xí)能逼你用loop或for循環(huán)并理解循環(huán)與返回值的關(guān)系。第三個是打印圣誕頌歌的歌詞需要處理多段重復(fù)、數(shù)字對應(yīng)的英文序數(shù)詞。這個練習(xí)比較長能讓你把if表達式、match、循環(huán)、字符串拼接都串起來。如果你是零基礎(chǔ)節(jié)奏可以放慢每讀完一個小節(jié)就敲一遍配套代碼然后在代碼里故意改錯幾次觀察編譯器的反應(yīng)。不要怕報錯報錯本身就是Rust老師在上課。每解決一個報錯你對類型和綁定規(guī)則的理解就深一層。7.2 為所有權(quán)章節(jié)做準備第三章學(xué)完之后別急著慶祝下一章洶涌而來的是Rust的“獨門絕技”——所有權(quán)。如果你覺得第三章里的變量綁定、作用域、shadowing已經(jīng)有點繞了那所有權(quán)只會更繞因為它把“誰擁有這個值”“什么時候釋放內(nèi)存”“借出來怎么還”這些在C語言里全靠自覺的事情全部放進了類型系統(tǒng)。但好消息是第三章建立的幾個直覺能幫你平穩(wěn)過渡你理解了默認不可變是為了安全你理解了綁定和值的區(qū)別你理解了作用域?qū)ψ兞康南拗?。有了這些基礎(chǔ)所有權(quán)章節(jié)里所有權(quán)的轉(zhuǎn)移、借用與引用、生命周期這些概念就不再是空中樓閣。我在學(xué)完第三章后給自己定的目標(biāo)是不看源碼能把每一個知識點講給一個完全不認識Rust的人聽。做到這一點之后再推開第四章的大門心里的底氣會完全不同。最后再分享一個學(xué)習(xí)工具上的小習(xí)慣我平時在VS Code里裝rust-analyzer插件寫代碼時可以看到變量類型、函數(shù)簽名和編譯診斷但我不建議過度依賴它做自動修復(fù)。Rust的學(xué)習(xí)前期親手讀報錯、親手改代碼非常重要IDE一鍵修復(fù)會讓你跳過很多本該建立的連接。等基礎(chǔ)牢固了再讓工具幫你提速那才是發(fā)揮IDE價值的正確時機。