尧图网站建设 
SerenityOS expr 命令详解表达式求值器的语法、运算符与源码实现【免费下载链接】serenityThe Serenity Operating System 项目地址: https://gitcode.com/GitHub_Trending/se/serenity导读expr是 SerenityOS 提供的一个标准命令行表达式求值工具它接收一个表达式作为参数将求值结果打印到标准输出。本文以系统手册 Base/usr/share/man/man1/expr.md 为主体结合其完整实现 Userland/Utilities/expr.cpp 展开先逐条讲解全部运算符与语法规则再深入剖析其递归下降解析器、惰性求值与错误处理等底层机制最后给出在 Shell 脚本中的实战示例与边界行为说明。读完本文你既能熟练使用expr完成整数运算、字符串比较与子串提取也能理解其“表达式即程序”的设计实现。一、命令概述与基本用法1.1 命令名称与用途exprevaluate expressions用于求值并打印表达式结果到标准输出是最古老的 Unix 命令行计算工具之一常用于 Shell 脚本中的算术运算、数值/字符串比较以及字符串处理。SerenityOS 的实现完整覆盖了这套经典语义并在此基础上提供了明确、可读的运行时错误信息。1.2 调用形式根据手册 expr.md 的 Synopsis 部分命令支持两种调用形式$ expr expression $ expr [--help]expr expression对给定的表达式求值并打印结果expr --help打印用法信息后立即退出退出码为 0。源码入口 serenity_main 中当参数数量为 1即无表达式参数或第二个参数恰好是--help时调用print_help_and_exit()输出帮助并退出if ((arguments.strings.size() 2 --helpsv arguments.strings[1]) || arguments.strings.size() 1) print_help_and_exit();也就是说不带任何表达式参数直接运行expr也会打印用法说明。除--help外该工具不提供其他命令行选项。1.3 关键行为约定输出表达式求值后结果整数或字符串被打印到标准输出并换行退出码表达式为真truthy时退出码为 0为假falsy时退出码为 1——这与 Unixexpr的经典约定一致因此可以直接用于if等条件判断见 源码 的return expression-truth() ? 0 : 1;“falsy”定义手册明确指出falsy 指数值 0 或空字符串其余值均为真Shell 转义许多运算符如*、(、)、、、|、等对 Shell 有特殊含义从 Shell 调用时必须加引号或反斜杠转义详见下文“实战示例”章节。二、表达式语法与运算符全解表达式由操作数和运算符按优先级组成。手册 expr.md 列出了全部语法形式按其优先级从低到高整理如下。2.1 逻辑运算符语法语义expr1 \| expr2若expr1为 falsy结果为expr2否则结果为expr1expr1 expr2若两者均非 falsy结果为expr1否则结果为0注意与 C 语言的区别这里的|和不是按位运算而是短路求值的逻辑“或”与“与”。结合 BooleanExpression 的实现细节对于OR构造表达式时只先求值左操作数的真值m_left_truth m_left-truth()当左操作数为真时直接返回左操作数否则才求值右操作数——这正是惰性求值对于AND则先求值右操作数的真值右为真时才返回左操作数否则返回0。2.2 比较运算符语法语义为真输出 1为假输出 0expr1 expr2expr1小于expr2expr1 expr2expr1小于等于expr2expr1 expr2expr1等于expr2expr1 ! expr2expr1不等于expr2expr1 expr2expr1大于等于expr2expr1 expr2expr1大于expr2手册原文中“expr1 expr2不等于”一行存在笔误对应源码 op_from 中!才是不等比较是相等比较本文按源码实际行为表述。比较的规则由 ComparisonExpression::truth 决定关键在于按左操作数的类型分派若左操作数为整数则两侧都按整数比较右操作数字符串会被尝试转换为整数若左操作数为字符串则两侧都按字符串做字典序比较。比较结果通过模板函数compare统一计算所有比较表达式最终输出1或0类型恒为整数源码。2.3 算术运算符语法语义expr1 expr2整数和expr1 - expr2整数差expr1 * expr2整数积expr1 / expr2整数商整除expr1 % expr2整数余数算术运算符要求操作数可转换为整数字符串会自动转换。实现位于 ArithmeticExpression::integer其中有两点值得注意除零保护当右操作数为 0 且运算符是/或%时会以错误退出见下文“错误处理”短路优化若右操作数为 0 且运算符是*直接返回 0 而不再求值左操作数。算术结果一律输出为十进制整数类型恒为Integer。2.4 字符串运算符语法语义expr1 : expr2在expr1中按正则表达式expr2匹配手册标注“currently not implemented”当前未实现match expr1 expr2与expr1 : expr2相同substr expr1 expr2 expr3取expr1的子串从位置expr2开始长度为expr3索引从 1 开始index expr1 expr2返回expr2在expr1中首次出现的索引从 1 开始未找到返回 0length expr1返回字符串expr1的长度 token强制把token当作字符串处理即使它是关键字或运算符( expr )括号分组返回expr的值关于:与match的实现状态虽然手册将expr1 : expr2标注为“currently not implemented”但源码 StringExpression 已经完整实现了正则匹配逻辑StringOperation::Match使用LibRegex的PosixBasic正则引擎regex::RegexPosixBasic编译模式编译失败会报出正则错误ensure_regex无捕获组时匹配成功则输出所有匹配片段的总字符数失败输出0类型为整数有捕获组时输出第一个捕获组的内容类型为字符串失败输出空字符串。此外解析器在 StringO 层级 会识别:运算符并将其转换为Match字符串操作因此手册中的“未实现”标注与当前代码存在差异属于文档滞后。读者可以据此推断:与match在当前仓库版本中已经可用。substr的边界检查substr 的索引从 1 开始safe_substring会对越界情况做严格检查——起始位置小于 1 或大于字符串长度、或长度超出剩余字符数时均报出Index out of range错误并退出而不是静默截断。关键字转义 token用于把紧随其后的 token 强制视为字符串字面量。例如expr length会输出字符串length而不是把它当作length运算符。解析器在 StringO 层 遇到时会直接消耗下一个 token 构造ValueExpression。惰性求值与类型推导StringExpression::type()会依据运算类型推导结果类型substr结果为字符串match的结果类型取决于是否存在捕获组index/length结果为整数。同时truth()与integer()也各自实现了针对性的求值逻辑例如index的整数值即为查找位置加 1索引从 1 开始。三、运算符优先级与括号分组expr的解析是基于优先级的递归下降解析器。源码 Expression::parse 将优先级定义为枚举enum Precedence { Or, // 最低 | And, // Comp, // ! ArithS, // - ArithM, // * / % StringO, // : match substr index length token Paren, // 最高 ( expr ) };各级解析函数自底向上调用形成严格的优先级链条Paren处理括号分组与最基础的值 tokenStringO处理:、match、substr、index、length及 token字符串操作ArithM处理*、/、%乘法级左结合循环消耗同优先级运算符ArithS处理、-加法级Comp处理六个比较运算符注意其右操作数以ArithM递归解析And/Or处理与|逻辑运算。因此|的优先级最低括号的优先级最高与标准expr语义一致。示例expr 1 2 * 3的求值顺序为1 (2 * 3)结果为 7。括号在 Shell 中必须转义\(与\)否则会被 Shell 当作子 shell 语法吞掉。四、选项与错误处理4.1 选项唯一支持的选项是--help打印用法信息并退出。输出内容由 print_help_and_exit 提供Usage: expr EXPRESSION expr [--help] Print the value of EXPRESSION to standard output.4.2 运行时错误与退出码SerenityOS 的expr在出错时会打印带红色前缀的ERROR:信息到标准错误并以退出码 2退出见 fail。常见错误包括触发场景错误信息示例需要整数的位置给了非整数字符串Not an integer: foo除数为 0Division by zero表达式结构不完整缺操作数Expected a term括号不配对Expected a close parensubstr越界Index out of range正则编译失败Regex error: ...表达式末尾有多余 tokenExtra tokens at the end of the expression程序先解析Expression::parse再求值解析阶段会检查括号配对与 token 完整性全部解析完成后若队列仍非空则报“Extra tokens”错误源码。此外main函数通过Core::System::pledge(stdio)将进程权限收窄到仅标准输入输出随后立即unveil(nullptr, nullptr)封锁文件系统访问体现了 SerenityOS 程序“最小权限”的安全惯例。五、实战示例5.1 手册自带示例手册 Examples 章节 给出的三个经典示例$ expr 1 2 * 3 # 7乘法优先级高于加法 $ expr \( 1 2 \) 3 # 1括号分组后比较 $ expr substr foobar 1 3 # foo从第 1 个字符起取 3 个字符5.2 算术运算$ expr 17 % 5 # 2 $ expr 100 / 7 # 14整数除法向下取整 $ expr 10 - 3 - 2 # 5左结合 $ expr \( 10 - 3 \) * 2 # 14注意 * 需要转义5.3 比较与逻辑判断$ expr 5 \ 3 # 1 需要转义否则 Shell 视为重定向 $ expr abc \! abd # 1! 需要转义! 在交互式 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注意必须转义为\否则会被 Shell 解释为输入重定向当结果无关紧要时可用/dev/null丢弃标准输出。5.6 Shell 转义速查运算符Shell 中的写法原因*\*或*通配符展开(/)\(/\)子 shell / 分组语法/\/\输入/输出重定向\|\|或\|管道符\或后台执行!\!或!历史扩展%一般安全但建议加引号部分 Shell 中作业控制符号最稳妥的做法是将整个表达式用引号包裹或对每个特殊字符单独转义。六、源码结构表达式如何被求值整个工具由 Userland/Utilities/expr.cpp 一个文件实现约 600 行其类层次清晰对应表达式语法Expression抽象基类 ├── ValueExpression 字面量整数或字符串 ├── BooleanExpression 逻辑运算| 与 ├── ComparisonExpression 比较运算 ! ├── ArithmeticExpression 算术运算 - * / % └── StringExpression 字符串运算substr index length match / :每个子类统一实现四个虚接口truth()真值判断、integer()整数值、string()字符串值与type()结果类型由此实现按需求值——例如比较表达式只按左操作数的类型选择整数或字符串比较路径布尔表达式在构造时即完成一侧的惰性求值。解析则通过Expression::parse递归下降完成所有表达式在求值前已构建为内存中的语法树随后由 main 函数 按根节点的类型选择integer()或string()输出。在构建系统中expr是 SerenityOS 用户态工具集的一部分它在 Userland/Utilities/CMakeLists.txt 中注册源码并通过 target_link_libraries(expr PRIVATE LibRegex) 链接正则库——这正是:/match正则匹配能力的基础。七、与其他工具的对比手册 See also 章节 推荐了两类替代方案test(1)test与expr同样用于 Shell 条件判断但test只计算真值并以退出码表达结果真为 0、假为 1不向标准输出打印值它还支持文件属性检查存在性、类型、权限等而expr聚焦于算术、比较与字符串运算两者常搭配使用js(1)当表达式复杂到超出expr的能力范围如需要变量、循环、函数调用时手册明确建议改用 SerenityOS 内置的 JavaScript 解释器js来求值更复杂的表达式。八、小结expr虽小却是理解 SerenityOS 用户态工具设计的一扇窗口它用递归下降解析器实现了完整的优先级语法以多态表达式类承载惰性求值并借助pledge/unveil实践最小权限原则。本文从手册语法出发逐条对照 expr.cpp 源码还原了每个运算符的真实语义与边界行为含文档滞后的match实现、substr越界检查、除零保护等。在日常 Shell 脚本中牢记“特殊字符必须转义、整数/字符串按左操作数类型分派、falsy 即 0 或空串”这三点即可稳定驾驭这个经典工具。【免费下载链接】serenityThe Serenity Operating System 项目地址: https://gitcode.com/GitHub_Trending/se/serenity创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 SerenityOS expr 命令详解：表达式求值器的语法、运算符与源码实现
SerenityOS expr 命令详解表达式求值器的语法、运算符与源码实现【免费下载链接】serenityThe Serenity Operating System 项目地址: https://gitcode.com/GitHub_Trending/se/serenity导读expr是 SerenityOS 提供的一个标准命令行表达式求值工具它接收一个表达式作为参数将求值结果打印到标准输出。本文以系统手册 Base/usr/share/man/man1/expr.md 为主体结合其完整实现 Userland/Utilities/expr.cpp 展开先逐条讲解全部运算符与语法规则再深入剖析其递归下降解析器、惰性求值与错误处理等底层机制最后给出在 Shell 脚本中的实战示例与边界行为说明。读完本文你既能熟练使用expr完成整数运算、字符串比较与子串提取也能理解其“表达式即程序”的设计实现。一、命令概述与基本用法1.1 命令名称与用途exprevaluate expressions用于求值并打印表达式结果到标准输出是最古老的 Unix 命令行计算工具之一常用于 Shell 脚本中的算术运算、数值/字符串比较以及字符串处理。SerenityOS 的实现完整覆盖了这套经典语义并在此基础上提供了明确、可读的运行时错误信息。1.2 调用形式根据手册 expr.md 的 Synopsis 部分命令支持两种调用形式$ expr expression $ expr [--help]expr expression对给定的表达式求值并打印结果expr --help打印用法信息后立即退出退出码为 0。源码入口 serenity_main 中当参数数量为 1即无表达式参数或第二个参数恰好是--help时调用print_help_and_exit()输出帮助并退出if ((arguments.strings.size() 2 --helpsv arguments.strings[1]) || arguments.strings.size() 1) print_help_and_exit();也就是说不带任何表达式参数直接运行expr也会打印用法说明。除--help外该工具不提供其他命令行选项。1.3 关键行为约定输出表达式求值后结果整数或字符串被打印到标准输出并换行退出码表达式为真truthy时退出码为 0为假falsy时退出码为 1——这与 Unixexpr的经典约定一致因此可以直接用于if等条件判断见 源码 的return expression-truth() ? 0 : 1;“falsy”定义手册明确指出falsy 指数值 0 或空字符串其余值均为真Shell 转义许多运算符如*、(、)、、、|、等对 Shell 有特殊含义从 Shell 调用时必须加引号或反斜杠转义详见下文“实战示例”章节。二、表达式语法与运算符全解表达式由操作数和运算符按优先级组成。手册 expr.md 列出了全部语法形式按其优先级从低到高整理如下。2.1 逻辑运算符语法语义expr1 \| expr2若expr1为 falsy结果为expr2否则结果为expr1expr1 expr2若两者均非 falsy结果为expr1否则结果为0注意与 C 语言的区别这里的|和不是按位运算而是短路求值的逻辑“或”与“与”。结合 BooleanExpression 的实现细节对于OR构造表达式时只先求值左操作数的真值m_left_truth m_left-truth()当左操作数为真时直接返回左操作数否则才求值右操作数——这正是惰性求值对于AND则先求值右操作数的真值右为真时才返回左操作数否则返回0。2.2 比较运算符语法语义为真输出 1为假输出 0expr1 expr2expr1小于expr2expr1 expr2expr1小于等于expr2expr1 expr2expr1等于expr2expr1 ! expr2expr1不等于expr2expr1 expr2expr1大于等于expr2expr1 expr2expr1大于expr2手册原文中“expr1 expr2不等于”一行存在笔误对应源码 op_from 中!才是不等比较是相等比较本文按源码实际行为表述。比较的规则由 ComparisonExpression::truth 决定关键在于按左操作数的类型分派若左操作数为整数则两侧都按整数比较右操作数字符串会被尝试转换为整数若左操作数为字符串则两侧都按字符串做字典序比较。比较结果通过模板函数compare统一计算所有比较表达式最终输出1或0类型恒为整数源码。2.3 算术运算符语法语义expr1 expr2整数和expr1 - expr2整数差expr1 * expr2整数积expr1 / expr2整数商整除expr1 % expr2整数余数算术运算符要求操作数可转换为整数字符串会自动转换。实现位于 ArithmeticExpression::integer其中有两点值得注意除零保护当右操作数为 0 且运算符是/或%时会以错误退出见下文“错误处理”短路优化若右操作数为 0 且运算符是*直接返回 0 而不再求值左操作数。算术结果一律输出为十进制整数类型恒为Integer。2.4 字符串运算符语法语义expr1 : expr2在expr1中按正则表达式expr2匹配手册标注“currently not implemented”当前未实现match expr1 expr2与expr1 : expr2相同substr expr1 expr2 expr3取expr1的子串从位置expr2开始长度为expr3索引从 1 开始index expr1 expr2返回expr2在expr1中首次出现的索引从 1 开始未找到返回 0length expr1返回字符串expr1的长度 token强制把token当作字符串处理即使它是关键字或运算符( expr )括号分组返回expr的值关于:与match的实现状态虽然手册将expr1 : expr2标注为“currently not implemented”但源码 StringExpression 已经完整实现了正则匹配逻辑StringOperation::Match使用LibRegex的PosixBasic正则引擎regex::RegexPosixBasic编译模式编译失败会报出正则错误ensure_regex无捕获组时匹配成功则输出所有匹配片段的总字符数失败输出0类型为整数有捕获组时输出第一个捕获组的内容类型为字符串失败输出空字符串。此外解析器在 StringO 层级 会识别:运算符并将其转换为Match字符串操作因此手册中的“未实现”标注与当前代码存在差异属于文档滞后。读者可以据此推断:与match在当前仓库版本中已经可用。substr的边界检查substr 的索引从 1 开始safe_substring会对越界情况做严格检查——起始位置小于 1 或大于字符串长度、或长度超出剩余字符数时均报出Index out of range错误并退出而不是静默截断。关键字转义 token用于把紧随其后的 token 强制视为字符串字面量。例如expr length会输出字符串length而不是把它当作length运算符。解析器在 StringO 层 遇到时会直接消耗下一个 token 构造ValueExpression。惰性求值与类型推导StringExpression::type()会依据运算类型推导结果类型substr结果为字符串match的结果类型取决于是否存在捕获组index/length结果为整数。同时truth()与integer()也各自实现了针对性的求值逻辑例如index的整数值即为查找位置加 1索引从 1 开始。三、运算符优先级与括号分组expr的解析是基于优先级的递归下降解析器。源码 Expression::parse 将优先级定义为枚举enum Precedence { Or, // 最低 | And, // Comp, // ! ArithS, // - ArithM, // * / % StringO, // : match substr index length token Paren, // 最高 ( expr ) };各级解析函数自底向上调用形成严格的优先级链条Paren处理括号分组与最基础的值 tokenStringO处理:、match、substr、index、length及 token字符串操作ArithM处理*、/、%乘法级左结合循环消耗同优先级运算符ArithS处理、-加法级Comp处理六个比较运算符注意其右操作数以ArithM递归解析And/Or处理与|逻辑运算。因此|的优先级最低括号的优先级最高与标准expr语义一致。示例expr 1 2 * 3的求值顺序为1 (2 * 3)结果为 7。括号在 Shell 中必须转义\(与\)否则会被 Shell 当作子 shell 语法吞掉。四、选项与错误处理4.1 选项唯一支持的选项是--help打印用法信息并退出。输出内容由 print_help_and_exit 提供Usage: expr EXPRESSION expr [--help] Print the value of EXPRESSION to standard output.4.2 运行时错误与退出码SerenityOS 的expr在出错时会打印带红色前缀的ERROR:信息到标准错误并以退出码 2退出见 fail。常见错误包括触发场景错误信息示例需要整数的位置给了非整数字符串Not an integer: foo除数为 0Division by zero表达式结构不完整缺操作数Expected a term括号不配对Expected a close parensubstr越界Index out of range正则编译失败Regex error: ...表达式末尾有多余 tokenExtra tokens at the end of the expression程序先解析Expression::parse再求值解析阶段会检查括号配对与 token 完整性全部解析完成后若队列仍非空则报“Extra tokens”错误源码。此外main函数通过Core::System::pledge(stdio)将进程权限收窄到仅标准输入输出随后立即unveil(nullptr, nullptr)封锁文件系统访问体现了 SerenityOS 程序“最小权限”的安全惯例。五、实战示例5.1 手册自带示例手册 Examples 章节 给出的三个经典示例$ expr 1 2 * 3 # 7乘法优先级高于加法 $ expr \( 1 2 \) 3 # 1括号分组后比较 $ expr substr foobar 1 3 # foo从第 1 个字符起取 3 个字符5.2 算术运算$ expr 17 % 5 # 2 $ expr 100 / 7 # 14整数除法向下取整 $ expr 10 - 3 - 2 # 5左结合 $ expr \( 10 - 3 \) * 2 # 14注意 * 需要转义5.3 比较与逻辑判断$ expr 5 \ 3 # 1 需要转义否则 Shell 视为重定向 $ expr abc \! abd # 1! 需要转义! 在交互式 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注意必须转义为\否则会被 Shell 解释为输入重定向当结果无关紧要时可用/dev/null丢弃标准输出。5.6 Shell 转义速查运算符Shell 中的写法原因*\*或*通配符展开(/)\(/\)子 shell / 分组语法/\/\输入/输出重定向\|\|或\|管道符\或后台执行!\!或!历史扩展%一般安全但建议加引号部分 Shell 中作业控制符号最稳妥的做法是将整个表达式用引号包裹或对每个特殊字符单独转义。六、源码结构表达式如何被求值整个工具由 Userland/Utilities/expr.cpp 一个文件实现约 600 行其类层次清晰对应表达式语法Expression抽象基类 ├── ValueExpression 字面量整数或字符串 ├── BooleanExpression 逻辑运算| 与 ├── ComparisonExpression 比较运算 ! ├── ArithmeticExpression 算术运算 - * / % └── StringExpression 字符串运算substr index length match / :每个子类统一实现四个虚接口truth()真值判断、integer()整数值、string()字符串值与type()结果类型由此实现按需求值——例如比较表达式只按左操作数的类型选择整数或字符串比较路径布尔表达式在构造时即完成一侧的惰性求值。解析则通过Expression::parse递归下降完成所有表达式在求值前已构建为内存中的语法树随后由 main 函数 按根节点的类型选择integer()或string()输出。在构建系统中expr是 SerenityOS 用户态工具集的一部分它在 Userland/Utilities/CMakeLists.txt 中注册源码并通过 target_link_libraries(expr PRIVATE LibRegex) 链接正则库——这正是:/match正则匹配能力的基础。七、与其他工具的对比手册 See also 章节 推荐了两类替代方案test(1)test与expr同样用于 Shell 条件判断但test只计算真值并以退出码表达结果真为 0、假为 1不向标准输出打印值它还支持文件属性检查存在性、类型、权限等而expr聚焦于算术、比较与字符串运算两者常搭配使用js(1)当表达式复杂到超出expr的能力范围如需要变量、循环、函数调用时手册明确建议改用 SerenityOS 内置的 JavaScript 解释器js来求值更复杂的表达式。八、小结expr虽小却是理解 SerenityOS 用户态工具设计的一扇窗口它用递归下降解析器实现了完整的优先级语法以多态表达式类承载惰性求值并借助pledge/unveil实践最小权限原则。本文从手册语法出发逐条对照 expr.cpp 源码还原了每个运算符的真实语义与边界行为含文档滞后的match实现、substr越界检查、除零保护等。在日常 Shell 脚本中牢记“特殊字符必须转义、整数/字符串按左操作数类型分派、falsy 即 0 或空串”这三点即可稳定驾驭这个经典工具。【免费下载链接】serenityThe Serenity Operating System 项目地址: https://gitcode.com/GitHub_Trending/se/serenity创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考