懂前端的你也可以轻松定义自己业务的DSL

一个JavaScript版本的bison

jison是一个 JavaScript 编写的解析器生成器，可以用来生成自定义的编程语言解析器。它的令人兴奋的点在于，它允许开发人员使用 JavaScript 语言来定义语法规则，然后将其转换为解析器，从而支持自定义的编程语言。

在前端应用方面，Jison 可以用于实现自定义的模版引擎，例如类似于 Handlebars 或者 Mustache 的模版引擎。通过使用 Jison，开发人员可以定义自己的模版语法规则，然后将其转换为解析器，从而实现对自定义模版语法的支持。

(资料图片)

此外，Jison 还可以用于实现自定义的 DSL（领域特定语言），例如在前端应用中实现一些特定的业务逻辑，例如表单验证、数据格式化等等。通过使用 Jison，开发人员可以定义自己的 DSL 语法规则，然后将其转换为解析器，从而实现对自定义 DSL 的支持。

jison有很多demo可以供参考，比如 写一个计算器 https://gerhobbelt.github.io/jison/try/

要实现这个计算器，你的代码不再是手写解析算术表达式，手写语法树解析，然后计算结果，而是只用定义规则，剩下的事让机器帮你搞定就好了：

cala.bison

/* description: Parses end executes mathematical expressions. *//* lexical grammar */%lex%%\s+                   /* skip whitespace */[0-9]+("."[0-9]+)?\b  return "NUMBER""*"                   return "*""/"                   return "/""-"                   return "-""+"                   return "+""^"                   return "^""("                   return "("")"                   return ")""PI"                  return "PI""E"                   return "E"<>               return "EOF".                     return "INVALID"/lex/* operator associations and precedence */%left "+" "-"%left "*" "/"%left "^"%left UMINUS%start expressions%% /* language grammar */expressions    : e EOF        {return $1;}    ;e    : e "+" e        {$$ = $1+$3;}    | e "-" e        {$$ = $1-$3;}    | e "*" e        {$$ = $1*$3;}    | e "/" e        {$$ = $1/$3;}    | e "^" e        {$$ = Math.pow($1, $3);}    | "-" e %prec UMINUS        {$$ = -$2;}    | "(" e ")"        {$$ = $2;}    | NUMBER        {$$ = Number(yytext);}    | E        {$$ = Math.E;}    | PI        {$$ = Math.PI;}    ;

要了解jison的强大，就必须了解下DSL，以及它能够高效的解决哪些问题：

DSL（Domain-Specific Language）是一种用于特定领域的编程语言，它是为了解决某些领域特定的问题而设计的。与通用编程语言相比，DSL更加专注于特定领域，因此在该领域内更易于使用和理解。DSL可以通过语法、关键字或标记等方式来描述特定领域内的问题，并提供相应的解决方案。常见的DSL包括配置文件语言、领域特定脚本语言、数据流语言等。DSL的好处在于可以提高编程效率和代码可读性，同时也使得非程序员能够更容易地理解和维护代码。

简单的实现一个DSL的步骤

要完整实现一个DSL，需要以下步骤：

1.定义DSL的语法和语义：DSL语言需要有自己的语法和语义，以便用户能够使用该语言来表达自己的意图。语法定义通常使用BNF或EBNF表示。

2.实现DSL的解析器：DSL解析器是将DSL代码解析为计算机可执行的指令的程序。解析器通常使用词法分析器和语法分析器来实现。

3.实现DSL的执行器：DSL执行器是将DSL代码转化为实际的计算机操作的程序。执行器通常使用解释器或编译器实现。

其中词法分析器，语法分析器这些都有非常稳定的工具，比如，如果有定义好的BNF范式，直接丢给 flex 就可以解决词法分析的这个过程，然后在丢给 yacc，就可以按照这个规则编译出可执行程序，也许你会觉得这个非常不可思议，怎么写一堆规则就可以变成可执行程序呢？但实际上，你好好思考下，你写程序部也是在规定一些规则吗？

if/else/while/... ，这部都是在告诉计算机如何理解并执行你的意图吗？OK，立即这些，就看看其中的一些概念，对于新手可能需要科普一下：

BNF或EBNF简单的描述

BNF（巴克斯-诺尔范式）和 EBNF（扩展巴克斯-诺尔范式）是一种用于描述编程语言结构的形式语法。例如，下面是一个使用BNF表示的简单数学表达式：

 ::=  |  "+"  |  "-"  ::=  |  "*"  |  "/"  ::=  | "("  ")"

这个BNF描述了一个数学表达式可以由一个项(term)或一个表达式(expr)加减一个项(term)组成。一个项可以由一个因子(factor)或一个项(term)乘除一个因子(factor)组成。一个因子可以是一个数字(number)或者一个表达式(expr)。

EBNF是BNF的一个扩展，添加了更多的元素来描述更复杂的语言结构。例如，下面是一个使用EBNF描述的简单的JSON对象：