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