學(xué) Rust 的人幾乎沒有人能繞過結(jié)構(gòu)體。我今年幫團(tuán)隊里幾個從 C 語言和 Go 轉(zhuǎn)過來的同事過 Rust 基礎(chǔ)關(guān)發(fā)現(xiàn)一個很明顯的特點只要把結(jié)構(gòu)體講明白后面的所有權(quán)、借用、impl、trait 都有了一個可以掛靠的抓手結(jié)構(gòu)體稀里糊涂后面寫什么項目都是一路踩坑。這篇文章不打算做語法手冊式羅列而是把 Rust 結(jié)構(gòu)體從定義、初始化、方法、內(nèi)存布局到實戰(zhàn)拆一遍順便記錄我在實際開發(fā)里踩過的坑。無論你是剛裝好 Rust 工具鏈的純新手還是已經(jīng)在寫 C/C、Java、Go 的老手看完都能自己動手寫而且寫出來是地道的 Rust不是搬著別的語言習(xí)慣硬套。1. 從 C 語言說起Rust 結(jié)構(gòu)體到底解決了什么問題1.1 結(jié)構(gòu)體解決的是“數(shù)據(jù)關(guān)聯(lián)”和“類型安全”兩件事先回到最原始的場景程序里要描述一個“復(fù)合對象”比如一本書有標(biāo)題、作者、借閱狀態(tài)一個用戶有昵稱、郵箱、年齡。如果只用幾個獨立變量去代表這些數(shù)據(jù)代碼很快就會失控傳函數(shù)時參數(shù)多得沒法看。let title String::from(Rust程序設(shè)計); let author String::from(張三); let borrowed false; // 接下來要把這三個變量一起傳進(jìn)某個函數(shù)這種寫法最大的問題不是打字累而是數(shù)據(jù)之間的關(guān)聯(lián)只能靠人腦去記憶。結(jié)構(gòu)體解決的就是這一件事把一組相關(guān)字段打包成一種新的類型讓編譯器替你盯著哪些數(shù)據(jù)是一組的哪些不是。C 語言里早就有了結(jié)構(gòu)體但 Rust 的結(jié)構(gòu)體不只是“數(shù)據(jù)容器”它還是類型系統(tǒng)的主角后面要講的方法、trait、所有權(quán)、內(nèi)存布局全都掛在它身上。拿“傳參數(shù)”這個場景舉例如果你用三個普通變量調(diào)用時根本無法防止borrow_book(title, username)傳成borrow_book(username, title)因為String和String在類型上沒有區(qū)別。一旦引入結(jié)構(gòu)體函數(shù)簽名變成borrow_book(book: Book, user: User)類型不匹配時編譯器直接拒絕通過這層防護(hù)在編譯期就能擋住一大批低級錯誤。1.2 Rust 結(jié)構(gòu)體和 C、Go 的結(jié)構(gòu)體有什么本質(zhì)不同這里給一張對比表方便從別的語言過來的朋友快速定位差異對比項C 結(jié)構(gòu)體Go 結(jié)構(gòu)體Rust 結(jié)構(gòu)體字段訪問權(quán)限無全靠約定大寫導(dǎo)出、小寫私有靠模塊可見性精確控制方法組織函數(shù)指針寫起來別扭方法獨立定義與結(jié)構(gòu)體分離impl 塊內(nèi)聚字段和方法一起組織所有權(quán)語義拷貝還是指針全看自己值或指針GC 兜底move / borrow 語義強(qiáng)制表達(dá)內(nèi)存布局明確有對齊規(guī)則基本明確默認(rèn)由編譯器優(yōu)化可指定 repr(C)空值表達(dá)指針可以為 NULLnilOption 沒有隱式空指針我特別想強(qiáng)調(diào)最后一行。寫 C 的時候鏈表節(jié)點 next 可以是NULL這是程序崩潰和邏輯錯亂的主要來源之一。在 Rust 里你不需要NULLOptionT明明白白告訴所有人“這里可能沒有值”而且編譯器強(qiáng)制你處理這種可能。有了這個機(jī)制結(jié)構(gòu)體定義本身就成了文檔——任何人讀代碼都能一眼看出哪些字段“必須有值”哪些字段“可能為空”。熱搜詞里有很多“c語言結(jié)構(gòu)體指針”“c結(jié)構(gòu)體鏈表基本語法”“keil5怎么引出結(jié)構(gòu)體成員”這明顯是嵌入式圈子的人開始接觸 Rust。我后面會用專門的一小節(jié)講 Rust 里“指針”和鏈表應(yīng)該怎么寫現(xiàn)在先按順序把基礎(chǔ)打牢。2. 三種結(jié)構(gòu)體的定義一個都不能少2.1 命名結(jié)構(gòu)體最常用的組合方式Rust 結(jié)構(gòu)體有三種形式最常用的是命名結(jié)構(gòu)體也叫經(jīng)典結(jié)構(gòu)體。定義語法非常直觀struct User { name: String, email: String, active: bool, age: u8, }注意幾個細(xì)節(jié)字段之間用逗號分隔最后一個字段逗號可留可不留我的習(xí)慣是留因為以后加字段時不容易出錯。字段類型必須寫出來Rust 不會像 Python 那樣幫你自動推斷結(jié)構(gòu)體字段類型。如果你是 C 背景這里最需要適應(yīng)的變化是字段默認(rèn)不可變。C 結(jié)構(gòu)體成員變量隨便讀隨便改Rust 里拿到一個結(jié)構(gòu)體實例后想改字段必須先讓綁定可變let mut user User { name: String::from(張三), email: String::from(zhangsanexample.com), active: true, age: 30, }; user.age 31; // 只有在 user 聲明為 mut 時才能這么干這個規(guī)則和普通變量一模一樣一開始會覺得啰嗦但它的價值在于把“可變性邊界”擺到明面上。代碼評審時一眼就能看出哪些數(shù)據(jù)會被修改哪些數(shù)據(jù)是只讀的。數(shù)據(jù)流清晰了并發(fā)和借用相關(guān)的問題通常會少掉一大半。2.2 元組結(jié)構(gòu)體懶得給字段起名時的輕量方案有些場景只是想把幾個同類數(shù)據(jù)打包沒必要給每個字段起名字比如 RGB 顏色struct Color(u8, u8, u8); let white Color(255, 255, 255); println!(R: {}, G: {}, B: {}, white.0, white.1, white.2);元組結(jié)構(gòu)體就是“字段沒名字的命名結(jié)構(gòu)體”訪問時通過.0、.1按位置取。它和普通元組的核心區(qū)別是它有獨立的類型這一點在防止“參數(shù)傳錯”上特別有用。同樣都是兩個f64坐標(biāo)和速度只用普通元組表示時幾乎無法區(qū)分struct Point2D(f64, f64); struct Velocity(f64, f64); let p Point2D(1.0, 2.0); let v Velocity(3.0, 4.0);普通元組(1.0, 2.0)和(3.0, 4.0)本質(zhì)上沒有區(qū)別完全可能把速度當(dāng)成坐標(biāo)順手傳給繪圖函數(shù)。元組結(jié)構(gòu)體讓編譯器牢牢區(qū)分Point2D和Velocity傳錯了直接編譯報錯。在真實項目里這種基于類型的防護(hù)非常值錢它不依賴程序員小心而是從類型層面把路堵死。元組結(jié)構(gòu)體還有一種常見形態(tài)叫 newtype只有一個字段struct UserId(u64); struct BookId(u64);它把底層整數(shù)包裝成語義不同的新類型既防止把BookId誤傳給需要UserId的函數(shù)又能給數(shù)據(jù)增加業(yè)務(wù)含義。我在項目中特別喜歡用這個模式相當(dāng)于給基礎(chǔ)類型附加一個“身份標(biāo)簽”。2.3 單元結(jié)構(gòu)體最容易被忽視的類型標(biāo)記單元結(jié)構(gòu)體就是帶名字但不帶任何字段的類型struct Marker;第一次看到的人基本都會問這有什么意義一個沒有任何數(shù)據(jù)的類型能拿來干嘛它的主要作用是作為“類型層面的標(biāo)記”。舉一個入門階段就能理解的場景你想讓一個函數(shù)接受不同類型的“上下文”但又完全不關(guān)心這些類型內(nèi)部的數(shù)據(jù)只希望通過類型區(qū)分調(diào)用來源單元結(jié)構(gòu)體就能勝任。更常見的是在狀態(tài)機(jī)設(shè)計里做狀態(tài)標(biāo)記比如一篇博客文章有草稿態(tài)和發(fā)布態(tài)struct Draft; struct Published;先把類型建出來后面配合泛型就能做到“只有 Published 狀態(tài)的文章才能被發(fā)布”這個限制在編譯期就能生效。單元結(jié)構(gòu)體看起來不起眼但它是 Rust 類型驅(qū)動設(shè)計里很基礎(chǔ)的一塊積木。別把它當(dāng)成冷門語法跳過很多優(yōu)秀設(shè)計都藏在這些小工具里。3. 初始化、更新與字段訪問日常寫代碼的高頻操作3.1 初始化語法與字段簡寫少打好多字命名結(jié)構(gòu)體的初始化是 Rust 里辨識度極高的一段語法let user User { name: String::from(張三), email: String::from(zhangsanexample.com), active: true, age: 30, };如果剛好有同名局部變量還能進(jìn)一步簡寫let name String::from(張三); let email String::from(zhangsanexample.com); let user User { name, email, active: true, age: 30, };字段簡寫規(guī)則很簡單name等價于name: name。這不是高級魔法但讓組裝數(shù)據(jù)的代碼簡潔很多。我建議在構(gòu)造函數(shù)或數(shù)據(jù)組裝函數(shù)里盡量使用這種寫法讀代碼的人能少追蹤重復(fù)信息。熱搜詞里有人搜“結(jié)構(gòu)體變量的定義”“結(jié)構(gòu)體初始化”。在 Rust 里“結(jié)構(gòu)體變量定義”和“初始化”實際上是一體的——你必須一次性把所有字段都給全不能先聲明一個空的、以后再填。這個設(shè)計看著死板實際上非常省心。它逼你思考一個 User 到底需不需要 name 和 email如果有些字段允許缺失那就應(yīng)該用OptionT明確表達(dá)而不是留一個空字符串等待后續(xù)填。字段很多時可以給結(jié)構(gòu)體實現(xiàn)Defaulttrait然后只覆蓋關(guān)心的字段#[derive(Default)] struct Config { host: String, port: u16, timeout_ms: u64, retries: u8, } let cfg Config { port: 8080, ..Default::default() };這種寫法在測試環(huán)境特別省事你只需要指定和默認(rèn)值不同的字段其余交給Default。實際項目里配置類結(jié)構(gòu)體幾乎都這么用。3.2 結(jié)構(gòu)體更新語法復(fù)制很快但小心所有權(quán)被搬走基于一份已有數(shù)據(jù)只改一兩個字段生成新結(jié)構(gòu)體Rust 提供了更新語法let user2 User { email: String::from(newexample.com), ..user };這里的..user意思是剩下的字段全部從 user 拿。寫起來非常爽但有一個所有權(quán)陷阱必須記住。如果 user 里的字段是不實現(xiàn)Copy的類型比如String那么..user會把name和email從 user 中 move 走。..user執(zhí)行完之后user 整體就不能再使用了。舉個例子let user User { name: String::from(張三), email: String::from(zhangsanexample.com), active: true, age: 30, }; let user2 User { email: String::from(newexample.com), ..user }; println!({}, user.name); // 錯誤value borrowed here after partial move解決方式有兩個如果結(jié)構(gòu)體里的字段都實現(xiàn)了Clone就用..user.clone()如果不想付出克隆成本就手動逐個字段重新構(gòu)建。這個問題在實際項目里經(jīng)常被 IDE 的自動補(bǔ)全坑到尤其是寫 DTO 轉(zhuǎn)換時一不留神就是 E0382。理解“move 發(fā)生在..user這一行”之后你就不會再被這個報錯困擾了。3.3 字段訪問與點語法沒有箭頭自動幫你解引用從 C 轉(zhuǎn)來的朋友一定習(xí)慣用-訪問指針成員字段。Rust 里統(tǒng)一使用.無論你是普通字段、可變字段還是引用字段全部一個點訪問。let b Book::new(Rust程序設(shè)計, 張三); println!({}, b.title); // 普通訪問 let ref_b b; println!({}, ref_b.title); // 通過引用訪問自動解引用 let mut b2 Book::new(C語言深度解剖, 李四); b2.borrower Some(String::from(王五)); // 變量聲明為 mut 才能修改這背后是 Rust 的自動引用/解引用規(guī)則在起作用。初次接觸會覺得像魔法但用習(xí)慣之后你幾乎不會再想寫過-。這正好回答熱搜里的“keil5 怎么引出結(jié)構(gòu)體成員”Rust 不需要“引出”只要類型正確、字段可見.字段名就是唯一姿勢。編譯器報錯找不到字段時先檢查字段是不是私有的或者類型是不是被用了別名。字段可見性在結(jié)構(gòu)體里是一個重要話題。默認(rèn)情況下結(jié)構(gòu)體字段只在當(dāng)前模塊內(nèi)可見跨模塊使用時需要手動加pubmod user { pub struct User { pub name: String, email: String, // 模塊外不可訪問 } }這個設(shè)計比 C 語言更精細(xì)比 Java 的 private 字段也更簡潔。寫庫代碼時我經(jīng)常故意把某些字段設(shè)為私有只提供訪問方法從而保住內(nèi)部狀態(tài)的一致性。比如一個HttpClient結(jié)構(gòu)體里的連接池字段絕對不應(yīng)該是pub否則外部代碼可以直接搞壞連接狀態(tài)。4. impl 塊讓結(jié)構(gòu)體從數(shù)據(jù)變成“對象”4.1 方法定義與三種接收者的選擇在純 C 語言里結(jié)構(gòu)體只是裝數(shù)據(jù)的袋子操作數(shù)據(jù)的函數(shù)得單獨寫在外面比如int get_age(const User *u)。Rust 的做法是把相關(guān)操作直接掛在結(jié)構(gòu)體上通過 impl 塊實現(xiàn)impl User { fn name(self) - str { self.name } fn set_age(mut self, new_age: u8) { self.age new_age; } fn into_summary(self) - String { format!({} : {}, self.name, self.email) } }impl 塊里第一個參數(shù)決定了這個方法對結(jié)構(gòu)體的影響方式這是 Rust 和其他語言很不同的地方也是初學(xué)階段容易懵的地方。整理成一張對照表接收者調(diào)用方式效果典型場景selfx.into_summary()消費掉 xx 之后不可用轉(zhuǎn)換成另一種類型、銷毀資源selfx.name()只借用讀取x 還能繼續(xù)用查詢、計算、gettermut selfx.set_age(30)可變借用x 必須聲明為 mut修改字段、更新狀態(tài)從 C 語言過來的人可以把 self 理解成“this 指針”但它的形態(tài)被拆成了三種讓程序員選擇。這個設(shè)計最大的好處是不需要閱讀函數(shù)文檔光看接收者簽名就知道一個方法會不會改寫數(shù)據(jù)、會不會銷毀數(shù)據(jù)。我第一次看 Rust 代碼時單單靠方法簽名就能猜出大部分調(diào)用規(guī)則前后端協(xié)作時理解成本也低。要特別留神self接收的方法它會把結(jié)構(gòu)體本身消耗掉。如果你還打算繼續(xù)用這個實例就千萬別調(diào)用self方法。比如String::into_bytes就是這種風(fēng)格調(diào)用后原 String 就沒了。4.2 關(guān)聯(lián)函數(shù)與 new 慣例Rust 沒有構(gòu)造函數(shù)語法最常見的方式是定義關(guān)聯(lián)函數(shù)也就是 impl 塊里不帶 self 參數(shù)的函數(shù)impl User { fn new(name: String, email: String) - User { User { name, email, active: true, age: 0, } } }調(diào)用方式為User::new(...)和靜態(tài)方法幾乎一個意思。注意它并沒有“構(gòu)造”的特殊地位只是大家約定俗成用new作為構(gòu)造入口。你也可以寫User::create、User::from_email完全自由。這里引出一個實用的習(xí)慣構(gòu)造函數(shù)里可以封裝默認(rèn)值邏輯。上面的new把a(bǔ)ctive固定為 true、age初始化為 0調(diào)用者不用關(guān)心這些內(nèi)部狀態(tài)。后續(xù)如果規(guī)則變了比如新用戶默認(rèn)不激活只需要改這一個函數(shù)所有調(diào)用方自動生效。Rust 的構(gòu)造邏輯之所以干凈是因為它不需要學(xué) C 那套“構(gòu)造函數(shù)重載”“初始化列表”“拷貝構(gòu)造”的復(fù)雜規(guī)則。new就是一個普通函數(shù)返回本類型而已。你完全可以用默認(rèn)參數(shù)式的設(shè)計組合出多個構(gòu)造入口比如User::new_with_age(name, email, age)。4.3 沒有繼承組合和 trait 才是正解Java、C 出身的人可能下意識想給結(jié)構(gòu)體做“繼承”比如建一個Animal基類再讓Dog繼承。Rust 明確不支持繼承它推薦的思路第一是組合struct Dog { animal: Animal, breed: String, }第二種思路是用 trait 定義行為讓不同類型實現(xiàn)同一個接口。trait 更接近“接口”概念這里不鋪開講但你要明白結(jié)構(gòu)體加 trait 才是 Rust 面向?qū)ο竽芰Φ恼?。?shù)據(jù)結(jié)構(gòu)保持簡單行為通過 impl 和 trait 一層層疊加代碼的可測試性比繼承關(guān)系樹好得多。在我實際參與的項目里Rust 代碼庫里最復(fù)雜的往往不是繼承樹而是一組行為和職責(zé)清晰的結(jié)構(gòu)體每個結(jié)構(gòu)體只做一類事。組合優(yōu)先于繼承在這門語言里被真正落實成了語法層面的選擇。如果你在設(shè)計結(jié)構(gòu)體時發(fā)現(xiàn)“這個字段的取值取決于另一個字段”很多時候說明這個結(jié)構(gòu)體本身該拆了而不是該引入繼承。5. 內(nèi)存布局結(jié)構(gòu)體在內(nèi)存里長什么樣5.1 對齊、填充和編譯器重排結(jié)構(gòu)體在內(nèi)存里并不是把所有字段一個挨一個塞滿的中間會存在填充字節(jié)用來保證每個字段按對齊要求排列。理解這一點對追求性能的開發(fā)者很重要。先看一個例子struct Foo { a: u8, // 1 字節(jié) b: u64, // 8 字節(jié) c: u8, // 1 字節(jié) }直覺會猜測它的大小是 10 字節(jié)。如果嚴(yán)格按字段聲明順序排布a占用偏移 0然后需要 7 字節(jié)填充來讓b對齊到 8 字節(jié)邊界c放在偏移 16最后為了讓整個結(jié)構(gòu)體大小是對齊值的整數(shù)倍還要補(bǔ)到 24 字節(jié)。這就是 C 語言里的典型結(jié)果。但 Rust 默認(rèn)的內(nèi)存布局并不是 C 那種“承諾不亂動”編譯器允許重排字段。它會把a(bǔ)和c這兩個 1 字節(jié)字段排在一起中間只留 6 字節(jié)填充然后放 8 字節(jié)的b整個結(jié)構(gòu)體變成 16 字節(jié)。同樣一個結(jié)構(gòu)體默認(rèn)情況下直接省了 8 字節(jié)。代碼驗證use std::mem::{align_of, size_of}; struct Foo { a: u8, b: u64, c: u8, } fn main() { println!(size {}, size_of::Foo()); println!(align {}, align_of::Foo()); }在主流 64 位平臺上你大概率看到size 16, align 8。這就是 Rust 編譯器做的免費優(yōu)化。缺點也很明顯跨 FFI 時你不知道字段到底在哪一個偏移因為布局沒有承諾。如果字段聲明順序?qū)π阅苡杏绊懣梢允謩优挪?。比如把?jīng)常一起訪問的字段放近一點或者把大字段放前面減少填充。但除非 profile 顯示有緩存問題否則我建議直接信任編譯器。5.2 repr(C) 與 FFI接入 C 庫的必修課當(dāng) Rust 要調(diào)用 C 庫或者 C 要調(diào)用 Rust 導(dǎo)出函數(shù)時結(jié)構(gòu)體布局必須可預(yù)測。這時需要在結(jié)構(gòu)體上標(biāo)注#[repr(C)]#[repr(C)] struct Point { x: f32, y: f32, }#[repr(C)]表示這個結(jié)構(gòu)體按照 C 的布局規(guī)則排列字段保證偏移一致。加了它之后上面的 Foo 就回到 24 字節(jié)和 C 編譯器行為完全一致。如果進(jìn)一步需要緊湊內(nèi)存可以用#[repr(packed)]但會犧牲訪問速度還可能引入未對齊訪問的問題建議非必要不使用。實際嵌入項目中凡是和 C 庫交換數(shù)據(jù)結(jié)構(gòu)體定義必須和 C 頭文件對得上。我總結(jié)過幾個高頻坑忘記加#[repr(C)]兩邊字段錯位數(shù)據(jù)讀到后面全是垃圾字節(jié)對齊不一致比如 windows 上默認(rèn) 8 字節(jié)對齊而 C 側(cè)用了#pragma pack(1)需要配合#[repr(C, packed)]控制把String、Vec當(dāng)成和 C 字符串、數(shù)組一致的東西直接塞進(jìn) FFI 結(jié)構(gòu)體。這一點特別重要Rust 的String內(nèi)部是指針加長度加容量三件套與 C 的char*根本不是一回事跨邊界必須用CString、固定大小數(shù)組或者裸指針。提示做任何 FFI 之前先確認(rèn)結(jié)構(gòu)體兩邊的大小和每個字段的偏移量寫個小測試打印size_of和offset_of。別等運(yùn)行時讀出一堆錯亂數(shù)據(jù)才開始排查。5.3 從 C 世界來的你Rust 里的“指針”和鏈表怎么寫熱搜詞里有很多“c語言結(jié)構(gòu)體指針”“c結(jié)構(gòu)體鏈表基本語法”我直接說結(jié)論Rust 里確實有指針但普通業(yè)務(wù)代碼基本不需要直接操作裸指針更常見的是用引用T和智能指針BoxT、RcT。如果要寫一個單鏈表節(jié)點你自然會想到的寫法是struct Node { value: i32, next: OptionBoxNode, }這里的BoxNode就是“在堆上分配一個 Node”相當(dāng)于 C 里的Node *。外層套上Option相當(dāng)于把NULL顯式化。整個定義里沒有unsafe沒有懸空指針內(nèi)存由編譯器自動管理。創(chuàng)建、遍歷、釋放都由所有權(quán)系統(tǒng)兜底不會出現(xiàn) use-after-free。這個寫法對嵌入式背景的人來說是全新的思考方式。C 里你會手動 malloc、判斷 NULL、free而在 Rust 里Box離開作用域自動釋放Option強(qiáng)制你處理“沒有下一個節(jié)點”的分支。寫出來的鏈表代碼天然不會因為空指針崩潰。一定要寫雙向鏈表的話問題會復(fù)雜很多因為一個節(jié)點會被兩個指向所有權(quán)歸屬難以表達(dá)需要用RcRefCellNode或unsafe指針。初學(xué)者階段不建議硬啃。如果你只是想理解“Rust 里怎么做鏈表”上面的OptionBoxNode已經(jīng)足夠它演示了結(jié)構(gòu)體、Box、Option 三者結(jié)合的核心思路。6. 實戰(zhàn)用結(jié)構(gòu)體實現(xiàn)一個迷你圖書館6.1 需求與結(jié)構(gòu)設(shè)計寫代碼不能只看語法得把結(jié)構(gòu)體放到真實場景里用一遍。這里我用一個“社區(qū)圖書館”的小項目做演示麻雀雖小五臟俱全有書、有借閱狀態(tài)、有圖書館容器、有借書還書統(tǒng)計操作。先設(shè)計結(jié)構(gòu)體#[derive(Debug)] struct Book { title: String, author: String, borrower: OptionString, } struct Library { name: String, books: VecBook, }Book.borrower用OptionString這個選擇很關(guān)鍵None表示沒被借出Some(...)表示借閱人是誰。比起用空字符串或者布爾值加額外字段Option把狀態(tài)語義封裝得明明白白永遠(yuǎn)不會出現(xiàn)“borrowed 為 true 但不知道誰借的”這種狀態(tài)錯亂。Library.books用VecBook裝所有書。Vec是標(biāo)準(zhǔn)動態(tài)數(shù)組類似 C 的std::vector自動管理堆內(nèi)存不用自己 resize。這里注意一個設(shè)計細(xì)節(jié)這本書的所有權(quán)歸圖書館借閱時不會把 Book move 出去而是修改它內(nèi)部的borrower字段。這個決策直接影響后面的方法寫法?？梢韵扔?cargo 建項目cargo new library_example cd library_example然后把代碼放進(jìn)src/main.rs就行。6.2 方法實現(xiàn)借書、還書與統(tǒng)計完整實現(xiàn)如下impl Book { fn new(title: str, author: str) - Book { Book { title: title.to_string(), author: author.to_string(), borrower: None, } } fn is_available(self) - bool { self.borrower.is_none() } } impl Library { fn new(name: str) - Library { Library { name: name.to_string(), books: Vec::new(), } } fn add_book(mut self, book: Book) { self.books.push(book); } fn borrow_book(mut self, title: str, borrower: str) - bool { for book in self.books.iter_mut() { if book.title title book.borrower.is_none() { book.borrower Some(borrower.to_string()); return true; } } false } fn return_book(mut self, title: str) - bool { for book in self.books.iter_mut() { if book.title title book.borrower.is_some() { book.borrower None; return true; } } false } fn available_books(self) - VecBook { self.books .iter() .filter(|b| b.is_available()) .collect() } } fn main() { let mut lib Library::new(社區(qū)圖書館); lib.add_book(Book::new(Rust程序設(shè)計, 張三)); lib.add_book(Book::new(C語言深度解剖, 李四)); println!(第一次借書: {}, lib.borrow_book(Rust程序設(shè)計, 王五)); println!(重復(fù)借同一本: {}, lib.borrow_book(Rust程序設(shè)計, 趙六)); println!(當(dāng)前可借數(shù)量: {}, lib.available_books().len()); println!(還書成功: {}, lib.return_book(Rust程序設(shè)計)); println!(再次借出: {}, lib.borrow_book(Rust程序設(shè)計, 趙六)); }運(yùn)行結(jié)果大概是第一次借書: true 重復(fù)借同一本: false 當(dāng)前可借數(shù)量: 1 還書成功: true 再次借出: true邏輯非常清晰借書成功返回 true重復(fù)借同一本返回 false還書后又能繼續(xù)借整個狀態(tài)流轉(zhuǎn)都是靠Option字段的is_none/is_some完成的。6.3 設(shè)計決策與過程中的坑先解釋幾個設(shè)計選擇。borrow_book為什么返回bool而不是Result或Option因為失敗原因只有一個書不存在或已被借走。用bool足夠更復(fù)雜的場景可以換成Result(), BorrowError。什么時候換當(dāng)失敗原因可能有多種、需要向調(diào)用者明確傳遞原因時就必須換。初期用簡單類型沒有錯別過度設(shè)計。available_books返回VecBook它借用圖書館數(shù)據(jù)生成一個只讀視圖不復(fù)制字符串性能開銷很小。你會注意到函數(shù)簽名里沒有顯式寫生命周期這是 Rust 的省略規(guī)則帶來的便利輸入有self輸出是引用編譯器知道輸出借用的就是 self。新人看到這種簽名可能有點困惑多寫幾次就自然了。再記錄一個我實際寫的時候經(jīng)常犯的錯在iter_mut循環(huán)里同時調(diào)用另一個需要self的方法。比如在borrow_book循環(huán)里順手調(diào)用self.available_books()編譯器直接報 E0502因為同一時刻既可變借用了self.books又不可變借用了self。解決辦法是把循環(huán)里需要的數(shù)據(jù)先算出來存到局部變量或者只在循環(huán)里做最小操作。這個坑屬于“結(jié)構(gòu)體方法特別容易踩的借用沖突”我在后面速查表里還會強(qiáng)調(diào)一次。最后一個值得注意的點是self.books.iter_mut()中的iter_mut會逐個給你mut Book修改borrower字段就是在修改圖書館里的真實數(shù)據(jù)。這和你用普通循環(huán)遍歷一個VecBook完全不同沒有iter_mut的話book會是Book修改字段立刻報錯。迭代器方法的選擇直接決定了你是“只讀遍歷”還是“修改遍歷”。7. 常見報錯與排查技巧速查7.1 高頻錯誤一覽下面這些錯誤幾乎每個寫 Rust 結(jié)構(gòu)體的人都遇到過做成表格方便對照錯誤提示常見原因解決辦法E0063: missing fieldxxxin initializer初始化時漏了字段補(bǔ)上對應(yīng)字段或?qū)崿F(xiàn) DefaultE0067: structUserhas extra field多寫了結(jié)構(gòu)體里不存在的字段檢查字段名拼寫刪除多余字段cannot assign tox.y, asxis not declared as mutable實例不可變聲明時加mut或用mut self方法包裝E0382: borrow of moved value更新語法或字段被 move用..user.clone()或避免 partial moveE0502: cannot borrowself.booksas immutable because it is also borrowed as mutable在iter_mut循環(huán)里調(diào)用只讀方法先把需要的數(shù)據(jù)緩存到局部變量E0593: expectedBook, foundmut Book迭代器種類不匹配用iter()而不是iter_mut()想多說一個心態(tài)問題編譯錯誤不是程序?qū)懙貌缓玫淖C明而是編譯器在幫你做防線。我見過很多新手因為報錯多就把 Rust 丟到一邊其實報錯信息里的提示已經(jīng)是一半的答案。逐字讀一遍 E0502 的詳細(xì)說明比看十篇博客都管用它會把借用沖突的兩個位置標(biāo)得清清楚楚。7.2 打印結(jié)構(gòu)體Debug 和 PartialEq 的最小配置直接在println!({}, book)里打印結(jié)構(gòu)體會報錯因為結(jié)構(gòu)體沒有實現(xiàn)Display。最常見的做法是加一行 derive#[derive(Debug)] struct Book { title: String, author: String, }然后println!({:?}, book);#[derive(Debug)]是讓編譯器幫你自動實現(xiàn)Debugtrait輸出調(diào)試格式。如果想要更好看的多行輸出用{:#?}。這個需求看似很小卻是新手一天報錯次數(shù)最多的點。記住“要打印先 derive(Debug)”這句口訣就夠了。如果要寫測試通常還應(yīng)該#[derive(PartialEq)]這樣才能用assert_eq!比較兩個結(jié)構(gòu)體實例。但要注意如果結(jié)構(gòu)體里有f64字段PartialEq在浮點 NaN 場景下可能不符合預(yù)期測試時建議還是直接比較字段更穩(wěn)妥。在設(shè)計自己的庫時我會優(yōu)先為對外暴露的結(jié)構(gòu)體手動實現(xiàn)Debug不把內(nèi)部敏感字段全部打出來。derive 的 Debug 會把所有字段都打印出來有些字段包含密碼、密鑰時就不合適了。7.3 我的幾條獨家建議最后整理幾條實際項目里沉淀出來的經(jīng)驗。第一結(jié)構(gòu)體字段越少越好。如果你發(fā)現(xiàn)一個結(jié)構(gòu)體有 15 個字段大概率是在把好幾個概念塞進(jìn)一個類型?？梢圆鸪尚〗Y(jié)構(gòu)體再組合可讀性和測試難度都會好很多。第二處理業(yè)務(wù)數(shù)據(jù)時優(yōu)先用Option表達(dá)“可能沒有”的字段不要用空字符串、負(fù)數(shù)、0 這種魔法值。魔法值只能靠人肉記憶約定編譯器幫不了你Option把這個可能性直接寫進(jìn)類型系統(tǒng)每個讀到代碼的人都清楚。第三不要一上來就追求高性能先把結(jié)構(gòu)體設(shè)計清楚。Rust 默認(rèn)布局已經(jīng)做了內(nèi)存優(yōu)化絕大多數(shù)場景不需要手動repr(packed)或者調(diào)整字段順序。等 profile 出來確實有緩存命中的問題再回頭調(diào)布局這是我在一個圖像處理項目里實測過的結(jié)論——盲目優(yōu)化布局基本都是在自找麻煩。第四新手階段多讀標(biāo)準(zhǔn)庫源碼。VecT、OptionT、ResultT, E本身就是結(jié)構(gòu)體或枚舉看它們的定義、derive 和 impl能學(xué)到很多實用的組織技巧比自己憋十個博客都快。說說我自己的體會。開始寫 Rust 的幾年里我越來越覺得結(jié)構(gòu)體是這門語言真正的分水嶺。語法層面它很簡單難的是你愿不愿意按照它的方式重新思考數(shù)據(jù)和行為。剛接觸時總想把 Java 的類、C 的結(jié)構(gòu)體寫法硬搬過來結(jié)果處處別扭等你意識到“組合 類型驅(qū)動 所有權(quán)清晰”才是它想教你的東西寫起來反而順手。如果你現(xiàn)在正好卡在某一個結(jié)構(gòu)體報錯上別急著改語法先停下來想想這個結(jié)構(gòu)體是不是該存在它的字段放在這里合不合理想明白這兩件事報錯往往自己就消失了。