草庐IT

设计模式之解释器模式

pluto_charon 2023-03-28 原文

解释器模式属于行为型模式;指给分析对象定义一个语言,并定义该语言的文法表示,再设计一个解析器来解释语言中的句子。也就是说,用编译语言的方式来分析应用中的实例。这种模式实现了文法表达式处理的接口,该接口解释一个特定的上下文。

解释器模式的UML类图如下所示:

由上图可知,解释器模式涉及到抽象表达式(Abstract Expression)角色、终结符表达式(Terminal Expression)角色、非终结符表达式(Nonterminal Expression)角色、环境(Context)角色、客户端(Client)角色等五种角色:

  1. 抽象表达式(Abstract Expression)角色:定义解释器的接口,约定解释器的解释操作,主要包含解释方法 interpret()。
  2. 终结符表达式(Terminal Expression)角色:是抽象表达式的子类,用来实现文法中与终结符相关的操作,文法中的每一个终结符都有一个具体终结表达式与之相对应。
  3. 非终结符表达式(Nonterminal Expression)角色:也是抽象表达式的子类,用来实现文法中与非终结符相关的操作,文法中的每条规则都对应于一个非终结符表达式。
  4. 环境(Context)角色:通常包含各个解释器需要的数据或是公共的功能,一般用来传递被所有解释器共享的数据,后面的解释器可以从这里获取这些值。
  5. 客户端(Client):主要任务是将需要分析的句子或表达式转换成使用解释器对象描述的抽象语法树,然后调用解释器的解释方法,当然也可以通过环境角色间接访问解释器的解释方法。

模拟java语言对布尔表达式操作的例子

例子的UML类图:

抽象表达式角色:

package com.charon.interpreter;

/**
 * @author :charon
 * @description: 这个抽象类代表终结类和非终结类的抽象化,其中终结类和非终结类的语法如下:
 *      Expression ::= Expression AND Expression
 *                   | Expression OR Expression
 *                   | NOT Expression
 *                   | Variable (非空白字符串)
 *                   | Constant (true | false)
 * @date : 2022/4/7 8:32
 * @version: 1.0
 */
public abstract class Expression {

    /**
     * 解释给定的任何一个表达式
     * @param context
     * @return
     */
    public abstract boolean interpret(Context context) throws IllegalAccessException;

    /**
     * 检验两个表达式在结构上是否相同
     * @param object
     * @return
     */
    @Override
    public abstract boolean equals(Object object);

    /**
     * 将表达式转换成字符串
     * @return
     */
    @Override
    public abstract String toString();
}

非终结符表达式角色:

package com.charon.interpreter;

/**
 * @author :charon
 * @description: 逻辑与的操作 ,表示由两个布尔表达式通过逻辑与操作给出一个新的布尔表达式
 * @date : 2022/4/7 10:12
 * @version: 1.0
 */
public class And extends Expression{

    private Expression left,right;

    public And(Expression left, Expression right) {
        this.left = left;
        this.right = right;
    }

    @Override
    public boolean interpret(Context context) throws IllegalAccessException {
        return left.interpret(context) && right.interpret(context);
    }

    @Override
    public boolean equals(Object object) {
        if(object != null && object instanceof And){
            return this.left.equals(((And) object).left) && this.right.equals(((And) object).right);
        }
        return false;
    }

    @Override
    public String toString() {
        return "( " + left.toString() + " AND " + right.toString() + ")";
    }
}

package com.charon.interpreter;

/**
 * @author :charon
 * @description: 逻辑或操作
 * @date : 2022/4/7 18:03
 * @version: 1.0
 */
public class Or extends Expression{

    private Expression left,right;

    public Or(Expression left, Expression right) {
        this.left = left;
        this.right = right;
    }

    @Override
    public boolean interpret(Context context) throws IllegalAccessException {
        return left.interpret(context) || right.interpret(context);
    }

    @Override
    public boolean equals(Object object) {
        if(object != null && object instanceof Or){
            return this.left.equals(((Or) object).left) && this.right.equals(((Or) object).right);
        }
        return false;
    }

    @Override
    public String toString() {
        return "( " + left.toString() + " OR " + right.toString() + ")";
    }
}

package com.charon.interpreter;

/**
 * @author :charon
 * @description: 逻辑非的操作
 * @date : 2022/4/7 10:12
 * @version: 1.0
 */
public class Not extends Expression{

    private Expression expression;

    public Not(Expression expression) {
        this.expression = expression;
    }

    @Override
    public boolean interpret(Context context) throws IllegalAccessException {
        return !expression.interpret(context);
    }

    @Override
    public boolean equals(Object object) {
        if(object != null && object instanceof Not){
            return this.expression.equals(((Not) object).expression);
        }
        return false;
    }

    @Override
    public String toString() {
        return "( not " + expression.toString() + ")";
    }
}

终结符表达式角色:

package com.charon.interpreter;

/**
 * @author :charon
 * @description: 有名变量
 * @date : 2022/4/7 8:43
 * @version: 1.0
 */
public class Variable extends Expression{

    private String name;

    public Variable(String name) {
        this.name = name;
    }

    @Override
    public boolean interpret(Context context) throws IllegalAccessException {
        return context.lookUp(this);
    }

    @Override
    public boolean equals(Object object) {
        if (object != null && object instanceof Variable){
            return this.name.equals(((Variable) object).name);
        }
        return false;
    }

    @Override
    public String toString() {
        return name;
    }
}

环境类角色:

package com.charon.interpreter;

import java.util.HashMap;
import java.util.Map;

/**
 * @author :charon
 * @description: 环境类定义
 * @date : 2022/4/7 8:38
 * @version: 1.0
 */
public class Context {

    private Map<Object,Object> map = new HashMap<>();

    /**
     *
     * @param variable
     * @param value
     */
    public void assign(Variable variable,boolean value){
        map.put(variable, value);
    }

    /**
     * 获取值
     * @param variable
     * @return
     */
    public boolean lookUp(Variable variable) throws IllegalAccessException {
        Boolean value = (Boolean) map.get(variable);
        if(value == null){
            throw new IllegalAccessException();
        }
        return  value.booleanValue();
    }
}

客户端角色:

package com.charon.interpreter;

/**
 * @author :charon
 * @description:
 * @date : 2022/4/7 8:31
 * @version: 1.0
 */
public class Client {

    public static void main(String[] args) throws IllegalAccessException {
        Context context = new Context();
        Variable x = new Variable("x");
        Variable y = new Variable("y");
        Constant constant = new Constant(true);
        context.assign(x,false);
        context.assign(y,true);
        Expression expression = new Or(new And(constant, x), new And(y, new Not(x)));
        System.out.println("x = " + x.interpret(context));
        System.out.println("y = " + y.interpret(context));
        System.out.println(expression + " = " + expression.interpret(context));
    }
}

打印:
    x = false
    y = true
    ( ( true AND x) OR ( y AND ( not x))) = true	

解释器模式的主要优点如下:

  1. 扩展性好。由于在解释器模式中使用类来表示语言的文法规则,因此可以通过继承等机制来改变或扩展文法。
  2. 容易实现。在语法树中的每个表达式节点类都是相似的,所以实现其文法较为容易。

解释器模式的主要缺点如下:

  1. 执行效率较低。解释器模式中通常使用大量的循环和递归调用,当要解释的句子较复杂时,其运行速度很慢,且代码的调试过程也比较麻烦。
  2. 会引起类膨胀。解释器模式中的每条规则至少需要定义一个类,当包含的文法规则很多时,类的个数将急剧增加,导致系统难以管理与维护。
  3. 可应用的场景比较少。在软件开发中,需要定义语言文法的应用实例非常少,所以这种模式很少被使用到。

模式的应用场景

  1. 当语言的文法较为简单,且执行效率不是关键问题时。

  2. 当问题重复出现,且可以用一种简单的语言来进行表达时。

  3. 当一个语言需要解释执行,并且语言中的句子可以表示为一个抽象语法树的时候,如 XML 文档解释。

有关设计模式之解释器模式的更多相关文章

  1. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

  2. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  3. ruby - 如何在续集中重新加载表模式? - 2

    鉴于我有以下迁移:Sequel.migrationdoupdoalter_table:usersdoadd_column:is_admin,:default=>falseend#SequelrunsaDESCRIBEtablestatement,whenthemodelisloaded.#Atthispoint,itdoesnotknowthatusershaveais_adminflag.#Soitfails.@user=User.find(:email=>"admin@fancy-startup.example")@user.is_admin=true@user.save!ende

  4. ruby-on-rails - 使用 rails 4 设计而不更新用户 - 2

    我将应用程序升级到Rails4,一切正常。我可以登录并转到我的编辑页面。也更新了观点。使用标准View时,用户会更新。但是当我添加例如字段:name时,它​​不会在表单中更新。使用devise3.1.1和gem'protected_attributes'我需要在设备或数据库上运行某种更新命令吗?我也搜索过这个地方,找到了许多不同的解决方案,但没有一个会更新我的用户字段。我没有添加任何自定义字段。 最佳答案 如果您想允许额外的参数,您可以在ApplicationController中使用beforefilter,因为Rails4将参数

  5. ruby - 有人可以帮助解释类创建的 post_initialize 回调吗 (Sandi Metz) - 2

    我正在阅读SandiMetz的POODR,并且遇到了一个我不太了解的编码原则。这是代码:classBicycleattr_reader:size,:chain,:tire_sizedefinitialize(args={})@size=args[:size]||1@chain=args[:chain]||2@tire_size=args[:tire_size]||3post_initialize(args)endendclassMountainBike此代码将为其各自的属性输出1,2,3,4,5。我不明白的是查找方法。当一辆山地自行车被实例化时,因为它没有自己的initialize方法

  6. ruby - 是否有用于序列化和反序列化各种格式的对象层次结构的模式? - 2

    给定一个复杂的对象层次结构,幸运的是它不包含循环引用,我如何实现支持各种格式的序列化?我不是来讨论实际实现的。相反,我正在寻找可能会派上用场的设计模式提示。更准确地说:我正在使用Ruby,我想解析XML和JSON数据以构建复杂的对象层次结构。此外,应该可以将该层次结构序列化为JSON、XML和可能的HTML。我可以为此使用Builder模式吗?在任何提到的情况下,我都有某种结构化数据-无论是在内存中还是文本中-我想用它来构建其他东西。我认为将序列化逻辑与实际业务逻辑分开会很好,这样我以后就可以轻松支持多种XML格式。 最佳答案 我最

  7. LC滤波器设计学习笔记(一)滤波电路入门 - 2

    目录前言滤波电路科普主要分类实际情况单位的概念常用评价参数函数型滤波器简单分析滤波电路构成低通滤波器RC低通滤波器RL低通滤波器高通滤波器RC高通滤波器RL高通滤波器部分摘自《LC滤波器设计与制作》,侵权删。前言最近需要学习放大电路和滤波电路,但是由于只在之前做音乐频谱分析仪的时候简单了解过一点点运放,所以也是相当从零开始学习了。滤波电路科普主要分类滤波器:主要是从不同频率的成分中提取出特定频率的信号。有源滤波器:由RC元件与运算放大器组成的滤波器。可滤除某一次或多次谐波,最普通易于采用的无源滤波器结构是将电感与电容串联,可对主要次谐波(3、5、7)构成低阻抗旁路。无源滤波器:无源滤波器,又称

  8. 计算机毕业设计ssm+vue基本微信小程序的小学生兴趣延时班预约小程序 - 2

    项目介绍随着我国经济迅速发展,人们对手机的需求越来越大,各种手机软件也都在被广泛应用,但是对于手机进行数据信息管理,对于手机的各种软件也是备受用户的喜爱小学生兴趣延时班预约小程序的设计与开发被用户普遍使用,为方便用户能够可以随时进行小学生兴趣延时班预约小程序的设计与开发的数据信息管理,特开发了小程序的设计与开发的管理系统。小学生兴趣延时班预约小程序的设计与开发的开发利用现有的成熟技术参考,以源代码为模板,分析功能调整与小学生兴趣延时班预约小程序的设计与开发的实际需求相结合,讨论了小学生兴趣延时班预约小程序的设计与开发的使用。开发环境开发说明:前端使用微信微信小程序开发工具:后端使用ssm:VU

  9. ruby-on-rails - environment.rb 中设置的常量在开发模式中消失 - 2

    了解Rails缓存如何工作的人可以真正帮助我。这是嵌套在Rails::Initializer.runblock中的代码:config.after_initializedoSomeClass.const_set'SOME_CONST','SOME_VAL'end现在,如果我运行script/server并发出请求,一切都很好。然而,在我的Rails应用程序的第二个请求中,一切都因单元化常量错误而变得糟糕。在生产模式下,我可以成功发出第二个请求,这意味着常量仍然存在。我已通过将以上内容更改为以下内容来解决问题:config.after_initializedorequire'some_cl

  10. ruby-on-rails - 设计注册确认 - 2

    我在我的项目中有一个用户和一个管理员角色。我使用Devise创建了身份验证。在我的管理员角色中,我没有任何确认。在我的用户模型中,我有以下内容:devise:database_authenticatable,:confirmable,:recoverable,:rememberable,:trackable,:validatable,:timeoutable,:registerable#Setupaccessible(orprotected)attributesforyourmodelattr_accessible:email,:username,:prename,:surname,:

随机推荐