从编译原理浅谈闭包

       刚学完编译原理，再来看闭包这个东西，感觉理解真的深入不少。下面讲一下闭包的一种实现方式，从三个部分解释。

      第一部分：

           当新增一个变量时，计算机会在一块内存空间内分配一个位置，并且记录下这个变量的名称与位置的对应关系。

           而这块内存空间，我们暂且称之为环境。



   第二部分：

      在执行方法时，计算机会新开辟一块内存空间，用来存放方法中的局部变量。

      下面我们来看一个javascript的例子

var money=100;
function Add(x){
return x+money;
}

     现在我们来看看计算机会干些啥
     第一步：var money=100; 这条程序会让计算机在当前环境中找个位置给money变量，这个环境我们就叫做环境1吧。
                接着是定义方法，同样在环境1中找个位置给Add方法，这个位置存储了方法的执行内容，还有定义时所在的环境，即环境1。
    


   

       第二步: 执行Add方法之前，先开辟一块内存空间（叫做环境2）。
            因为有参数x，所以在环境2中为x找个位置。
            执行内容时，需要查找变量时会先在当前环境（环境2）中找，若找不到就到外面一层环境（环境1）中找。
            因此，x在环境2中，而money在环境1中。
            最后执行结束，我们要考虑环境2会不会被销毁，这个问题下面会继续探讨，当然在这个程序中，环境2会被销毁。
      




     第三部分：

      热身完了，我们来看闭包的实现
     

function A(){
var count=0;

function B(){
count++;
console.log(count);  //显示count的值
}
}
var c=A();
c();
c();

       
       首先，定义方法A，当前环境依然假设为环境1。      
       然后就要执行方法A。       
     
     
       执行方法时要开辟一块内存空间，就叫做环境2吧。
      在环境2中定义了count变量，还有方法B。后将方法B返回，由环境1中的c接收。
      现在我们可以看到，c引用方法B，而方法B引用环境2，也就是说环境2依然被外界引用，所以即使方法A执行完了，环境2依然会被保留，count变量依然保留。
    
        
       之后调用方法B时，也就可以在环境2中访问到count变量。
      现在可以猜测第一个c() 显示1，第二个c() 显示2
       确实也是这样。
      

        简单来说，闭包就是保留了一块环境，并且可以通过方法访问到这个环境。