◼ 在前面我们说过,JavaScript是支持函数式编程的
◼ 在JavaScript中,函数是非常重要的,并且是一等公民:那么就意味着函数的使用是非常灵活的;函数可以作为另外一个函数的参数,也可以作为另外一个函数的返回值来使用;
◼ 所以JavaScript存在很多的高阶函数:自己编写高阶函数使用内置的高阶函数
◼ 目前在vue3+react开发中,也都在趋向于函数式编程:vue3 composition api: setup函数-> 代码(函数hook,定义函数);react:class-> function-> hooks◼ 这里先来看一下闭包的定义,分成两个:在计算机科学中和在JavaScript中。
◼ 在计算机科学中对闭包的定义(维基百科):
闭包(英语:Closure),又称词法闭包(Lexical Closure)或函数闭包(function closures); 是在支持头等函数的编程语言中,实现词法绑定的一种技术; 闭包在实现上是一个结构体,它存储了一个函数和一个关联的环境(相当于一个符号查找表); 闭包跟函数最大的区别在于,当捕捉闭包的时候,它的自由变量会在捕捉时被确定,这样即使脱离了捕捉时的上下文,它也能照常运行;◼ 闭包的概念出现于60年代,最早实现闭包的程序是Scheme,那么我们就可以理解为什么JavaScript中有闭包: 因为JavaScript中有大量的设计是来源于Scheme的;
◼ 我们再来看一下MDN对JavaScript闭包的解释:
一个函数和对其周围状态(lexical environment,词法环境)的引用捆绑在一起(或者说函数被引用包围),这样的组合就是闭包(closure); 也就是说,闭包让你可以在一个内层函数中访问到其外层函数的作用域; 在JavaScript 中,每当创建一个函数,闭包就会在函数创建的同时被创建出来;
◼ 那么我的理解和总结:
一个普通的函数function,如果它可以访问外层作用域的自由变量,那么这个函数和周围环境就是一个闭包;
从广义的角度来说:JavaScript中的函数都是闭包;
从狭义的角度来说:JavaScript中一个函数,如果访问了外层作用域的变量,那么它是一个闭包;
闭包的内存泄漏
function createAdder(count) {function adder(num) {return count + num}return adder}var adder5 = createAdder(5)adder5(100)adder5(55)adder5(12)var adder8 = createAdder(8)adder8(22)adder8(35)adder8(7)console.log(adder5(24))console.log(adder8(30))// 永远不会再使用adder8// 内存泄漏: 对于那些我们永远不会再使用的对象, 但是对于GC来说, 它不知道要进行释放的对应内存会依然保留着adder8 = null
◼ 那么我们为什么经常会说闭包是有内存泄露的呢?在上面的案例中,如果后续我们不再使用add8函数了,那么该函数对象应该要被销毁掉,并且其引用着的父作用域AO也应该被销毁掉;但是目前因为在全局作用域下add8变量对0xb00的函数对象有引用,而0xb00的作用域中AO(0x200)有引用,所以最终会造成这些内存都是无法被释放的;所以我们经常说的闭包会造成内存泄露,其实就是刚才的引用链中的所有对象都是无法释放的;
◼ 那么,怎么解决这个问题呢?因为当将add8设置为null时,就不再对函数对象0xb00有引用,那么对应的AO对象0x200也就不可达了;在GC的下一次检测中,它们就会被销毁掉;adder8 = null