richardgong / playwithcompiler Goto Github PK

charAt(0) 对应的难道不是 ' 吗？

https://github.com/YouthLin/examples/tree/master/example-compiler/src/main/java/com/youthlin/example/compiler/simplescript

感谢宫老师的示例代码

playscript-java的项目跑不起来，是不是要安装别的东西？不懂java，求助

尤其是 playscript-java 项目

rtn = visitExpression(ctx.statementExpression); 是不是应该改为 rtn = visitExpression(ctx.expression());

因为赋值语句的返回结果是'='右边的表达式
statementExpression=expression

SimpleLexer::tokenize代码，解析token之后，好像没看到放到tokens中去。
//tokens = new ArrayList();

仓库中有很多无用的IDE配置文件，git clone 操作消耗的时间特别长，建议删除并清空历史记录

你好。我运行PlayScript with "-v scratch.play", 得到这个NPE(在函数调用那个例子)。
或者这个简单的例子 String script = "int b= 10; int myfunc(int a) {return a+b+3;} myfunc(2);";
Exception in thread "main" java.lang.NullPointerException
at play.TypeResolver.exitFormalParameter(TypeResolver.java:96)
at play.PlayScriptParser$FormalParameterContext.exitRule(PlayScriptParser.java:940)
at org.antlr.v4.runtime.tree.ParseTreeWalker.exitRule(ParseTreeWalker.java:47)
at org.antlr.v4.runtime.tree.ParseTreeWalker.walk(ParseTreeWalker.java:30)
at org.antlr.v4.runtime.tree.ParseTreeWalker.walk(ParseTreeWalker.java:28)
at org.antlr.v4.runtime.tree.ParseTreeWalker.walk(ParseTreeWalker.java:28)
at org.antlr.v4.runtime.tree.ParseTreeWalker.walk(ParseTreeWalker.java:28)
at org.antlr.v4.runtime.tree.ParseTreeWalker.walk(ParseTreeWalker.java:28)
at org.antlr.v4.runtime.tree.ParseTreeWalker.walk(ParseTreeWalker.java:28)
at org.antlr.v4.runtime.tree.ParseTreeWalker.walk(ParseTreeWalker.java:28)
at play.PlayScriptCompiler.compile(PlayScriptCompiler.java:38)
at play.PlayScript.main(PlayScript.java:96)

运行环境: Windows10 64bit + JDK8 + IntelliJ2019

查看了一下你的提交记录，这个NPE应该是你在提交这个的时候引入的
"delayed the TypeResolve of local variable. local variable symbols are…" on April 14th. d2b29fe

谢谢

在看《编译原理之美》过程中自己花了些时间用Gradle组织了playscript-java这个项目，还包括使用层级的结构组织代码和写了一个简单的集成测试，也许对其他人有些用处。

项目地址

吐槽一下：
虽然有优秀的IDEA支持，写一个Java非SpringBoot项目还是太浪费时间（可能IDEA的团队在开发的时候，就是实在受不了Java表达能力的捉急的才开发了Kotlin）。特别是看到ASTEvaluator里面那些处理计算的代码，我真的佩服宫老师居然能花那么多时间去搬砖（这些代码我是不管统一的编码风格，直接copy了）。

做编译前端的语言关键得有一个原生的模式匹配和函数头等成员的支持，要不然写起来太累太费时间，所以我这个项目就是支持到成功运行样例的程度，没有很强的动力去拓展别的。

根据 mul -> mul * pri | pri
这里需要递归调用multiplicative()方法，否则只能解析 2 * 3 ，而无法解析 234*5……
调整为如下可以解决问题
SimpleASTNode child2 = multiplicative(tokens);

宫老师
您好！
买了您的《编译原理之美》跟《编译原理实战》的专栏，在这两个专栏中获益匪浅。但是在看专栏学习过程当中，遇到一些问题跟困难，也看到其他同学也有相同疑惑，希望建立一个微信交流群，方便大家在学习这两个专栏时可以相互沟通交流。

根据乘法表达式的语法规则

multiplicative -> primary | primary * multiplicative
primary函数的调用，应该改成multiplicative函数的调用吧，否则无法解析2 * 3 * 4了

在学习过程中遇到了一些困难，反复看了几遍文章，把评论区也翻了几遍，也看到其他同学有相同疑惑，没有答复。

接下来不知道该如何进行下去了。心中存有疑惑，找不到合适的解惑渠道。

老师能否提供一个交流群，方便同学们在里面交流。新来的同学向学过的同学请教

环境：playscript-java与FirstClassFunction.play

问题描述：当解释执行FirstClassFunction.play文件时，该文件中的bar(foo);函数无法正确执行。

产生原因：解释执行bar(foo);时，解释器无法找到bar函数。其原因是进行闭包foo匹配时，由于foo调用多次从而导致返回参数类型个数不停的增加，从而导致函数匹配失败。

public class Function extends Scope implements FunctionType {

    ...

    @Override
    public List<Type> getParamTypes() {
        if (paramTypes == null) {
            paramTypes = new LinkedList<Type>();
        }
        //当某个函数调用多次时，paramTypes的数量会不停的增加
        for (Variable param : parameters) {
            paramTypes.add(param.type);
        }

        return paramTypes;
    }

    ...

解决方案1：进行去重操作，判断param.type是否是同一对象，如果不是，才添加到paramTypes集合中。

public class Function extends Scope implements FunctionType {

    ...

    @Override
    public List<Type> getParamTypes() {
        if (paramTypes == null) {
            paramTypes = new LinkedList<>();
        }
        for (Variable param : parameters) {
            boolean isExist = false;
            //由于函数参数注定不会很多，所以认为这里使用for循环的时间复杂度可接受
            for (Type type : paramTypes) {
                if (type == param.type) {
                    isExist = true;
                    break;
                }
            }
            if (!isExist) {
                paramTypes.add(param.type);
            }
        }
        return paramTypes;
    }

    ...
}

因为在 type resolve 阶段已经把所有的变量定义都识别出来了，然后在 ref resolve 阶段解决分号中第一个 i 的引用时会在当前作用域中寻找到，所以分号中对 i 的赋值不会影响到根作用域的变量 i。运行了一下程序确实如此。

这一行是不是应该改成Function function = (Function) at.node2Scope.get(ctx);，不然运行时会出现空指针异常