北京
有個(gè)開發(fā)者發(fā)帖說，自己正在用Rust寫一個(gè)玩具語言的編譯器，語法夸張地簡單——只有l(wèi)et、print?和println?，變量類型也只認(rèn)u64整數(shù)和String字符串。初看像是兩天就能交差的練手項(xiàng)目，但帖子底下藏著一條苦澀的進(jìn)度條：“Now, I'm writing the codegen and I'm stuck because of Assembly.”
先把這位兄弟的貼子拆開看看，幾個(gè)技術(shù)點(diǎn)很值得邊笑邊記：
1. 自定語法極度克制，但踩中了“函數(shù)變宏”的坑
他的語言示例就兩行賦值、三次打印，連控制流都還沒影。他說print?現(xiàn)在是函數(shù)，但“soon they'll become macro”。從函數(shù)改成宏，很可能是想省去運(yùn)行時(shí)的調(diào)用開銷，或者需要直接操縱語法樹。問題是，宏展開要在編譯早期解決，等于重構(gòu)整個(gè)解析流程。
2. 類型系統(tǒng)停留在石器時(shí)代
只有u64和String兩種類型，連布爾都不支持，更別提結(jié)構(gòu)體或泛型。他大概是想先把代碼生成跑通再回頭補(bǔ)課——結(jié)果直接栽在代碼生成本身。
3. 代碼生成成了真正的攔路虎
這位老兄直說卡在匯編，“I have to learn it! Never mind.”話里的“Never mind”透著一種強(qiáng)行淡定。很多人以為寫完詞法和語法分析就等于Compiler 80%完工，結(jié)果發(fā)現(xiàn)把中間表示翻譯成x86或arm指令時(shí)，寄存器分配、棧幀布局、系統(tǒng)調(diào)用約定一齊撲上來，學(xué)完匯編還得學(xué)目標(biāo)平臺的ABI。
4. 心態(tài)管理意外成為編譯器工程的一部分
帖子里有句“In a few days, I'll complete it”，還附上代碼倉庫讓網(wǎng)友檢查，最后留下個(gè)“Stay tuned OvO”。這種邊學(xué)邊摔邊直播的節(jié)奏，倒是比完美主義的沉默更可能真把東西做出來。
順便說句客觀話：用Rust寫編譯器其實(shí)不算最糟的選擇，模式匹配和強(qiáng)類型能在語義分析階段幫上忙，但救不了匯編瘸腿。如果接下來他決定直接把代碼生成為C然后調(diào)gcc，或者先跑在虛擬機(jī)上，進(jìn)度條大概會誠實(shí)得多。
特別聲明：以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布，本平臺僅提供信息存儲服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
