golang公式引擎_如何用Go写业务的表达式引擎

在Aviasales，我们在Go中重写了我们的搜索引擎。

该引擎的关键部分之一是业务规则引擎。 由于传入的参数很多，因此并不总是能够在代码中描述不断变化的业务规则。 为了解决这个问题，我们写了一个表达引擎。 我们的想法是让动态配置，而无需重新编译程序。

在这次演讲中，我已经解释了如何编写自己的表达式引擎。 从词法分析器，解析器和Go的静态类型反射开始，到编译程序的评估。

让我们从理论开始。 可能每个人都知道大多数编程语言都包含Lexer，Parser和Compiler。 但是因为我们正在编写表达式引擎而不是编译器，所以我们将有一个Evaler。 Lexer读取原始字符串并生成标记，解析器接收标记并生成抽象语法树，Evaler使用指定的上下文执行此树。

让我们从Lexer开始吧。

编写词法分析器有很多种方法，最常见的两种方法是使用一堆正则表达式，或者使用状态机。 我们将使用状态机。

Lexer逐字符地读取输入字符串，并生成由两个元素组成的标记：标记的类型和值。 对于表达式引擎，我们只需要几种类型的标记：

名称 - 指定变量，数字 - 数字，文本文字用于字符串，操作者，标点符号和文件的特殊标记结束

为了描述状态机的状态，我们将使用一个特殊的函数，它接受一个词法分析器并返回下一个状态函数。

词法分析器本身将存储输入字符串，输入字符串中的位置以及生成的标记列表。