1. 意图
给定一个语言,定义它的文法的一种表示,并定义一个解释器,这个解释器使用该表示来解释语
言中的句子。
2. 四种角色
抽象表达式(AbstractExpression)、终结表达式(TerminalExpression)、非终结表达式(NonterminalExpression)、上下文(Context)
3. 优点
3.1 易于改变和扩展文法
3.2 易于实现文法
3.3 实现新表达式“计算”变得容易
4. 缺点
4.1 复杂的文法难于维护
5. 相关模式
5.1 抽象语法树是一个组合模式的实例
5.2 抽象语法树用享元模式来共享终结符
5.3 解释器可用一个迭代器遍历该结构
5.4 访问者可用来在一个类中维护抽象语法树中的各节点的行为
6. 代码示意(C++)
#pragma once
#include<iostream>
#include <string>
using namespace std;class Context
{string m_input;
public:Context(const string& input) :m_input(input) {}bool Lookup(const char* name) {size_t nPos = m_input.find(*name);return nPos != string::npos;}
};class AbstractExpression
{
public:virtual bool Interpret(Context& context) = 0;
};class TerminalExpression :public AbstractExpression
{char* m_name;
public:TerminalExpression(const char* name) {m_name = _strdup(name);//拷贝副本}virtual bool Interpret(Context& context) {cout << "终端解析器" << endl;return context.Lookup(m_name);}
};class NonterminalExpression :public AbstractExpression
{AbstractExpression* m_pExpression1;AbstractExpression* m_pExpression2;
public:NonterminalExpression(AbstractExpression* pExpression1, AbstractExpression* pExpression2) {m_pExpression1 = pExpression1;m_pExpression2 = pExpression2;}~NonterminalExpression() {delete m_pExpression1;delete m_pExpression2;}virtual bool Interpret(Context& context) {cout << "非终端解析器" << endl;return m_pExpression1->Interpret(context) && m_pExpression2->Interpret(context);}
};
#include "Expression.h"
int main() {Context context("hello");AbstractExpression* pExpression = new TerminalExpression("H");cout << "解释器返回:" << pExpression->Interpret(context) << endl;delete pExpression;pExpression = new NonterminalExpression(new TerminalExpression("h"), new TerminalExpression("o"));cout << "解释器返回:" << pExpression->Interpret(context) << endl;delete pExpression;return 0;
}
运行结果:
6.1 可以很容易地改变解释器或增加新的终端解释器来实现新文法(3.1、3.2)。
6.2 非终端解释器是组合模式,很容易实现新的“计算”(3.3)。