解释器模式(Interpreter Pattern)提供了评估语言的语法或表达式的方式,它属于行为型模式。这种模式实现了一个表达式接口,该接口解释一个特定的上下文。这种模式被用在 SQL 解析、符号处理引擎等。
意图
给定一个语言,定义它的文法表示,并定义一个解释器,这个解释器使用该标识来解释语言中的句子。
主要解决
对于一些固定文法构建一个解释句子的解释器。
何时使用
如果一种特定类型的问题发生的频率足够高,那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器,该解释器通过解释这些句子来解决该问题。
如何解决
构建语法树,定义终结符与非终结符。
关键代码
构建环境类,包含解释器之外的一些全局信息,一般是 HashMap。
应用实例
编译器、运算表达式计算。
优点
- 可扩展性比较好,灵活。
- 增加了新的解释表达式的方式。
- 易于实现简单文法。
缺点
- 可利用场景比较少。
- 对于复杂的文法比较难维护。
- 解释器模式会引起类膨胀。
- 解释器模式采用递归调用方法。
使用场景
- 可以将一个需要解释执行的语言中的句子表示为一个抽象语法树。
- 一些重复出现的问题可以用一种简单的语言来进行表达。
- 一个简单语法需要解释的场景。
注意事项
可利用场景比较少,JAVA 中如果碰到可以用 expression4J 代替。
示例
我们将创建一个接口 Expression 和实现了 Expression 接口的实体类。定义作为上下文中主要解释器的 TerminalExpression 类。其他的类 OrExpression、AndExpression 用于创建组合式表达式。
#include "pch.h"
#include <stdlib.h>
#include <iostream>
class Expression
{
public:
virtual bool Interpret(std::string context) = 0;
};
class TerminalExpression : public Expression
{
public:
TerminalExpression(std::string data)
{
this->data = data;
}
bool Interpret(std::string context)
{
bool res = context.find(data) == std::string::npos ? false : true;
return res;
}
private:
std::string data;
};
class OrExpression : public Expression
{
public:
OrExpression(Expression* expr1, Expression* expr2)
{
this->expr1 = expr1;
this->expr2 = expr2;
}
~OrExpression()
{
delete expr1;
expr1 = nullptr;
delete expr2;
expr2 = nullptr;
}
bool Interpret(std::string context)
{
return expr1->Interpret(context) || expr2->Interpret(context);
}
private:
Expression* expr1;
Expression* expr2;
};
class AndExpression : public Expression
{
public:
AndExpression(Expression* expr1, Expression* expr2)
{
this->expr1 = expr1;
this->expr2 = expr2;
}
~AndExpression()
{
delete expr1;
expr1 = nullptr;
delete expr2;
expr2 = nullptr;
}
bool Interpret(std::string context)
{
return expr1->Interpret(context) && expr2->Interpret(context);
}
private:
Expression* expr1;
Expression* expr2;
};
//规则:Robert 和 John 是男性
Expression* GetMaleExpression() {
Expression* robert = new TerminalExpression("Robert");
Expression* john = new TerminalExpression("John");
return new OrExpression(robert, john);
}
//规则:Julie 是一个已婚的女性
Expression* GetMarriedWomanExpression() {
Expression* julie = new TerminalExpression("Julie");
Expression* married = new TerminalExpression("Married");
return new AndExpression(julie, married);
}
int main()
{
Expression* isMale = GetMaleExpression();
Expression* isMarriedWoman = GetMarriedWomanExpression();
std::cout << "John is male? " << std::boolalpha << isMale->Interpret("John") << std::endl;
std::cout << "Julie is a married women? " << std::boolalpha << isMarriedWoman->Interpret("Married Julie") << std::endl;
}
>>>
John is male? true
Julie is a married women? true