这是我参与「第五届青训营」伴学笔记创作活动的第 5 天
前言
本文为作者参与青训营学习的课程总结，记录着我对课程内容的收获和思考，以便用于日后的复习查阅。如果所写内容出现不准确的表述或错误，欢迎各位在评论区友好指出。
一.什么是规则引擎
- 定义：规则引擎是一种嵌入在应用程序中的组件，能够将业务决策从应用程序代码中分离出来，并使用预定义的语义编写业务决策。接收数据输入，解释业务规则，并根据业务规则判断后做出业务决策。
- 作用：解决重复编码的问题，让业务决策与服务本身解耦，提高服务的可维护性
二.组成部分
- 数据输入：将预定义的语义编写的规则作为策略集。接收业务的数据作为执行过程的参数，这些参数通常需要做比较处理，比如价格、标签等
- 规则理解：能够按照预先定义的词法、语法、优先级、运算等正确理解业务规则所表达的语义
- 规则执行：根据执行时的输入参数堆策略集中的规则进行正确的解释和执行。同时对参数进行数据类型检查，确保执行结果正确
三.编译原理基本概念
要了解规则引擎的运行过程就需要先知道编译原理的基本概念
规则引擎会
1.词法分析
词法分析就是将源代码字符串转化为词法单元（Token）的过程
犹如日常生活中的一句中文，一句话可以由名词、动词、形容词、介词等词类组成，而源代码字符串也是由参数、数字、字符串、运算符、操作符等词类组成的
那么要如何识别出每一个Token呢？这就需要有限自动机了。
有限自动机就是一个状态机，其设置的状态数量是有限的。该状态机在任何一个状态，基于输入的字符，能够做出一个确定的状态转换。
2.语法分析
语法分析就是在词法分析的基础上识别表达式的语法结构的过程
抽象语法树：表达式的语法结构可以用树来表示，其中的每个节点是一个语法单元。
如何得到抽象语法树？
- 上下文无关语法：句子无需考虑上下文就可以判断正确性，可以使用巴科斯 范式来表达
- 递归下降算法：自顶向下构造语法树，不断对Token进行语法展开，展开过程中可能会遇到递归的情况
3.类型检查
- 类型综合：根据子表达的类型构造出父表达式的类型。例如表达式A+B的类型是由A和B的类型决定的
- 编译时检查：类型检查可以发生在表达式的编译阶段，即在构造语法树的阶段。需要提前声明参数的类型
- 运行时检查：类型检查发生在表达式的运行阶段，根据执行时参数输入的值类型进行检查
