SerenityOS expr 命令詳解表達(dá)式求值器的語(yǔ)法、運(yùn)算符與源碼實(shí)現(xiàn)【免費(fèi)下載鏈接】serenityThe Serenity Operating System 項(xiàng)目地址: https://gitcode.com/GitHub_Trending/se/serenity導(dǎo)讀expr是 SerenityOS 提供的一個(gè)標(biāo)準(zhǔn)命令行表達(dá)式求值工具它接收一個(gè)表達(dá)式作為參數(shù)將求值結(jié)果打印到標(biāo)準(zhǔn)輸出。本文以系統(tǒng)手冊(cè) Base/usr/share/man/man1/expr.md 為主體結(jié)合其完整實(shí)現(xiàn) Userland/Utilities/expr.cpp 展開(kāi)先逐條講解全部運(yùn)算符與語(yǔ)法規(guī)則再深入剖析其遞歸下降解析器、惰性求值與錯(cuò)誤處理等底層機(jī)制最后給出在 Shell 腳本中的實(shí)戰(zhàn)示例與邊界行為說(shuō)明。讀完本文你既能熟練使用expr完成整數(shù)運(yùn)算、字符串比較與子串提取也能理解其“表達(dá)式即程序”的設(shè)計(jì)實(shí)現(xiàn)。一、命令概述與基本用法1.1 命令名稱與用途exprevaluate expressions用于求值并打印表達(dá)式結(jié)果到標(biāo)準(zhǔn)輸出是最古老的 Unix 命令行計(jì)算工具之一常用于 Shell 腳本中的算術(shù)運(yùn)算、數(shù)值/字符串比較以及字符串處理。SerenityOS 的實(shí)現(xiàn)完整覆蓋了這套經(jīng)典語(yǔ)義并在此基礎(chǔ)上提供了明確、可讀的運(yùn)行時(shí)錯(cuò)誤信息。1.2 調(diào)用形式根據(jù)手冊(cè) expr.md 的 Synopsis 部分命令支持兩種調(diào)用形式$ expr expression $ expr [--help]expr expression對(duì)給定的表達(dá)式求值并打印結(jié)果expr --help打印用法信息后立即退出退出碼為 0。源碼入口 serenity_main 中當(dāng)參數(shù)數(shù)量為 1即無(wú)表達(dá)式參數(shù)或第二個(gè)參數(shù)恰好是--help時(shí)調(diào)用print_help_and_exit()輸出幫助并退出if ((arguments.strings.size() 2 --helpsv arguments.strings[1]) || arguments.strings.size() 1) print_help_and_exit();也就是說(shuō)不帶任何表達(dá)式參數(shù)直接運(yùn)行expr也會(huì)打印用法說(shuō)明。除--help外該工具不提供其他命令行選項(xiàng)。1.3 關(guān)鍵行為約定輸出表達(dá)式求值后結(jié)果整數(shù)或字符串被打印到標(biāo)準(zhǔn)輸出并換行退出碼表達(dá)式為真truthy時(shí)退出碼為 0為假falsy時(shí)退出碼為 1——這與 Unixexpr的經(jīng)典約定一致因此可以直接用于if等條件判斷見(jiàn) 源碼 的return expression-truth() ? 0 : 1;“falsy”定義手冊(cè)明確指出falsy 指數(shù)值 0 或空字符串其余值均為真Shell 轉(zhuǎn)義許多運(yùn)算符如*、(、)、、、|、等對(duì) Shell 有特殊含義從 Shell 調(diào)用時(shí)必須加引號(hào)或反斜杠轉(zhuǎn)義詳見(jiàn)下文“實(shí)戰(zhàn)示例”章節(jié)。二、表達(dá)式語(yǔ)法與運(yùn)算符全解表達(dá)式由操作數(shù)和運(yùn)算符按優(yōu)先級(jí)組成。手冊(cè) expr.md 列出了全部語(yǔ)法形式按其優(yōu)先級(jí)從低到高整理如下。2.1 邏輯運(yùn)算符語(yǔ)法語(yǔ)義expr1 \| expr2若expr1為 falsy結(jié)果為expr2否則結(jié)果為expr1expr1 expr2若兩者均非 falsy結(jié)果為expr1否則結(jié)果為0注意與 C 語(yǔ)言的區(qū)別這里的|和不是按位運(yùn)算而是短路求值的邏輯“或”與“與”。結(jié)合 BooleanExpression 的實(shí)現(xiàn)細(xì)節(jié)對(duì)于OR構(gòu)造表達(dá)式時(shí)只先求值左操作數(shù)的真值m_left_truth m_left-truth()當(dāng)左操作數(shù)為真時(shí)直接返回左操作數(shù)否則才求值右操作數(shù)——這正是惰性求值對(duì)于AND則先求值右操作數(shù)的真值右為真時(shí)才返回左操作數(shù)否則返回0。2.2 比較運(yùn)算符語(yǔ)法語(yǔ)義為真輸出 1為假輸出 0expr1 expr2expr1小于expr2expr1 expr2expr1小于等于expr2expr1 expr2expr1等于expr2expr1 ! expr2expr1不等于expr2expr1 expr2expr1大于等于expr2expr1 expr2expr1大于expr2手冊(cè)原文中“expr1 expr2不等于”一行存在筆誤對(duì)應(yīng)源碼 op_from 中!才是不等比較是相等比較本文按源碼實(shí)際行為表述。比較的規(guī)則由 ComparisonExpression::truth 決定關(guān)鍵在于按左操作數(shù)的類型分派若左操作數(shù)為整數(shù)則兩側(cè)都按整數(shù)比較右操作數(shù)字符串會(huì)被嘗試轉(zhuǎn)換為整數(shù)若左操作數(shù)為字符串則兩側(cè)都按字符串做字典序比較。比較結(jié)果通過(guò)模板函數(shù)compare統(tǒng)一計(jì)算所有比較表達(dá)式最終輸出1或0類型恒為整數(shù)源碼。2.3 算術(shù)運(yùn)算符語(yǔ)法語(yǔ)義expr1 expr2整數(shù)和expr1 - expr2整數(shù)差expr1 * expr2整數(shù)積expr1 / expr2整數(shù)商整除expr1 % expr2整數(shù)余數(shù)算術(shù)運(yùn)算符要求操作數(shù)可轉(zhuǎn)換為整數(shù)字符串會(huì)自動(dòng)轉(zhuǎn)換。實(shí)現(xiàn)位于 ArithmeticExpression::integer其中有兩點(diǎn)值得注意除零保護(hù)當(dāng)右操作數(shù)為 0 且運(yùn)算符是/或%時(shí)會(huì)以錯(cuò)誤退出見(jiàn)下文“錯(cuò)誤處理”短路優(yōu)化若右操作數(shù)為 0 且運(yùn)算符是*直接返回 0 而不再求值左操作數(shù)。算術(shù)結(jié)果一律輸出為十進(jìn)制整數(shù)類型恒為Integer。2.4 字符串運(yùn)算符語(yǔ)法語(yǔ)義expr1 : expr2在expr1中按正則表達(dá)式expr2匹配手冊(cè)標(biāo)注“currently not implemented”當(dāng)前未實(shí)現(xiàn)match expr1 expr2與expr1 : expr2相同substr expr1 expr2 expr3取expr1的子串從位置expr2開(kāi)始長(zhǎng)度為expr3索引從 1 開(kāi)始index expr1 expr2返回expr2在expr1中首次出現(xiàn)的索引從 1 開(kāi)始未找到返回 0length expr1返回字符串expr1的長(zhǎng)度 token強(qiáng)制把token當(dāng)作字符串處理即使它是關(guān)鍵字或運(yùn)算符( expr )括號(hào)分組返回expr的值關(guān)于:與match的實(shí)現(xiàn)狀態(tài)雖然手冊(cè)將expr1 : expr2標(biāo)注為“currently not implemented”但源碼 StringExpression 已經(jīng)完整實(shí)現(xiàn)了正則匹配邏輯StringOperation::Match使用LibRegex的PosixBasic正則引擎regex::RegexPosixBasic編譯模式編譯失敗會(huì)報(bào)出正則錯(cuò)誤ensure_regex無(wú)捕獲組時(shí)匹配成功則輸出所有匹配片段的總字符數(shù)失敗輸出0類型為整數(shù)有捕獲組時(shí)輸出第一個(gè)捕獲組的內(nèi)容類型為字符串失敗輸出空字符串。此外解析器在 StringO 層級(jí) 會(huì)識(shí)別:運(yùn)算符并將其轉(zhuǎn)換為Match字符串操作因此手冊(cè)中的“未實(shí)現(xiàn)”標(biāo)注與當(dāng)前代碼存在差異屬于文檔滯后。讀者可以據(jù)此推斷:與match在當(dāng)前倉(cāng)庫(kù)版本中已經(jīng)可用。substr的邊界檢查substr 的索引從 1 開(kāi)始safe_substring會(huì)對(duì)越界情況做嚴(yán)格檢查——起始位置小于 1 或大于字符串長(zhǎng)度、或長(zhǎng)度超出剩余字符數(shù)時(shí)均報(bào)出Index out of range錯(cuò)誤并退出而不是靜默截?cái)?。關(guān)鍵字轉(zhuǎn)義 token用于把緊隨其后的 token 強(qiáng)制視為字符串字面量。例如expr length會(huì)輸出字符串length而不是把它當(dāng)作length運(yùn)算符。解析器在 StringO 層 遇到時(shí)會(huì)直接消耗下一個(gè) token 構(gòu)造ValueExpression。惰性求值與類型推導(dǎo)StringExpression::type()會(huì)依據(jù)運(yùn)算類型推導(dǎo)結(jié)果類型substr結(jié)果為字符串match的結(jié)果類型取決于是否存在捕獲組index/length結(jié)果為整數(shù)。同時(shí)truth()與integer()也各自實(shí)現(xiàn)了針對(duì)性的求值邏輯例如index的整數(shù)值即為查找位置加 1索引從 1 開(kāi)始。三、運(yùn)算符優(yōu)先級(jí)與括號(hào)分組expr的解析是基于優(yōu)先級(jí)的遞歸下降解析器。源碼 Expression::parse 將優(yōu)先級(jí)定義為枚舉enum Precedence { Or, // 最低 | And, // Comp, // ! ArithS, // - ArithM, // * / % StringO, // : match substr index length token Paren, // 最高 ( expr ) };各級(jí)解析函數(shù)自底向上調(diào)用形成嚴(yán)格的優(yōu)先級(jí)鏈條Paren處理括號(hào)分組與最基礎(chǔ)的值 tokenStringO處理:、match、substr、index、length及 token字符串操作ArithM處理*、/、%乘法級(jí)左結(jié)合循環(huán)消耗同優(yōu)先級(jí)運(yùn)算符ArithS處理、-加法級(jí)Comp處理六個(gè)比較運(yùn)算符注意其右操作數(shù)以ArithM遞歸解析And/Or處理與|邏輯運(yùn)算。因此|的優(yōu)先級(jí)最低括號(hào)的優(yōu)先級(jí)最高與標(biāo)準(zhǔn)expr語(yǔ)義一致。示例expr 1 2 * 3的求值順序?yàn)? (2 * 3)結(jié)果為 7。括號(hào)在 Shell 中必須轉(zhuǎn)義\(與\)否則會(huì)被 Shell 當(dāng)作子 shell 語(yǔ)法吞掉。四、選項(xiàng)與錯(cuò)誤處理4.1 選項(xiàng)唯一支持的選項(xiàng)是--help打印用法信息并退出。輸出內(nèi)容由 print_help_and_exit 提供Usage: expr EXPRESSION expr [--help] Print the value of EXPRESSION to standard output.4.2 運(yùn)行時(shí)錯(cuò)誤與退出碼SerenityOS 的expr在出錯(cuò)時(shí)會(huì)打印帶紅色前綴的ERROR:信息到標(biāo)準(zhǔn)錯(cuò)誤并以退出碼 2退出見(jiàn) fail。常見(jiàn)錯(cuò)誤包括觸發(fā)場(chǎng)景錯(cuò)誤信息示例需要整數(shù)的位置給了非整數(shù)字符串Not an integer: foo除數(shù)為 0Division by zero表達(dá)式結(jié)構(gòu)不完整缺操作數(shù)Expected a term括號(hào)不配對(duì)Expected a close parensubstr越界Index out of range正則編譯失敗Regex error: ...表達(dá)式末尾有多余 tokenExtra tokens at the end of the expression程序先解析Expression::parse再求值解析階段會(huì)檢查括號(hào)配對(duì)與 token 完整性全部解析完成后若隊(duì)列仍非空則報(bào)“Extra tokens”錯(cuò)誤源碼。此外main函數(shù)通過(guò)Core::System::pledge(stdio)將進(jìn)程權(quán)限收窄到僅標(biāo)準(zhǔn)輸入輸出隨后立即unveil(nullptr, nullptr)封鎖文件系統(tǒng)訪問(wèn)體現(xiàn)了 SerenityOS 程序“最小權(quán)限”的安全慣例。五、實(shí)戰(zhàn)示例5.1 手冊(cè)自帶示例手冊(cè) Examples 章節(jié) 給出的三個(gè)經(jīng)典示例$ expr 1 2 * 3 # 7乘法優(yōu)先級(jí)高于加法 $ expr \( 1 2 \) 3 # 1括號(hào)分組后比較 $ expr substr foobar 1 3 # foo從第 1 個(gè)字符起取 3 個(gè)字符5.2 算術(shù)運(yùn)算$ expr 17 % 5 # 2 $ expr 100 / 7 # 14整數(shù)除法向下取整 $ expr 10 - 3 - 2 # 5左結(jié)合 $ expr \( 10 - 3 \) * 2 # 14注意 * 需要轉(zhuǎn)義5.3 比較與邏輯判斷$ expr 5 \ 3 # 1 需要轉(zhuǎn)義否則 Shell 視為重定向 $ expr abc \! abd # 1! 需要轉(zhuǎn)義! 在交互式 Shell 中有歷史擴(kuò)展含義 $ expr 0 \| hello # hello0 為 falsy取右值 $ expr 7 \ 3 # 7兩者皆真取左值 $ expr \| fallback # fallback空串為 falsy5.4 字符串處理$ expr length hello world # 11 $ expr index serenity e # 2索引從 1 開(kāi)始 $ expr substr abcdef 2 3 # bcd $ expr foobar : foo\(.*\) # bar帶捕獲組的正則匹配 $ expr length # length 強(qiáng)制按字符串處理5.5 在 Shell 腳本中配合 if 使用由于expr的退出碼遵循“真為 0、假為 1”的約定可直接用于條件判斷#!/bin/sh a10 b20 if expr $a \ $b /dev/null; then echo $a is less than $b fi注意必須轉(zhuǎn)義為\否則會(huì)被 Shell 解釋為輸入重定向當(dāng)結(jié)果無(wú)關(guān)緊要時(shí)可用/dev/null丟棄標(biāo)準(zhǔn)輸出。5.6 Shell 轉(zhuǎn)義速查運(yùn)算符Shell 中的寫(xiě)法原因*\*或*通配符展開(kāi)(/)\(/\)子 shell / 分組語(yǔ)法/\/\輸入/輸出重定向\|\|或\|管道符\或后臺(tái)執(zhí)行!\!或!歷史擴(kuò)展%一般安全但建議加引號(hào)部分 Shell 中作業(yè)控制符號(hào)最穩(wěn)妥的做法是將整個(gè)表達(dá)式用引號(hào)包裹或?qū)γ總€(gè)特殊字符單獨(dú)轉(zhuǎn)義。六、源碼結(jié)構(gòu)表達(dá)式如何被求值整個(gè)工具由 Userland/Utilities/expr.cpp 一個(gè)文件實(shí)現(xiàn)約 600 行其類層次清晰對(duì)應(yīng)表達(dá)式語(yǔ)法Expression抽象基類 ├── ValueExpression 字面量整數(shù)或字符串 ├── BooleanExpression 邏輯運(yùn)算| 與 ├── ComparisonExpression 比較運(yùn)算 ! ├── ArithmeticExpression 算術(shù)運(yùn)算 - * / % └── StringExpression 字符串運(yùn)算substr index length match / :每個(gè)子類統(tǒng)一實(shí)現(xiàn)四個(gè)虛接口truth()真值判斷、integer()整數(shù)值、string()字符串值與type()結(jié)果類型由此實(shí)現(xiàn)按需求值——例如比較表達(dá)式只按左操作數(shù)的類型選擇整數(shù)或字符串比較路徑布爾表達(dá)式在構(gòu)造時(shí)即完成一側(cè)的惰性求值。解析則通過(guò)Expression::parse遞歸下降完成所有表達(dá)式在求值前已構(gòu)建為內(nèi)存中的語(yǔ)法樹(shù)隨后由 main 函數(shù) 按根節(jié)點(diǎn)的類型選擇integer()或string()輸出。在構(gòu)建系統(tǒng)中expr是 SerenityOS 用戶態(tài)工具集的一部分它在 Userland/Utilities/CMakeLists.txt 中注冊(cè)源碼并通過(guò) target_link_libraries(expr PRIVATE LibRegex) 鏈接正則庫(kù)——這正是:/match正則匹配能力的基礎(chǔ)。七、與其他工具的對(duì)比手冊(cè) See also 章節(jié) 推薦了兩類替代方案test(1)test與expr同樣用于 Shell 條件判斷但test只計(jì)算真值并以退出碼表達(dá)結(jié)果真為 0、假為 1不向標(biāo)準(zhǔn)輸出打印值它還支持文件屬性檢查存在性、類型、權(quán)限等而expr聚焦于算術(shù)、比較與字符串運(yùn)算兩者常搭配使用js(1)當(dāng)表達(dá)式復(fù)雜到超出expr的能力范圍如需要變量、循環(huán)、函數(shù)調(diào)用時(shí)手冊(cè)明確建議改用 SerenityOS 內(nèi)置的 JavaScript 解釋器js來(lái)求值更復(fù)雜的表達(dá)式。八、小結(jié)expr雖小卻是理解 SerenityOS 用戶態(tài)工具設(shè)計(jì)的一扇窗口它用遞歸下降解析器實(shí)現(xiàn)了完整的優(yōu)先級(jí)語(yǔ)法以多態(tài)表達(dá)式類承載惰性求值并借助pledge/unveil實(shí)踐最小權(quán)限原則。本文從手冊(cè)語(yǔ)法出發(fā)逐條對(duì)照 expr.cpp 源碼還原了每個(gè)運(yùn)算符的真實(shí)語(yǔ)義與邊界行為含文檔滯后的match實(shí)現(xiàn)、substr越界檢查、除零保護(hù)等。在日常 Shell 腳本中牢記“特殊字符必須轉(zhuǎn)義、整數(shù)/字符串按左操作數(shù)類型分派、falsy 即 0 或空串”這三點(diǎn)即可穩(wěn)定駕馭這個(gè)經(jīng)典工具?！久赓M(fèi)下載鏈接】serenityThe Serenity Operating System 項(xiàng)目地址: https://gitcode.com/GitHub_Trending/se/serenity創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考