这是我参与「第五届青训营 」伴学笔记创作活动的第 5 天
规则引擎
定义
规则引擎是一种嵌入在应用程序中的组件，实现了将业务决策从应用程序代码中分离出来，并使用预定义的语义模块编写业务决策。接受数据输入,解释业务规则，并根据业务规则做出业务决策。
作用
- 解决开发人员重复编码的问题
- 业务决策与服务本身解耦，提高服务的可维护性
- 缩短开发路径，提高效率
组成
-
数据输入
支持接受使用预定义的语义编写的规则作为策略集。比如 "price > 500" 接受业务的数据作为执行过程中的参数，比如价格、标签等
-
规则理解
能够按照预先定义的词法、语法、优先级、运算符等正确理解业务规则所表达的语义。
-
规则执行
根据执行时输入的参数对策略集中的规则进行正确的解释和执行。同时对规则执行过程中的数据类型进行检查，确保执行结果正确
编译原理
词法分析
把源代码字符串转换为词法单元(Token)的这个过程
有限状态机
有限自动机就是一个状态机，它的状态数量是有限的。该状态机在任何一个状态，基于输入的字符，都能做一个确定的状态转换。
语法分析
在词法分析的基础上识别出表达式的语法结构
抽象语法树
表达式的语法结构可以用树来表示，其每个节点(子树)是一个语法单元，这个单元的构成规则就叫”语法“。每个节点还可以有下级节点。
上下文无关语法
语言句子无需考虑上下文，就可以判断正确性。可以使用巴科斯范式(BNF)来表达
递归下降算法
递归下降算法就是自顶向下构造语法树
不断的对Token进行语法展开(下降)，展开过程中可能会遇到递归的情况。
类型检查
类型综合
根据子表达式的类型构造出父表达式的类型。例如，表达式A+B的类型是根据A和B的类型定义的
编译时检查 & 运行时检查
类型检查可以发生在表达式的编译阶段，即在构造语法树的阶段;也可以发生在执行时的阶段。
编译时：需要提前声明参数的类型，在构建语法树过程中进行类型检查
执行时：可以根据执行时的参数输入的值类型，在执行过程中进行类型检查
