这是我参与「第五届青训营」伴学笔记创作活动的第 12 天本次笔记将记录规则引擎

概念

规则引擎是一种嵌入在应用服务中的组件，可以将灵活多变的业务决策从服务代码中分离出来。通过使用预定义的语义模块来编写业务逻辑规则。

在执行时接受数据输入、解释业务规则，并做出决策。规则引擎能大大提高系统的灵活性和扩展性。

个人理解的规则引擎：顾名思义，就是定义规则的一组代码，规则可以代替很多if else语句，例如新用户和5级以上用户购买商品获得500积分，而1-2级用户获得100积分，3-4级用户获得300积分。这就是规则，而规则引擎就是能够方便客服亦或开发者能够更加简单的改变规则。

倘若用一连串的if else语句，在更改规则时需要在代码中重新写ifelse语句，而有了规则引擎后开发者仅需向引擎内传入规定的格式参数，引擎将自动更改规则。

规则引擎的组成：数据输入、规则理解、规则执行

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

什么是编译原理

规则引擎的本质就是我们自己定义一套语法，然后去解析用这套语法写的表达式，然后根据解析的内容执行表达式。这个过程其实就是编译和执行的过程。

编译的步骤如下：
词法分析：词法分析就是把源代码字符串转换为词法单元Token的过程
语法分析：语法分析就是在词法分析的基础上，识别表达式的语法结构的过程
抽象语法树：表达式的语法结构可以用树来表示，故而出现抽象语法树之称。其中每个节点(子树)是一个语法单元，这个单元的构成规则就叫语法。每个节点还可以有下级节点。

类型检查：根据子表达式的类型构造出表达式的类型。例如，表达式A+B的类型是根据A和B的类型定义的。

类型检查可以发生在表达式的编译阶段，即在构造语法树的阶段；也可以发生在执行时的阶段
编译时：需要提前声明参数的类型，在构建语法树过程中进行类型检查
执行时：可以根据执行时的参数输入的值类型，在执行过程中进行类型检查

设计一个规则引擎

词法分析

设计词法分析的状态机

语法分析及抽象语法树

巴科斯范式(BNF)

expr: logOr EOF;
logOr: logOr '||' logAnd | logAnd;
logAnd: logAnd '&&' logNot | logNot;
logNot: '|' logNot | cmp;
cmp: cmp '>' add | cmp '>=' add | cmp '<' add | cmp '<=' add | cmp '==' add | cmp '!=' add
add: add '+' mul | add '-' mul | mul;
pri mul '*' pri | mul '/' pri | mul '%' pri | pri;
pri: BooleanLiteral | IntegerLiteral | FloatLiteral | StringLiteral | Identifier | '('expr')';

递归下降算法

自顶向下构造语法树
不断的对 Token 进行语法展开（下降）、展开过程中可能会遇到递归的情况

一元运算符: 左子树为空，右子树为右操作数  
二元运算符: 左子树为左操作数，右子树为右操作数  
括号: 左子树为空，右子树为内部表达式的AST

类型检查

检查时机: 执行时检查检查方法: 在一个节点的左右子节点执行完成后，分别校验左右子节点的类型是否符合对应操作符的类型检查预设规则。

符号要求左右子节点的值都存在且为 int或float.
"!’符号要求左节点为空且右节点的值为 bool

代码

项目地址： github.com/qimengxingy…

项目工程使用Go语言并依赖了hertz框架。除此之外：

需要安装docker环境 www.runoob.com/docker/wind…
安装docker-compose工具www.runoob.com/docker/dock…

项目clone到本地后，可以执行测试脚本来测试环境的可用性。

git clone https://github.com/qimengxingyuan/young_engine.git
chmod a+x ./setup.sh
./setup.sh

脚本执行成功，则环境可以支持项目的执行。

零基础之go语言12 ｜ 青训营笔记

概念