一、解釋器模式的定義與特點
解釋器(Interpreter)模式的定義:給分析對象定義一個語言,並定義該語言的文法表示,再設計一個解析器來解釋語言中的句子。也就是說,用編譯語言的方式來分析應用中的實例。這種模式實現了文法表達式處理的接口,該接口解釋一個特定的上下文。
這里提到的文法和句子的概念同編譯原理中的描述相同,“文法”指語言的語法規則,而“句子”是語言集中的元素。例如,漢語中的句子有很多,“我是中國人”是其中的一個句子,可以用一棵語法樹來直觀地描述語言中的句子。
二、解釋器模式優缺點
解釋器模式是一種類行為型模式,其主要優點如下。
- 擴展性好。由於在解釋器模式中使用類來表示語言的文法規則,因此可以通過繼承等機制來改變或擴展文法。
- 容易實現。在語法樹中的每個表達式節點類都是相似的,所以實現其文法較為容易。
解釋器模式的主要缺點如下。
- 執行效率較低。解釋器模式中通常使用大量的循環和遞歸調用,當要解釋的句子較復雜時,其運行速度很慢,且代碼的調試過程也比較麻煩。
- 會引起類膨脹。解釋器模式中的每條規則至少需要定義一個類,當包含的文法規則很多時,類的個數將急劇增加,導致系統難以管理與維護。
- 可應用的場景比較少。在軟件開發中,需要定義語言文法的應用實例非常少,所以這種模式很少被使用到。
三、解釋器模式的實現
解釋器模式常用於對簡單語言的編譯或分析實例中,為了掌握好它的結構與實現,必須先了解編譯原理中的“文法、句子、語法樹”等相關概念。
1、文法
文法是用於描述語言的語法結構的形式規則。沒有規矩不成方圓,例如,有些人認為完美愛情的准則是“相互吸引、感情專一、任何一方都沒有戀愛經歷”,雖然最后一條准則較苛刻,但任何事情都要有規則,語言也一樣,不管它是機器語言還是自然語言,都有它自己的文法規則。例如,中文中的“句子”的文法如下。
〈句子〉::=〈主語〉〈謂語〉〈賓語〉 〈主語〉::=〈代詞〉|〈名詞〉 〈謂語〉::=〈動詞〉 〈賓語〉::=〈代詞〉|〈名詞〉 〈代詞〉你|我|他 〈名詞〉7大學生I筱霞I英語 〈動詞〉::=是|學習
注:這里的符號“::=”表示“定義為”的意思,用“〈”和“〉”括住的是非終結符,沒有括住的是終結符。
2、句子
句子是語言的基本單位,是語言集中的一個元素,它由終結符構成,能由“文法”推導出。例如,上述文法可以推出“我是大學生”,所以它是句子。
3、語法樹
語法樹是句子結構的一種樹型表示,它代表了句子的推導結果,它有利於理解句子語法結構的層次。“我是大學生”的語法樹如圖所示:
有了以上基礎知識,現在來介紹解釋器模式的結構就簡單了。解釋器模式的結構與組合模式相似,不過其包含的組成元素比組合模式多,而且組合模式是對象結構型模式,而解釋器模式是類行為型模式。
解釋器模式包含以下主要角色。
- 抽象表達式(Abstract Expression)角色:定義解釋器的接口,約定解釋器的解釋操作,主要包含解釋方法 interpret()。
- 終結符表達式(Terminal Expression)角色:是抽象表達式的子類,用來實現文法中與終結符相關的操作,文法中的每一個終結符都有一個具體終結表達式與之相對應。
- 非終結符表達式(Nonterminal Expression)角色:也是抽象表達式的子類,用來實現文法中與非終結符相關的操作,文法中的每條規則都對應於一個非終結符表達式。
- 環境(Context)角色:通常包含各個解釋器需要的數據或是公共的功能,一般用來傳遞被所有解釋器共享的數據,后面的解釋器可以從這里獲取這些值。
- 客戶端(Client):主要任務是將需要分析的句子或表達式轉換成使用解釋器對象描述的抽象語法樹,然后調用解釋器的解釋方法,當然也可以通過環境角色間接訪問解釋器的解釋方法。
解釋器模式的結構圖如圖所示:
代碼結構如下:
//抽象表達式類 interface AbstractExpression { public Object interpret(String info); //解釋方法 } //終結符表達式類 class TerminalExpression implements AbstractExpression { public Object interpret(String info) { //對終結符表達式的處理 } } //非終結符表達式類 class NonterminalExpression implements AbstractExpression { private AbstractExpression exp1; private AbstractExpression exp2; public Object interpret(String info) { //非對終結符表達式的處理 } } //環境類 class Context { private AbstractExpression exp; public Context() { //數據初始化 } public void operation(String info) { //調用相關表達式類的解釋方法 } }
四、模式的應用實例
我們用解釋器模式設計一個“韶粵通”公交車卡的讀卡器程序:假如“韶粵通”公交車讀卡器可以判斷乘客的身份,如果是“韶關”或者“廣州”的“老人” “婦女”“兒童”就可以免費乘車,其他人員乘車一次扣 2 元。
分析:本實例用“解釋器模式”設計比較適合,首先設計其文法規則如下:
<expression> ::= <city>的<person>
<city> ::= 韶關|廣州
<person> ::= 老人|婦女|兒童
然后,根據文法規則按以下步驟設計公交車卡的讀卡器程序的類圖:
- 定義一個抽象表達式(Expression)接口,它包含了解釋方法 interpret(String info)。
- 定義一個終結符表達式(Terminal Expression)類,它用集合(Set)類來保存滿足條件的城市或人,並實現抽象表達式接口中的解釋方法 interpret(Stringinfo),用來判斷被分析的字符串是否是集合中的終結符。
- 定義一個非終結符表達式(AndExpressicm)類,它也是抽象表達式的子類,它包含滿足條件的城市的終結符表達式對象和滿足條件的人員的終結符表達式對象,並實現 interpret(String info) 方法,用來判斷被分析的字符串是否是滿足條件的城市中的滿足條件的人員。
- 最后,定義一個環境(Context)類,它包含解釋器需要的數據,完成對終結符表達式的初始化,並定義一個方法 freeRide(String info) 調用表達式對象的解釋方法來對被分析的字符串進行解釋。其結構圖如圖所示:
代碼實現如下:
/*文法規則 <expression> ::= <city>的<person> <city> ::= 韶關|廣州 <person> ::= 老人|婦女|兒童 */ public class InterpreterPatternDemo { public static void main(String[] args) { Context bus=new Context(); bus.freeRide("韶關的老人"); bus.freeRide("韶關的年輕人"); bus.freeRide("廣州的婦女"); bus.freeRide("廣州的兒童"); bus.freeRide("山東的兒童"); } } //抽象表達式類 interface Expression { public boolean interpret(String info); } //終結符表達式類 class TerminalExpression implements Expression { private Set<String> set= new HashSet<String>(); public TerminalExpression(String[] data) { for(int i=0;i<data.length;i++)set.add(data[i]); } public boolean interpret(String info) { if(set.contains(info)) { return true; } return false; } } //非終結符表達式類 class AndExpression implements Expression { private Expression city=null; private Expression person=null; public AndExpression(Expression city,Expression person) { this.city=city; this.person=person; } public boolean interpret(String info) { String s[]=info.split("的"); return city.interpret(s[0])&&person.interpret(s[1]); } } //環境類 class Context { private String[] citys={"韶關","廣州"}; private String[] persons={"老人","婦女","兒童"}; private Expression cityPerson; public Context() { Expression city=new TerminalExpression(citys); Expression person=new TerminalExpression(persons); cityPerson=new AndExpression(city,person); } public void freeRide(String info) { boolean ok=cityPerson.interpret(info); if(ok) System.out.println("您是"+info+",您本次乘車免費!"); else System.out.println(info+",您不是免費人員,本次乘車扣費2元!"); } }
運行結果如下:
您是韶關的老人,您本次乘車免費!
韶關的年輕人,您不是免費人員,本次乘車扣費2元!
您是廣州的婦女,您本次乘車免費!
您是廣州的兒童,您本次乘車免費!
山東的兒童,您不是免費人員,本次乘車扣費2元!
五、解釋器模式的應用場景
前面介紹了解釋器模式的結構與特點,下面分析它的應用場景。
- 當語言的文法較為簡單,且執行效率不是關鍵問題時。
- 當問題重復出現,且可以用一種簡單的語言來進行表達時。
- 當一個語言需要解釋執行,並且語言中的句子可以表示為一個抽象語法樹的時候,如 XML 文檔解釋。
注意:解釋器模式在實際的軟件開發中使用比較少,因為它會引起效率、性能以及維護等問題。如果碰到對表達式的解釋,在Java中可以用 Expression4J 或 Jep 等來設計。
六、解釋器模式的擴展
在項目開發中,如果要對數據表達式進行分析與計算,無須再用解釋器模式進行設計了,Java 提供了以下強大的數學公式解析器:Expression4J、MESP(Math Expression String Parser) 和 Jep 等,它們可以解釋一些復雜的文法,功能強大,使用簡單。
現在以 Jep 為例來介紹該工具包的使用方法。Jep 是 Java expression parser 的簡稱,即 Java 表達式分析器,它是一個用來轉換和計算數學表達式的 Java 庫。通過這個程序庫,用戶可以以字符串的形式輸入一個任意的公式,然后快速地計算出其結果。而且 Jep 支持用戶自定義變量、常量和函數,它包括許多常用的數學函數和常量。
使用前先下載 Jep 壓縮包,解壓后,將 jep-x.x.x.jar 文件移到選擇的目錄中,在 Eclipse 的“Java 構建路徑”對話框的“庫”選項卡中選擇“添加外部 JAR(X)...”,將該 Jep 包添加項目中后即可使用其中的類庫。
下面以計算存款利息為例來介紹。存款利息的計算公式是:本金x利率x時間=利息,其相關代碼如下:
public class JepDemo { public static void main(String[] args) throws JepException { Jep jep=new Jep(); //定義要計算的數據表達式 String 存款利息="本金*利率*時間"; //給相關變量賦值 jep.addVariable("本金",10000); jep.addVariable("利率",0.038); jep.addVariable("時間",2); jep.parse(存款利息); //解析表達式 Object accrual=jep.evaluate(); //計算 System.out.println("存款利息:"+accrual); } }
執行結果如下:
存款利息:760.0