深入闭包
闭包的定义和高阶函数执行过程
在词法分析的时候闭包就已经确定了
在计算机科学中对闭包的定义(维基百科):
- 闭包(英语:Closure),又称词法闭包(Lexical Closure)或函数闭包(function closures);
- 是在支持 头等函数 的编程语言中,实现词法绑定的一种技术;
- 闭包在实现上是一个结构体,它存储了一个函数和一个关联的环境(相当于一个符号查找表);
- 闭包跟函数最大的区别在于,当捕捉闭包的时候,它的 自由变量 会在捕捉时被确定,这样即使脱离了捕捉时的上下文,它也能照常运行;
MDN对JavaScript闭包的解释:
- 一个函数和对其周围状态(lexical environment,词法环境)的引用捆绑在一起(或者说函数被引用包围),这样的组合就是闭包(closure);
- 也就是说,闭包让你可以在一个内层函数中访问到其外层函数的作用域;
- 在 JavaScript 中,每当创建一个函数,闭包就会在函数创建的同时被创建出来;
闭包:函数 + 可以访问的自由变量
var name = "why"
function demo() {
console.log (name)
} //这种也是闭包
coderwhy up主理解:
- 一个普通的函数function,如果它可以访问外层作用域的自由变量,那么这个函数就是一个闭包;
- 从广义的角度来说:JavaScript中的函数都是闭包;
- 从狭义的角度来说:JavaScript中一个函数,如果访问了外层作用域的变量,那么它是一个闭包;
闭包的内存泄露
💡- 为什么AO对象没有被销毁?
- 这个时候makeAdder函数执行完毕,正常情况下我们的AO对象会被释放;
- 但是因为在0xb00的函数中有作用域引用指向了这个AO对象,所以它不会被释放掉;
⇒ 当捕捉闭包的时候,它的 自由变量 会在捕捉时被确定,这样即使脱离了捕捉时的上下文,它也能照常运行
💡- 如何解决? 手动释放
- 将add10设置为null时,就不再对函数对象0xb00有引用,那么对应的AO对象0x200也就不可达了;
- 在GC的下一次检测中,它们就会被销毁掉;
add10 = null
💡
- AO对象不会被销毁时,是否里面的所有属性都不会被释放?
function makeAdder (count) {
let name = "why"
return function (num) {
debugger
return count + num
}
}
const add10 = makeAdder (10)
console.log(add10(5))
console.log(add10(8))
从ECMA规范来说,name属性不应该被释放
从js引擎优化来说,name属性未被使用,多占据内存空间,会被释放