这是我参与「第五届青训营」伴学笔记创作活动的第 5 天
规则引擎
什么是规则引擎？
将业务决策从应用程序中分离出来，使用预定义的语义模块编写业务决策。
解决重复编码的问题。
规则引擎的组成
规则引擎由三部分组成：
- 数据输入: 接受使用预定义的语义编写的规则作为策略集，接受业务的数据作为执行过程中的的参数，比如价格、标签等
- 规则理解: 能够按照预先定义的词法、语法、优先级、运算符等正确理解业务规则所表达的语义
- 规则执行: 根据执行时输入的参数对策略集中的规则进行正确的解释和执行。同时对规则执行过程中的数据类型进行检查，确保执行结果正确。
编译原理
理解
词法分析：把源代码字符串转换为词法单元 语法分析：在词法分析的基础上识别出表达式的语法结构
执行
表达式抽象语法结构的树状表示。
词法分析
有限自动机
一种状态机，它的状态是有限的。 该状态机在任何一个状态，基于输入的字符。都能做一个确定的状态转换。
抽象语法树
巴科斯范式(BNF)
exp : add ;
add : add '+' mul | mul; // 加法表达式 a + b + c a + b * c
mul : mul '*' pri | pri; // 乘法表达式 a * b * c
pri: string | bool | number | identifier; // 基础表达式 weight | 20 | "abcde"
产生式： 一个表达式可以由另外已知类型的表达式或者符号推导产生
内置符号： 字面量（string、bool、number）标识符、运算符
一个基础表达式可以由 常量（string、bool、number）或标识符（identifier）
一个乘法表达式可以由基础表达式或者乘法表达式 * 基础表达式 组成
递归下降算法
自顶向下构造语法树
不断的对 Token 进行语法展开（下降）、展开过程中可能会遇到递归的情况
类型检查
-
类型综合 根据子表达式的类型构造出父表达式的类型。
例如，表达式 A+B 的类型是根据 A 和 B 的类型定义的。 -
编译时检查 & 运行时检查
设计
- 词法
- 数据类型
- 运算符
- 优先级
