关于闭包你该了解这些

2,429 阅读7分钟

JS学习中无处不在的闭包

本文已参与「新人创作礼」活动,一起开启掘金创作之路。

在前端学习的过程中,我们难免会遇到许许多多的问题,那么今天我们来以一个初学者的角度来谈谈两个问题:

什么是闭包?

闭包有哪些作用?

其实我们在学习javascript的时候闭包无处不在,你只需要能够识别并接受它。闭包并不是一个需要学习的新的语法或者模式才能使用的工具,闭包是基于词法作用域书写代码时所产生的自然结果。我们几乎不用在编写代码时刻意去创建闭包。

相信此时已经有不少小伙伴心里在嘀咕,这词法作用域有是个啥,不用慌,且听我缓缓道来,简而言之,词法作用域就是定义在词法阶段的作用域。换句话说,词法作用域是由你在写代码时将变量和块级作用域写在哪里决定的,因此当词法分析处理器处理代码时会保持作用域不变(大部分情况是这样的)。

先来个🌰

function test(){
   var arr = []
   for(var i=0;i<10;i++){
       arr[i]=function(){
           console.log(i);
       }
   }
   return arr
}

var myArr = test()
// myArr[0]()
// myArr[1]()
// ...

for(var j = 0; j < 10; j++){ 
   myArr[j]()
}
//为了避免繁琐此处使用了第二个循环来调用test函数里第一个循环里函数的打印出十个结果

我们先来分析一下这段代码: 当这段代码执行时,按照常理分析应该是依次打印出0~9,十个数字;但是for循环运行时不需要时间(以微秒计算忽略不计),当函数test,return arr时,arr[]里面是10个function(){console.log(i);},此时数组里的函数没有执行,当var myArr = test()调用test函数时,由于for循环执行的时间忽略不计,所以此时i已经是10,所以打印出的是10个10。 相信此时就会有人问,这与我们要讲的闭包又有什么关系呢,那如果我们把这段代码稍微修改一下,改变成一个累加器,要如何实现他呢?

相信此时会有大佬表示那还不简单吗?
把var定义改成let定义,使得第一个for循环成为一个块级作用域,那么就可以变成累加器了。当然是没有问题的,
但是我们今天讲的是在ES5的时候如何实现累加器。那我们再看看下面这段代码:

function test(){
    var arr = []
    for(var i=0;i<10;i++){
        (function(j){
            arr[j]=function(){
                console.log(j);
            }
        })(i)
    }
    return arr
}

var myArr = test()

for(var j = 0; j < 10; j++){ 
    myArr[j]()
}

细心地朋友肯定会发现,这不就是把在循环里面的函数体改成一个自执行函数嘛,但是此时输出的结果就是 从0~9依次输出十个数字,而这里面就包含了闭包,当我们开始执行这段代码的时候第二个for循环会调用十次,当每个自执行函数执行时会创建一个自执行函数的AO对象,这个自执行函数的AO对象里就存在一个属性名为j,照常理而言自执行函数执行完毕之后,它的AO对象就应该被销毁了,但是当myarr[j] ()执行时,现在作用域链顶端的arr[j]的AO对象里找属性名j,但是没有找到,顺着作用域链往下找,在自执行函数的AO对象里找到了,所以当自执行函数结束时,它的AO对象并不会被垃圾回收机制回收,否则当myarr[j] ()执行时就会报错,此时就形成了闭包。

当一个函数被保存到了外部,将会产生闭包

我们再来举个🌰

function a(){
    function b(){
        var bbb = 234
        console.log(aaa);
    }
    var aaa = 123
    return b // b出生在a里面,但是被保存出去了
}

var glob = 100
var demo = a()
demo()

这段代码我们先用预编译来分析,首先是定义一个全局的GO对象,在找全局的声明找全局变量声明,将将变量声明作为 GO 的属性名,值为undefined,在全局找函数声明,将函数名作为 GO 对象的属性名,值赋予函数体。此时应该为GO{ glob: undefined--->100 ; demo: undefined ; a: fa(){} }; 再对函数a创建一个AO{ aaa:undefined--->123;b: fb(){} },最后再对函数a里面的函数b进行预编译创建一个b的AO{ b: undefined--->234};此时作用域链的顺序为1. 函数b的AO对象;2. 函数a的AO对象;3. 全局GO对象。当我们打印函数b里面的aaa时,先从作用域链的顶端开始找,在函数b的AO对象里没有aaa,那就会顺着作用域链往下找,找到第二层函数a的AO对象是找到了aaa的值为123,输出结果。 如果我们没有从预编译的角度去分析就会认为此时的aaa应该会报错的,当var demo = a()执行时,当a函数执行结束,那么a对应的AO对象应该被销毁了,照常理分析当我们执行demo时作用域链此时应该会创建b的AO对象和GO对象,此时只有b的AO对象,没有a的AO对象,应该不能打印出aaa的值,但是此时aaa的值为123,则说明a的AO对象没有被销毁,那么为什么呢?原因就在于这里创建了闭包,当var demo = a()执行结束之后,垃圾回收机制会来问,a函数老兄,我看你都执行完毕了,你的运行内存是不是可以给我释放了,但是此时a函数只能无奈摇摇头说道,老哥,我也不确定我有没有执行完毕,我执行完创建了一个b,但是b又不归我管,所以我也不确定b有没有被调用,所以我也不确定我有没有执行完毕,垃圾回收机制想了想,既然你都不知道那我就不回收了,要是回收了还没执行完的就该报错了,所以此时a的AO对象就没有被回收。

补充全面一点就是:当一个函数内部的函数被保存到函数外部时,就会产生闭包。

相信通过这两个🌰,你已经对闭包有了一个大概的了解,那接下来我们说一下闭包有哪些作用。

闭包的作用

  1. 实现公有变量 例如:累加器(3.js)
  2. 做缓存
  3. 可以实现封装,属性私有化
  4. 模块化开发,防止污染全局变量
我们对闭包的作用也来一个🌰(3.js)

 var count = 0
 function add() {
   return count++
 }
 console.log(add());
 console.log(add());
 console.log(add());
 
 这是一段比较普通的累加的代码,但是如果我们在实习甚至是工作的时,公司要求你把累加器封装成一个模块化的代码,那么
 此时,为了模块化我们尽可能避免定义全局变量,但是不定义全局变量我们如何实现呢,此时我们就可以用到闭包了;

function add() {
    var count = 0
    function a() {
      ++count
      console.log(count);
    }
    return a
  }
  var res = add()
  res()
  res()
  
  //add函数结束之后,add的AO对象没有被销毁,因为add函数执行完了之后,返回的a不知道是否被调用就形成了闭包,这样
  就能使得不使用全局变量也能封装成一个模块化的累加器。

结语

那么关于闭包以及闭包的作用相关的一些个人见解就是这些,目前对于闭包也只是一些浅显的了解,后期学习之后完善过后会出后续关于闭包的相关文章,感谢您的观看,欢迎批评斧正,一起共同进步。