这是我参与「第五届青训营」伴学笔记创作活动的第 6天

规则引擎的定义

规则引擎是一种嵌入在应用程序中的组件，实现了将业务决策从应用程序代码中分离出来，并使用预定义的语义模块编写业务决策。接受数据输入，解释业务规则，并根据业务规则做出业务决策。

解决开发人员重复编码的问题业务决策与服务本身解耦，提高服务的可修改规则决策缩短开发路径，提高效率

组成部分

数据输入规则理解规则执行支持接受使用预定义的语义编能够按照预先定义的词法、根据执行时输入的参数对写的规则作为策略集。比如语法、优先级、运算符等正策略集中的规则进行正确 "price > 500 " 确理解业务规则所表达的语的解释和执行。同时对规接受业务的数据作为执行过程中的参数，比如价格、标签等进行检查，确保执行结果

词法分析Lexical Analysis

词法分析就是把源代码字符串转换为词法单元(Token)的这个过程。李想通过了青训营选拔 price > 500 && (isNewUser | userLevel > 5) 李想通过了青训营选拔 price 500 && isNewUser userLevel

5 如何识别Token？有限自动机(Finite-State Automaton) 有限自动机就是一个状态机，它的状态数量是有限的，该状态机在任何一个状态，基于输入的字符，都能做一个确定的状态转换 S1 参数 start S2 数字 S3

语法分析Syntax Analysis

语法分析就是在词法分析的基础上，识别表达式的语法结构的过程

象法树 Abstract Syntax Tree

口上下文无关语法Context-Free Grammar

r:=a>b

语言句子无需考虑上下文，就可以判断正确性。可以使用巴科斯范式(BNF)来表达

exp : add :

加法表达式a+b+ca+b*c

mul : mul '*'pri | pri;

add : add'+' mul mul:

mul: mul 'pri | pri:

乘法表达式abc

产生式：一个表达式可以由另外已知类型的表达式或者符号推导产生 mul => mul'*pri

内置符号：字面量(string、bool、number)标识符、运算符 mul => pri

一个基础表达式可以由常量(string、bool、number)或标识符(identifier)

一个乘法表达式可以由基础表达式或者乘法表达式*基础表达式组成

口递归下降算法 Recursive Descent Parsing

递归下降算法就是自顶向下构造语法树

不断的对Token进行语法展开（下降），展开过程中可能会遇到递归的情况。

类型检查

根据子表达式的类型构造出父表达式的类型。例如，表达式A+B的类型是根据A和B的类型定义的编译时检查&运行时检查类型检查可以发生在表达式的编译阶段，即在构造语法树的阶段；也可以发生在执行时的阶段 ·编译时：需要提前声明参数的类型，在构建语法树过程中进行类型检查 int1: int; str1 : string ·执行时：可以根据执行时的参数输入的值类型，在执行过程中进行类型检查

规则引擎 | 青训营笔记