这是我参与「第五届青训营」伴学笔记创作活动的第 6 天。
规则引擎
购买相应的产品就会获得相应的积分,到区间,然后再到根据商品的属性、用户标签进行判断。
定义:规则引擎是一种嵌入在应用程序中的组件,实现了将业务从应用代码中分离出来,并使用预定义的语义模块编写业务决策。接受数据输入,解释业务规则,并根据业务规则做出业务决策。
业务的决策和程序本身进行解耦,效率提高,程序稳定性提高
解决开发人员重复编码的问题。
业务决策与服务本身解耦,提高服务的可维护性缩短开发路径,提高效率。
组成部分:
①数据输入
支持接受使用预定义的予以编写的规则作为策略集:price>500
接受业务的数据作为执行过程中的参数,比如价格、标签等
②规则理解
能够按照预先定义的词法、语法、优先级、运算符等正确理解业务规则所表达的语义
③规则执行
根据执行时输入的参数对策略集中的规则进行正确的解释和执行。同时对规则执行过程中的数据类型进行检查,确保执行结果正确。
规则引擎编译原理:
理解:
词法分析 把源代码字符转换为词法单元(Token)的这个过程
有限自动机:一个状态机,状态数量是有限的。在任一个状态,基于输入的字符,都能做一个确定的状态转换。
语法分析 在词法分析的基础上识别出表达式的语法结构
从一个字符串开始转换为他所能理解的格式,即抽象语法树:表达式可以用树来表示,其每个节点(子树)是一个语法单元,这个单元的构成规则就叫“语法”。每个节点还可以有下级节点。
上下文无关语法:语言句子无需考虑上下文,就可以判断正确性,含义是唯一确定的。可以使用巴克斯范式(BNF)来表示
产生式:一个表达式可以由另外已知类型的表达式或者符号推导产生
执行:表达式抽象语法结构的树状表示,对于一个表达式,抽象语法树一定是唯一确定的
输入输出
类型检查 验证执行的结果是否为适合的数据类型。在抽象语法树中,通常会验证某节点的子节点的数据类型是否合法。
类型综合:根据子表达式的类型构造出父表达式的类型。
编译时检查&运行时检查:类型检查可以发生在表达式的编译阶段,即在构造语法树的阶段;也可以发生在执行的阶段。
编译时:需要提前声明参数的类型,在构建语法树过程中及逆行类型检查。
执行时:可以根据执行时的参数输入的值类型,在执行过程中进行类型检查。
参数注入 在规则执行过程中,使用输入的参数值来计算语法输中的标识符节点值的过程
设计目标:设计一个规则引擎,支持特定的词法、运算符、数据类型和优先级。并且支持基于以上预定义语法的规则表达式的编译和执行。
语法树的执行和类型检查
执行就是后序遍历的操作,就是先左再右再根据根节点的操作符执行得到根节点的值
检查时机:执行时检查
在一个节点的左右子节点执行完成之后,分别校验左右子节点的类型是否符合对应操作符的类型检查预设规则。
'>'符号要求左右子节点的值都存在且为int或float。
'!'符号要求左节点为空且右节点的值为bool。
接着是实现:
词法分析:token
输入:compiler.scanner
语法分析:compiler.parser
建树:compiler.builder