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