搜索

[25529] 2016-09-25_Ohm：用两百行JavaScript创造你自己的编程语言

文档创建者：s7ckTeam
浏览次数：1
最后更新：2025-01-19
2016-09-25_Ohm：用两百行JavaScript创造你自己的编程语言 O h m ： 用 两 百 行   J a v a S c r i p t   创 造 你 自 己 的 编 程 语 言 原 创   译 者 ： u c a s F L   L i n u x 中 国   2 0 1 6 - 0 9 - 2 5 解 析 器 是 一 种 超 级 有 用 的 软 件 库 。 从 概 念 上 简 单 的 说 ， 它 们 的 实 现 很 有 挑 战 性 ， 并 且 在 计 算 机 科 学 中 经 常 被 认 为 是 黑 魔 法 。 在 这 个 系 列 的 博 文 中 ， 我 会 向 你 们 展 示 为 什 么 你 不 需 要 成 为 哈 利 波 特 就 能 够 精 通 解 析 器 这 种 魔 法 。 但 是 为 了 以 防 万 一 带 上 你 的 魔 杖 吧 ！ 我 们 将 探 索 一 种 叫 做   O h m   的 新 的 开 源 库 ， 它 使 得 搭 建 解 析 器 很 简 单 并 且 易 于 重 用 。 在 这 个 系 列 里 ， 我 们 使 用   O h m   去 识 别 数 字 ， 构 建 一 个 计 算 器 等 等 。 在 这 个 系 列 的 最 后 你 将 已 经 用 不 到   2 0 0   行 的 代 码 发 明 了 一 种 完 整 的 编 程 语 言 。 这 个 强 大 的 工 具 将 让 你 能 够 做 到 一 些 你 可 能 过 去 认 为 不 可 能 的 事 情 。 为 什 么 解 析 器 很 困 难 ？ 为 什 么 解 析 器 很 困 难 ？ 解 析 器 非 常 有 用 。 在 很 多 时 候 你 可 能 需 要 一 个 解 析 器 。 或 许 有 一 种 你 需 要 处 理 的 新 的 文 件 格 式 ， 但 还 没 有 人 为 它 写 了 一 个 库 ； 又 或 许 你 发 现 了 一 种 古 老 格 式 的 文 件 ， 但 是 已 有 的 解 析 器 不 能 在 你 的 平 台 上 构 建 。 我 已 经 看 到 这 样 的 事 发 生 无 数 次 。   C o d e   在 或 者 不 在 ，   D a t a   就 在 那 里 ， 不 增 不 减 。 从 根 本 上 来 说 ， 解 析 器 很 简 单 ： 只 是 把 一 个 数 据 结 构 转 化 成 另 一 个 。 所 以 你 会 不 会 觉 得 你 要 是 邓 布 利 多 校 长 就 好 了 ？ 解 析 器 历 来 是 出 奇 地 难 写 ， 所 面 临 的 挑 战 是 绝 大 多 数 现 有 的 工 具 都 很 老 ， 并 且 需 要 一 定 的 晦 涩 难 懂 的 计 算 机 科 学 知 识 。 如 果 你 在 大 学 里 上 过 编 译 器 课 程 ， 那 么 课 本 里 也 许 还 有 从 上 世 纪 七 十 年 传 下 来 的 技 术 。 幸 运 的 是 ， 解 析 器 技 术 从 那 时 候 起 已 经 提 高 了 很 多 。 典 型 的 ， 解 析 器 是 通 过 使 用 一 种 叫 作 f o r m a l   g r a m m a r 形 式 语 法 [ 1 ] 的 特 殊 语 法 来 定 义 你 想 要 解 析 的 东 西 来 创 造 的 ， 然 后 你 需 要 把 它 放 入 像   B i s o n [ 2 ]   和   Y a c c [ 3 ]   的 工 具 中 ， 这 些 工 具 能 够 产 生 一 堆   C   代 码 ， 这 些 代 码 你 需 要 修 改 或 者 链 接 到 你 实 际 写 入 的 编 程 语 言 中 。 另 外 的 选 择 是 用 你 更 喜 欢 的 语 言 亲 自 动 手 写 一 个 解 析 器 ， 这 很 慢 且 很 容 易 出 错 ， 在 你 能 够 真 正 使 用 它 之 前 还 有 许 多 额 外 的 工 作 。 想 像 一 下 ， 是 否 你 关 于 你 想 要 解 析 的 东 西 的 语 法 描 述 也 是 解 析 器 ？ 如 果 你 能 够 只 是 直 接 运 行 这 些 语 法 ， 然 后 仅 在 你 需 要 的 地 方 增 加 一 些 h o o k 挂 钩 呢 ？ 那 就 是   O h m   所 可 以 做 到 的 事 。 O h m   简 介 简 介 O h m [ 4 ]   是 一 种 新 的 解 析 系 统 。 它 类 似 于 你 可 能 已 经 在 课 本 里 面 看 到 过 的 语 法 ， 但 是 它 更 强 大 ， 使 用 起 来 更 简 单 。 通 过   O h m ,   你 能 够 使 用 一 种 灵 活 的 语 法 在 一 个   . o h m   文 件 中 来 写 你 自 己 的 格 式 定 义 ， 然 后 使 用 你 的 宿 主 语 言 把 语 义 加 入 到 里 面 。 在 这 篇 博 文 里 ， 我 们 将 用   J a v a S c r i p t   作 为 宿 主 语 言 。
O h m   建 立 于 一 个 为 创 造 更 简 单 、 更 灵 活 的 解 析 器 的 多 年 研 究 基 础 之 上 。 V P R I   的   S T E P S   p r o g r a m   ( p d f ) [ 5 ]   使 用   O h m   的 前 身   O m e t a [ 6 ]   为 许 多 特 殊 的 任 务 创 造 了 专 门 的 语 言 （ 比 如 一 个 有   4 0 0   行 代 码 的 平 行 制 图 描 绘 器 ） 。 O h m   有 许 多 有 趣 的 特 点 和 符 号 ， 但 是 相 比 于 全 部 解 释 它 们 ， 我 认 为 我 们 只 需 要 深 入 其 中 并 构 建 一 些 东 西 就 行 了 。 解 析 整 数 解 析 整 数 让 我 们 来 解 析 一 些 数 字 。 这 看 起 来 会 很 简 单 ， 只 需 在 一 个 文 本 串 中 寻 找 毗 邻 的 数 字 ， 但 是 让 我 们 尝 试 去 处 理 所 有 形 式 的 数 字 ： 整 数 和 浮 点 数 、 十 六 进 制 数 和 八 进 制 数 、 科 学 计 数 、 负 数 。 解 析 数 字 很 简 单 ， 正 确 解 析 却 很 难 。 亲 自 构 建 这 个 代 码 将 会 很 困 难 ， 会 有 很 多 问 题 ， 会 伴 随 有 许 多 特 殊 的 情 况 ， 比 如 有 时 会 相 互 矛 盾 。 正 则 表 达 式 或 许 可 以 做 的 这 一 点 ， 但 是 它 会 非 常 丑 陋 而 难 以 维 护 。 让 我 们 用   O h m   来 试 试 。 用   O h m   构 建 的 解 析 器 涉 及 三 个 部 分 ： g r a m m a r 语 法 、 s e m a n t i c s 语 义 和 t e s t s 测 试 。 我 通 常 挑 选 问 题 的 一 部 分 为 它 写 测 试 ， 然 后 构 建 足 够 的 语 法 和 语 义 来 使 测 试 通 过 。 然 后 我 再 挑 选 问 题 的 另 一 部 分 ， 增 加 更 多 的 测 试 、 更 新 语 法 和 语 义 ， 从 而 确 保 所 有 的 测 试 能 够 继 续 通 过 。 即 使 我 们 有 了 新 的 强 大 的 工 具 ， 写 解 析 器 从 概 念 上 来 说 依 旧 很 复 杂 。 测 试 是 用 一 种 合 理 的 方 式 来 构 建 解 析 器 的 唯 一 方 法 。 现 在 ， 让 我 们 开 始 工 作 。 我 们 将 从 整 数 开 始 。 一 个 整 数 由 一 系 列 相 互 毗 邻 的 数 字 组 成 。 让 我 们 把 下 面 的 内 容 放 入 一 个 叫 做   g r a m m a r . o h m   的 文 件 中 ： 这 创 造 了 一 条 匹 配 一 个 或 多 个 数 字 （ ） 叫 作     的 单 一 规 则 。   意 味 着 一 个 或 更 多 ， 就 在 正 则 表 达 式 中 一 样 。 当 有 一 个 或 更 多 的 数 字 时 ， 这 个 规 则 将 会 匹 配 它 们 ， 如 果 没 有 数 字 或 者 有 一 些 不 是 数 字 的 东 西 将 不 会 匹 配 。 “ 数 字 （ ） ” 的 定 义 是 从   0   到   9   其 中 的 一 个 字 符 。   也 是 像     一 样 的 规 则 ， 但 是 它 是   O h m   的 其 中 一 条 构 建 规 则 因 此 我 们 不 需 要 去 定 义 它 。 如 果 我 们 想 的 话 可 以 推 翻 它 ， 但 在 这 时 候 这 没 有 任 何 意 义 ， 毕 竟 我 们 不 打 算 去 发 明 一 种 新 的 数 。 现 在 ， 我 们 可 以 读 入 这 个 语 法 并 用   O h m   库 来 运 行 它 。 把 它 放 入   t e s t 1 . j s ： 1 .   C o o l N u m s   { 2 .         / /   j u s t   a   b a s i c   i n t e g e r 3 .         N u m b e r   =   d i g i t + 4 .   } d i g i t N u m b e r ＋ d i g i t d i g i t N u m b e r 1 .   v a r   o h m   =   r e q u i r e ( ' o h m - j s ' ) ;
  调 用 将 读 入 该 文 件 并 解 析 成 一 个 语 法 对 象 。 现 在 我 们 可 以 增 加 一 些 语 义 。 把 下 面 内 容 增 加 到 你 的   J a v a S c r i p t   文 件 中 ： 这 通 过     操 作 创 造 了 一 个 叫 作     的 语 法 集 。 这 些 语 义 本 质 上 是 一 些 对 应 到 语 法 中 每 个 规 则 的 函 数 。 每 个 函 数 当 与 之 相 匹 配 的 语 法 规 则 被 解 析 时 将 会 被 调 用 。 上 面 的     函 数 将 会 在 语 法 中 的     规 则 被 解 析 时 被 调 用 。 g r a m m a r 语 法 定 义 了 在 语 言 中 这 些 代 码 是 什 么 ， s e m a n t i c s 语 义 定 义 了 当 这 些 代 码 被 解 析 时 应 该 做 什 么 。 语 义 函 数 能 够 做 我 们 想 做 的 任 何 事 ， 比 如 打 印 出 故 障 信 息 、 创 建 对 象 ， 或 者 在 任 何 子 节 点 上 递 归 调 用   。 此 时 我 们 仅 仅 想 把 匹 配 的 文 本 转 换 成 真 正 的   J a v a S c r i p t   整 数 。 所 有 的 语 义 函 数 有 一 个 内 含 的     对 象 ， 带 有 一 些 有 用 的 属 性 。 其     属 性 代 表 了 输 入 文 本 中 和 这 个 节 点 相 匹 配 的 部 分 。   是 一 个 匹 配 输 入 的 串 ， 调 用 内 置 在   J a v a S c r i p t   中 的     函 数 会 把 这 个 串 转 换 成 一 个 数 。 传 给     的     这 个 参 数 告 诉   J a v a S c r i p t   我 们 输 入 的 是 一 个 以   1 .   v a r   o h m   =   r e q u i r e ( ' o h m - j s ' ) ; 2 .   v a r   f s   =   r e q u i r e ( ' f s ' ) ; 3 .   v a r   a s s e r t   =   r e q u i r e ( ' a s s e r t ' ) ; 4 .   v a r   g r a m m a r   =   o h m . g r a m m a r ( f s . r e a d F i l e S y n c ( ' s r c / b l o g _ n u m b e r s / s y n t a x 1 . o h m ' ) . t o S t r i n g ( ) ) ; O h m . g r a m m a r 1 .   v a r   s e m   =   g r a m m a r . c r e a t e S e m a n t i c s ( ) . a d d O p e r a t i o n ( ' t o J S ' ,   { 2 .           N u m b e r :   f u n c t i o n ( a )   { 3 .                   r e t u r n   p a r s e I n t ( t h i s . s o u r c e S t r i n g , 1 0 ) ; 4 .           } 5 .   } ) ; t o J S s e m N u m b e r N u m b e r t o J S t h i s s o u r c e t h i s . s o u r c e S t r i n g p a r s e I n t p a r s e I n t 1 0 1 0
  为 基 底 （ 1 0   进 制 ） 的 数 。 如 果 少 了 这 个 参 数 ，   J a v a S c r i p t   也 会 假 定 以   1 0   为 基 底 ， 但 是 我 们 把 它 包 含 在 里 面 因 为 后 面 我 们 将 支 持 以   1 6   为 基 底 的 数 ， 所 以 使 之 明 确 比 较 好 。 既 然 我 们 有 一 些 语 法 ， 让 我 们 来 实 际 解 析 一 些 东 西 看 一 看 我 们 的 解 析 器 是 否 能 够 工 作 。 如 何 知 道 我 们 的 解 析 器 可 以 工 作 ？ 通 过 测 试 ， 许 多 许 多 的 测 试 ， 每 一 个 可 能 的 边 缘 情 况 都 需 要 一 个 测 试 。 使 用 标 准 的 断 言     A P I ， 以 下 这 个 测 试 函 数 能 够 匹 配 一 些 输 入 并 运 用 我 们 的 语 义 把 它 转 换 成 一 个 数 ， 然 后 把 这 个 数 和 我 们 期 望 的 输 入 进 行 比 较 。 就 是 如 此 。 现 在 我 们 能 够 为 各 种 不 同 的 数 写 一 堆 测 试 。 如 果 匹 配 失 败 我 们 的 脚 本 将 会 抛 出 一 个 例 外 。 否 则 就 打 印 成 功 信 息 。 让 我 们 尝 试 一 下 ， 把 下 面 这 些 内 容 加 入 到 脚 本 中 ： 然 后 用     运 行 脚 本 。 你 的 输 出 应 该 是 这 样 ： a s s e r t 1 .         f u n c t i o n   t e s t ( i n p u t ,   a n s w e r )   { 2 .             v a r   m a t c h   =   g r a m m a r . m a t c h ( i n p u t ) ; 3 .             i f ( m a t c h . f a i l e d ( ) )   r e t u r n   c o n s o l e . l o g ( " i n p u t   f a i l e d   t o   m a t c h   "   +   i n p u t   +   m a t c h . m e s s a g e ) ;           4 .             v a r   r e s u l t   =   s e m ( m a t c h ) . t o J S ( ) ; 5 .             a s s e r t . d e e p E q u a l ( r e s u l t , a n s w e r ) ; 6 .             c o n s o l e . l o g ( ' s u c c e s s   =   ' ,   r e s u l t ,   a n s w e r ) ; 7 .           } 1 .           t e s t ( " 1 2 3 " , 1 2 3 ) ; 2 .           t e s t ( " 9 9 9 " , 9 9 9 ) ; 3 .           t e s t ( " a b c " , 9 9 9 ) ; n o d e   t e s t 1 . j s 1 .   s u c c e s s   =     1 2 3   1 2 3 2 .   s u c c e s s   =     9 9 9   9 9 9 3 .   i n p u t   f a i l e d   t o   m a t c h   a b c L i n e   1 ,   c o l   1 : 4 .   >   1   |   a b c 5 .               ^
真 酷 。 正 如 预 期 的 那 样 ， 前 两 个 成 功 了 ， 第 三 个 失 败 了 。 更 好 的 是 ， O h m   自 动 给 了 我 们 一 个 很 棒 的 错 误 信 息 指 出 匹 配 失 败 。 浮 点 数 浮 点 数 我 们 的 解 析 器 工 作 了 ， 但 是 它 做 的 工 作 不 是 很 有 趣 。 让 我 们 把 它 扩 展 成 既 能 解 析 整 数 又 能 解 析 浮 点 数 。 改 变   g r a m m a r . o h m   文 件 使 它 看 起 来 像 下 面 这 样 ： 这 把     规 则 改 变 成 指 向 一 个 浮 点 数 （ ） 或 者 一 个 整 数 （ ） 。 这 个     代 表 着 “ 或 ” 。 我 们 把 这 个 读 成 “ 一 个     由 一 个 浮 点 数 或 者 一 个 整 数 构 成 。 ” 然 后 整 数 （ ） 定 义 成   ， 浮 点 数 （ ） 定 义 成     后 面 跟 着 一 个 句 号 然 后 再 跟 着 另 一 个   。 这 意 味 着 在 句 号 前 和 句 号 后 都 至 少 要 有 一 个 数 字 。 如 果 一 个 数 中 没 有 一 个 句 号 那 么 它 就 不 是 一 个 浮 点 数 ， 因 此 就 是 一 个 整 数 。 现 在 ， 让 我 们 再 次 看 一 下 我 们 的 语 义 功 能 。 由 于 我 们 现 在 有 了 新 的 规 则 所 以 我 们 需 要 新 的 功 能 函 数 ： 一 个 作 为 整 数 的 ， 一 个 作 为 浮 点 数 的 。 6 .   E x p e c t e d   a   d i g i t 1 .   C o o l N u m s   { 2 .       / /   j u s t   a   b a s i c   i n t e g e r 3 .       N u m b e r   =   f l o a t   |   i n t 4 .       i n t         =   d i g i t + 5 .       f l o a t     =   d i g i t +   " . "   d i g i t + 6 .   } N u m b e r f l o a t i n t | N u m b e r i n t d i g i t + f l o a t d i g i t + d i g i t + 1 .   v a r   s e m   =   g r a m m a r . c r e a t e S e m a n t i c s ( ) . a d d O p e r a t i o n ( ' t o J S ' ,   {         N u m b e r :   f u n c t i o n ( a )   {
这 里 有 两 件 事 情 需 要 注 意 。 首 先 ， 整 数 （ ） 、 浮 点 数 （ ） 和 数 （ ） 都 有 相 匹 配 的 语 法 规 则 和 函 数 。 然 而 ， 针 对     的 功 能 不 再 有 任 何 意 义 。 它 接 收 子 节 点     然 后 返 回 该 子 节 点 的     结 果 。 换 句 话 说 ，   规 则 简 单 的 返 回 相 匹 配 的 子 规 则 。 由 于 这 是 在   O h m   中 任 何 规 则 的 默 认 行 为 ， 因 此 实 际 上 我 们 不 用 去 考 虑   的 作 用 ， O h m   会 替 我 们 做 好 这 件 事 。 其 次 ， 整 数 （ ） 有 一 个 参 数   ， 然 而 浮 点 数 有 三 个 ： 、   和   2 .           N u m b e r :   f u n c t i o n ( a )   { 3 .                   r e t u r n   a . t o J S ( ) ; 4 .           } , 5 .           i n t :   f u n c t i o n ( a )   { 6 .                   c o n s o l e . l o g ( " d o i n g   i n t " ,   t h i s . s o u r c e S t r i n g ) ; 7 .                   r e t u r n   p a r s e I n t ( t h i s . s o u r c e S t r i n g , 1 0 ) ; 8 .           } , 9 .           f l o a t :   f u n c t i o n ( a , b , c )   { 1 0 .                   c o n s o l e . l o g ( " d o i n g   f l o a t " ,   t h i s . s o u r c e S t r i n g ) ; 1 1 .                   r e t u r n   p a r s e F l o a t ( t h i s . s o u r c e S t r i n g ) ; 1 2 .           } 1 3 .   } ) ; i n t f l o a t N u m b e r N u m b e r a t o J S N u m b e r N u m b e r i n t a a b c
。 这 是 由 于 规 则 的 a r i t y 实 参 数 量 决 定 的 。 a r i t y 实 参 数 量 [ 7 ] 意 味 着 一 个 规 则 里 面 有 多 少 参 数 。 如 果 我 们 回 过 头 去 看 语 法 ， 浮 点 数 （ ） 的 规 则 是 ： 浮 点 数 规 则 通 过 三 个 部 分 来 定 义 ： 第 一 个   、 、 以 及 第 二 个   。 这 三 个 部 分 都 会 作 为 参 数 传 递 给 浮 点 数 的 功 能 函 数 。 因 此 浮 点 数 必 须 有 三 个 参 数 ， 否 则   O h m   库 会 给 出 一 个 错 误 。 在 这 种 情 况 下 我 们 不 用 在 意 参 数 ， 因 为 我 们 仅 仅 直 接 攫 取 了 输 入 串 ， 但 是 我 们 仍 然 需 要 参 数 列 在 那 里 来 避 免 编 译 器 错 误 。 后 面 我 们 将 实 际 使 用 其 中 一 些 参 数 。 现 在 我 们 可 以 为 新 的 浮 点 数 支 持 添 加 更 多 的 测 试 。 注 意 最 后 一 个 测 试 将 会 失 败 。 一 个 浮 点 数 必 须 以 一 个 数 开 始 ， 即 使 它 就 是 个   0 ，   不 是 有 效 的 ， 实 际 上 真 正 的   J a v a S c r i p t   语 言 也 有 相 同 的 规 则 。 十 六 进 制 数 十 六 进 制 数 现 在 我 们 已 经 有 了 整 数 和 浮 点 数 ， 但 是 还 有 一 些 其 它 的 数 的 语 法 最 好 可 以 支 持 ： 十 六 进 制 数 和 科 学 计 数 。 十 六 进 制 数 是 以   1 6   为 基 底 的 整 数 。 十 六 进 制 数 的 数 字 能 从   0   到   9   和 从   A   到   F 。 十 六 进 制 数 经 常 用 在 计 算 机 科 学 中 ， 当 用 二 进 制 数 据 工 作 时 ， 你 可 以 仅 仅 使 用 两 个 数 字 表 示   0   到   2 5 5   的 数 。 在 绝 大 多 数 源 自   C   的 编 程 语 言 （ 包 括   J a v a S c r i p t ） ， 十 六 进 制 数 通 过 在 前 面 加 上     来 向 编 译 器 表 明 后 面 跟 的 是 一 个 十 六 进 制 数 。 为 了 让 我 们 的 解 析 器 支 持 十 六 进 制 数 ， 我 们 只 需 要 添 加 另 一 条 规 则 。 f l o a t 1 .       f l o a t     =   d i g i t +   " . "   d i g i t + d i g i t + . d i g i t + 1 .   t e s t ( " 1 2 3 " , 1 2 3 ) ; 2 .   t e s t ( " 9 9 9 " , 9 9 9 ) ; 3 .   / / t e s t ( " a b c " , 9 9 9 ) ; 4 .   t e s t ( ' 1 2 3 . 4 5 6 ' , 1 2 3 . 4 5 6 ) ; 5 .   t e s t ( ' 0 . 1 2 3 ' , 0 . 1 2 3 ) ; 6 .   t e s t ( ' . 1 2 3 ' , 0 . 1 2 3 ) ; . 1 2 3 0 x 1 .       N u m b e r   =   h e x   |   f l o a t   |   i n t 2 .       i n t         =   d i g i t +
我 实 际 上 已 经 增 加 了 两 条 规 则 。 十 六 进 制 数 （ ） 表 明 它 是 一 个     后 面 一 个 或 多 个 十 六 进 制 数 字 （ ） 的 串 。 一 个 十 六 进 制 数 字 （ ） 是 从   0   到   9 ， 或 从   a   到   f ， 或   A   到   F （ 包 括 大 写 和 小 写 的 情 况 ） 的 一 个 字 符 。 我 也 修 改 了     规 则 来 识 别 十 六 进 制 数 作 为 另 外 一 种 可 能 的 情 况 。 现 在 我 们 只 需 要 另 一 条 针 对 十 六 进 制 数 的 功 能 规 则 。 注 意 到 ， 在 这 种 情 况 下 ， 我 们 把     作 为 基 底 传 递 给   ， 因 为 我 们 希 望   J a v a S c r i p t   知 道 这 是 一 个 十 六 进 制 数 。 我 略 过 了 一 些 很 重 要 需 要 注 意 的 事 。   的 规 则 像 下 面 这 样 ： 注 意 我 使 用 的 是     而 不 是   。 在   O h m   中 ，   是 当 你 需 要 推 翻 一 条 规 则 的 时 候 使 用 。 这 表 明   O h m   已 经 有 了 一 条 针 对     的 默 认 规 则 ， 就 像   3 .       f l o a t     =   d i g i t +   " . "   d i g i t + 4 .       h e x         =   " 0 x "   h e x D i g i t + 5 .       h e x D i g i t   : =   " 0 " . . " 9 "   |   " a " . . " f "   |   " A " . . " F " h e x 0 x h e x D i g i t s h e x D i g i t N u m b e r 1 .           h e x :   f u n c t i o n ( a , b )   { 2 .                   r e t u r n   p a r s e I n t ( t h i s . s o u r c e S t r i n g , 1 6 ) ; 3 .           } 1 6 p a r s e I n t h e x D i g i t 1 .       h e x D i g i t   : =   " 0 " . . " 9 "   |   " a " . . " f "   |   " A " . . " F " : = = : = h e x D i g i t
、   等 一 堆 其 他 的 东 西 。 如 果 我 使 用 了   ,   O h m   将 会 报 告 一 个 错 误 。 这 是 一 个 检 查 ， 从 而 避 免 我 无 意 识 的 推 翻 一 个 规 则 。 由 于 新 的     规 则 和   O h m   的 构 建 规 则 一 样 ， 所 以 我 们 可 以 把 它 注 释 掉 ， 然 后 让   O h m   自 己 来 实 现 它 。 我 留 下 这 个 规 则 只 是 因 为 这 样 我 们 可 以 看 到 它 实 际 上 是 如 何 进 行 的 。 现 在 ， 我 们 可 以 添 加 更 多 的 测 试 然 后 看 到 十 六 进 制 数 真 的 能 工 作 ： 科 学 计 数 科 学 计 数 最 后 ， 让 我 们 来 支 持 科 学 计 数 。 科 学 计 数 是 针 对 非 常 大 或 非 常 小 的 数 的 ， 比 如   。 在 大 多 数 编 程 语 言 中 ， 科 学 计 数 法 表 示 的 数 会 写 成 这 样 ： 1 . 8 e 3   表 示   1 8 0 0 0 ， 或 者   1 . 8 e - 3   表 示   . 0 1 8 。 让 我 们 增 加 另 外 一 对 规 则 来 支 持 这 个 指 数 表 示 ： 上 面 在 浮 点 数 规 则 末 尾 增 加 了 一 个 指 数 （ ） 规 则 和 一 个   。   表 示 没 有 或 有 一 个 ， 所 以 指 数 （ ） 是 可 选 的 ， 但 是 不 能 超 过 一 个 。 增 加 指 数 （ ） 规 则 也 改 变 了 浮 点 数 规 则 的 实 参 数 量 ， 所 以 我 们 需 要 为 浮 点 数 功 能 增 加 另 一 个 参 数 ， 即 使 我 们 不 使 用 它 。 d i g i t s p a c e = h e x D i g i t 1 .   t e s t ( ' 0 x 4 5 6 ' , 0 x 4 5 6 ) ; 2 .   t e s t ( ' 0 x F F ' , 2 5 5 ) ; 1 . 8 × 1 0 ^ 3 1 .           f l o a t     =   d i g i t +   " . "   d i g i t +   e x p ? 2 .           e x p         =   " e "   " - " ?   d i g i t + e x p ? ? e x p e x p 1 .           f l o a t :   f u n c t i o n ( a , b , c , d )   { 2 .                   c o n s o l e . l o g ( " d o i n g   f l o a t " ,   t h i s . s o u r c e S t r i n g ) ; 3 .                   r e t u r n   p a r s e F l o a t ( t h i s . s o u r c e S t r i n g ) ;
现 在 我 们 的 测 试 可 以 通 过 了 ： 结 论 结 论 O h m   是 构 建 解 析 器 的 一 个 很 棒 的 工 具 ， 因 为 它 易 于 上 手 ， 并 且 你 可 以 递 增 的 增 加 规 则 。 O h m   也 还 有 其 他 我 今 天 没 有 写 到 的 很 棒 的 特 点 ， 比 如 调 试 观 察 仪 和 子 类 化 。 到 目 前 为 止 ， 我 们 已 经 使 用   O h m   来 把 字 符 串 翻 译 成   J a v a S c r i p t   数 ， 并 且   O h m   经 常 用 于 把 一 种 表 示 方 式 转 化 成 另 外 一 种 。 然 而 ， O h m   还 有 更 多 的 用 途 。 通 过 放 入 不 同 的 语 义 功 能 集 ， 你 可 以 使 用   O h m   来 真 正 处 理 和 计 算 东 西 。 一 个 单 独 的 语 法 可 以 被 许 多 不 同 的 语 义 使 用 ， 这 是 O h m   的 魔 法 之 一 。 在 这 个 系 列 的 下 一 篇 文 章 中 ， 我 将 向 你 们 展 示 如 何 像 真 正 的 计 算 机 一 样 计 算 像     这 样 的 数 学 表 达 式 ， 不 仅 仅 是 解 析 数 。 额 外 的 挑 战 ： 你 能 够 扩 展 语 法 来 支 持 八 进 制 数 吗 ？ 这 些 以   8   为 基 底 的 数 能 够 只 用   0   到   7   这 几 个 数 字 来 表 示 ， 前 面 加 上 一 个 数 字   0   或 者 字 母   。 看 看 针 对 下 面 这 些 测 试 情 况 是 够 正 确 。 下 次 我 将 给 出 答 案 。 v i a :   h t t p s : / / w w w . p u b n u b . c o m / b l o g / 2 0 1 6 - 0 8 - 3 0 - j a v a s c r i p t - p a r s e r - o h m - m a k e s - c r e a t i n g - a - p r o g r a m m i n g - l a n g u a g e - e a s y / 作 者 ： J o s h   M a r i n a c c i [ 8 ]   译 者 ： u c a s F L   校 对 ： w x y 本 文 由   L C T T [ 9 ]   原 创 编 译 ， L i n u x 中 国   荣 誉 推 出 [ 1 ] :   h t t p s : / / e n . w i k i p e d i a . o r g / w i k i / F o r m a l _ g r a m m a r [ 2 ] :   h t t p s : / / e n . w i k i p e d i a . o r g / w i k i / G N U _ b i s o n [ 3 ] :   h t t p s : / / e n . w i k i p e d i a . o r g / w i k i / Y a c c [ 4 ] :   h t t p s : / / g i t h u b . c o m / c d g l a b s / o h m [ 5 ] :   h t t p : / / w w w . v p r i . o r g / p d f / t r 2 0 1 2 0 0 1 _ s t e p s . p d f [ 6 ] :   h t t p : / / t i n l i z z i e . o r g / o m e t a / [ 7 ] :   h t t p s : / / e n . w i k i p e d i a . o r g / w i k i / A r i t y [ 8 ] :   h t t p s : / / w w w . p u b n u b . c o m / b l o g / a u t h o r / j o s h / [ 9 ] :   h t t p s : / / g i t h u b . c o m / L C T T / T r a n s l a t e P r o j e c t 推 荐 文 章 推 荐 文 章 4 .           } , 1 .   t e s t ( ' 4 . 8 e 1 0 ' , 4 . 8 e 1 0 ) ; 2 .   t e s t ( ' 4 . 8 e - 1 0 ' , 4 . 8 e - 1 0 ) ; ( 4 . 8 5   +   5   *   ( 2 3 8   -   6 8 ) / 2 ) o 1 .   t e s t ( ' 0 o 7 7 ' , 7 * 8 + 7 ) ; 2 .   t e s t ( ' 0 o 2 3 ' , 0 o 2 3 ) ;
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

使用Markdown编辑器编辑 使用富文本编辑器编辑

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理