• nil
    2019-10-17
    记得第一次遇到闭包是在学习python得时候,方式刚觉这个玩意好牛逼。后来随着对其理解的深入,闭包完全带有面向对象的意思,外层函数通过函数参数的形式给内部函数创建运营期变量,这个运行期作用的变量和oop中的成员变量有相似的味道。通过这一讲,对闭包的实现原理有了进一步的理解,原来闭包不反人类,设计还相当巧妙😁

    作者回复: 非常好!
    遇到看似不正常的东西的时候,其实就是让认知深化的契机。

    
     4
  • 风
    2019-10-05
    怎么看起来像:
    闭包变量,就是在语义分析时,为闭包函数生成的static变量。

    作者回复: 但只对这个闭包有用。再调用一次函数,新生成一个闭包,就会再生成另一个变量。

    
     2
  • 江南逰子
    2020-01-15
    闭包的产生(以JavaScript为例):
    1. 因为JavaScript是静态作用域的,所以它内部环境中需要的变量在编译时就确定了,运行时不会改变;
    2. 因为JavaScript中,函数是一等公民,可以被调用,可以作为参数传递,可以赋值给变量,也可以作为函数返回值,所以它的运行时环境很容易变化;
    3. 当函数作为参数返回时,其外层函数中的变量已经从调用栈弹出,但是我们必须让函数可以访问到它需要的变量,因此运行时的环境和定义时的作用域之间就产生矛盾;
    4. 所以我们把内部环境中需要的变量,打包交给内层函数(闭包函数),它就可以随时访问这些变量了,就形成了闭包。
    
     1
  • Smallfly
    2019-09-22
    我今天发现 IntelliJ 全家桶支持 ANTLR 插件,可以集成在编译器里直接查看生成的 AST。

    作者回复: 那更方便了!

    
     1
  • 沉淀的梦想
    2019-09-07
    /*
                    这是针对函数可能是一等公民的情况。这个时候,函数运行时的作用域,与声明时的作用域会不一致。
                    我在这里设计了一个“receiver”的机制,意思是这个函数是被哪个变量接收了。要按照这个receiver的作用域来判断。
                     */
                    else if (frame.object instanceof FunctionObject){
                        FunctionObject functionObject = (FunctionObject)frame.object;
                        if (functionObject.receiver != null && functionObject.receiver.enclosingScope == f.scope) {
                            frame.parentFrame = f;
                            break;
                        }
                    }

    不是很理解老师的这个receiver机制,能举个例子吗?
    展开

    作者回复: 看一下closure.play示例程序:

    int a = 0;
    function int() fun1(){
        int b = 0; //函数内的局部变量
        int inner(){ //内部的一个函数
            a = a+1;
            b = b+1;
            return b; //返回内部的成员
        }
        return inner; //返回一个函数
    }
    function int() fun2 = fun1();

    这时候,fun2是个变量,这个变量就是fun1()中的inner()函数的receiver。这个时候,inner()函数的运行时坐在的作用域是fun2这个变量的。

    receiver这个机制是我创造的,不用拘泥于这种实现方式。只要能够实现闭包的原理,就都可以。

     1
     1
  • Geek_d0aef1
    2019-09-06
    想问个没有技术含量的问题,想确认下,antlr 自动生成的代码只有4个,其他都是自己手动写的?

    作者回复: 你运行antlr命令的时候,通过带不同的参数,会生成数量不等的java文件。工具生成的头上都带有注释,说明是Antlr生成的。
    在playscript-java项目中,应该是有6个。1个lexer,1个parser,2个是支持listener,2个是支持visitor的。
    其他是手动写的:-)

    
     1
  • 沉淀的梦想
    2019-09-06
    闭包如果引用的是外部函数中的局部变量,直接把这个变量从栈中复制一份到FunctionObject里面就可以了,但是如果应用了全局变量的话,感觉必须要引用全局变量本身,这样才能自己的修改体现在全局变量中。老师代码中是如何实现这个的呢?

    作者回复: 非常好,你注意到了这个细节。
    实际上,我在运行时用到了一个小技巧。首先是按照作用域查找变量,这个时候就会找到那个全局变量。在作用域里找不到的时候,再到FunctionObject中去找。所以,其实运行期里,全局变量存了两份。一份是在顶层的栈桢里,一份在FunctionObject里。只不过后者不起作用罢了。

    当存在多层函数嵌套的时候,上面的算法可以根据运行时所在的作用域,访问正确的变量。

    这个方法有些偷懒,因为毕竟FunctionObject里冗余了一份,浪费空间了。你也可以找其他机制来实现。只要支持闭包的原理就行!

    你可以参考ASTEvaluator.java中的getLValue()方法,里面有注释,说了这个思路。

     1
     1
  • 刘強
    2019-10-27
    有些东西研究的透彻以后,你就会不由自主的成为哲学家了。

    作者回复: 我这几年对复杂系统有关的理论很感兴趣,曾经在校友的一次聚会上分享了一个主题,其中的主要意思,就是从科学甚至可以推导出哲学,印证古老智慧。

    
    
  • 曾经瘦过
    2019-09-25
    个人理解: JavaScript是 静态作用域 但是JavaScript中this 是动态作用域

    作者回复: 应该说,this本来就用来指代当前作用域的。对象就是一个作用域。所以this总在变是应该的。this不需要我们在代码里去声明,它是一个内在的机制。

    动态作用域,是指我们在代码里显式声明的变量,其值不是声明时的作用域里的值,而是运行环境的作用域里的值。

     1
    
  • 大爷是个码农
    2019-09-07
    精彩。

    作者回复: :-)

    
    
  • 茶底
    2019-09-05
    老师什么时候开始讲lex和yacc啊

    作者回复: lex和yacc都没计划讲。因为这些工具都差不多。掌握原理后,用哪个应该都没问题。
    lex(或flex)比较简单,所以会用Antlr一定也会用lex。
    yacc(或bison)是LR算法的,我们讲完LR算法以后,你理解这个工具的原理应该也没啥问题。

    
    
我们在线,来聊聊吧