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