[翻译]让我们来写一个解释器-第九部分

图片发自App

原文链接

Let’s Build A Simple Interpreter. Part 9.

原文是一系列文章，写的非常好，欢迎阅读原文。网上有部分章节的翻译，有兴趣的可以看一看。

原文是python写的，来解析Pascal，我用Java实现了前八节的内容，四则运算解释器。第九节难度大增，而且特别有意思，虽然我都不忍心翻译，但是我还是要不自量力的翻译一下。

正文

记得上大学时(很久以前了)，我学习系统语言，我认为只有c和汇编语言是"真正的"编程语言。认为Pascal是高层的应用开发者使用的语言，他们根本不知道底层是如何运行的。

后来我回过神来了，现在基本上用python完成所有的工作，第一节中我也写了为什么用python构建Pascal的解释器和编译器的原因。

现在我认为自己是各种编程语言的狂热者(褒义)，会注意各自语言的特性，喜欢不同语言的优点。

好了，看看我们今天的学习内容:

1. 如何解析程序定义
2. 如何解析复合语句
3. 如何解析包含变量的赋值语句
4. 用符合表实现变量存储和查找
   下面用一段示例代码来介绍将要引入的xinq概念:

BEGIN
    BEGIN
        number := 2;
        a := number;
        b := 10 * a + 10 * number / 4;
        c := a - - b
    END;
    x := 11;
END.

你可能觉得从上一节到这里跳跃太大，但是我想这里带来更多的是惊喜，而不是一个计算器，希望让你感动兴奋，马上是严格的编程语言了，某种程度上的Pascal(笑)。

从这段精心设计的样本来看我们的程序定义。深入研究新的程序结构，分析语法规则，预备开始了。

图片发自App

图片发自App

1. 我解释一下什么是一个Pascal程序，一个程序包含复合语句，以点(.)结尾。如:

"BEGIN END."

首先要注意这里的定义不完整，后续会扩展这个定义。

....省略需要仔细阅读和需要基础知识的部分。

说明

翻译不妥之处，请参考原文。我会在github上补上Java的实现，也会改写Pascal的语言设计。接下来最有意思的部分该到函数了。

对于各种语言爱好者们，最好的装x利器是给他一个解释器甩过去，直接打脸。尝试做习题，进行语言改写，进行知识迁移。

这里的程序定义不是我喜欢的 因为特别难以想到，都是其他人费劲心机设计的，哈哈。当然里面有很多精妙的实现方法，包含边界，递归，结构等。

推荐文章到这里就可以了。感觉很多时候不需要翻译，最好学会英语。强烈要求阅读源码，调试代码，设计和测试。
示例:

package data;

import static org.junit.Assert.assertEquals;

import java.util.Scanner;

import org.junit.Test;

public class TestInterpreter {
    @Test
    public void testUnaryOp() throws Exception{
        Lexer lexer = new Lexer("1---2");
        Parser parser = new Parser(lexer);

        int r = new InterpreterVistor(parser).eval();
        System.out.println("UnaryOp:"+r);
        assertEquals(r, -1);
    }
    @Test
    public void testTranslate() throws Exception {
//      Lexer lexer = new Lexer("(1*(2+1))");
        Lexer lexer = new Lexer("1--+2");
        Parser parser = new Parser(lexer);
        AST node = parser.parse();
        System.out.println("--------------------------");
        System.out.println(lexer.text);
        System.out.println(node.toBackStyle());
        System.out.println(node.toLispStyle());
        System.out.println("--------------------------");
    }

    @Test
    public void testVist() throws Exception {
        Lexer lexer = new Lexer("(1*(2+1))");
        Parser parser = new Parser(lexer);

        int r = new InterpreterVistor(parser).eval();
        System.out.println(r);
        assertEquals(r, 3);

    }

    @Test
    public void test() throws Exception {
        Lexer lexer = new Lexer("(1*(2+1))");
        int r = new Interpreter(lexer).expr();
        System.out.println(r);
        assertEquals(r, 3);

    }

    @Test
    public void test1() throws Exception {
        Lexer lexer = new Lexer("1*2+1*2*1+1-1");
        int r = new Interpreter(lexer).expr();
        System.out.println(r);
        assertEquals(r, 4);

    }
    //语法错误
    @Test 
    public void testUnexcept(){
        Lexer lexer = new Lexer("1*2 1");
        Parser parser;
        try {
            parser = new Parser(lexer);
            parser.parse();
            assert(false);
        } catch (Exception e1) {
            assert(true);
        }

    }
    public static void main(String[] args) {
        @SuppressWarnings("resource")
        Scanner sc = new Scanner(System.in);

        while (true) {
            System.out.println("输入表达式,如：1+2");
            try {

                String text = sc.next();

                Lexer lexer = new Lexer(text);
                Interpreter interpreter = new Interpreter(lexer);
                int result = interpreter.expr();
                print(result);
            } catch (Exception e) {
                e.printStackTrace();
            }

        }

    }

    private static void print(int r) {
        System.out.println(r);

    }
}