深入闭包

57 阅读2分钟

深入闭包

闭包的定义和高阶函数执行过程

在词法分析的时候闭包就已经确定了

在计算机科学中对闭包的定义(维基百科):

  • 闭包(英语:Closure),又称词法闭包(Lexical Closure)或函数闭包(function closures);
  • 是在支持 头等函数 的编程语言中,实现词法绑定的一种技术;
  • 闭包在实现上是一个结构体,它存储了一个函数和一个关联的环境(相当于一个符号查找表);
  • 闭包跟函数最大的区别在于,当捕捉闭包的时候,它的 自由变量 会在捕捉时被确定,这样即使脱离了捕捉时的上下文,它也能照常运行;

MDN对JavaScript闭包的解释:

  • 一个函数和对其周围状态(lexical environment,词法环境)的引用捆绑在一起(或者说函数被引用包围),这样的组合就是闭包closure);
  • 也就是说,闭包让你可以在一个内层函数中访问到其外层函数的作用域;
  • 在 JavaScript 中,每当创建一个函数,闭包就会在函数创建的同时被创建出来;

image.png

image.png

image.png

闭包:函数 + 可以访问的自由变量

var name = "why"
function demo() {
	console.log (name)
}  //这种也是闭包

coderwhy up主理解:

  • 一个普通的函数function,如果它可以访问外层作用域的自由变量,那么这个函数就是一个闭包;
  • 从广义的角度来说:JavaScript中的函数都是闭包;
  • 从狭义的角度来说:JavaScript中一个函数,如果访问了外层作用域的变量,那么它是一个闭包;

闭包的内存泄露

💡
  1. 为什么AO对象没有被销毁?

image.png

image.png

image.png

  • 这个时候makeAdder函数执行完毕,正常情况下我们的AO对象会被释放;
  • 但是因为在0xb00的函数中有作用域引用指向了这个AO对象,所以它不会被释放掉;

⇒ 当捕捉闭包的时候,它的 自由变量 会在捕捉时被确定,这样即使脱离了捕捉时的上下文,它也能照常运行

💡
  1. 如何解决? 手动释放
  • 将add10设置为null时,就不再对函数对象0xb00有引用,那么对应的AO对象0x200也就不可达了;
  • 在GC的下一次检测中,它们就会被销毁掉;
add10 = null
💡
  1. 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))

image.png

从ECMA规范来说,name属性不应该被释放

从js引擎优化来说,name属性未被使用,多占据内存空间,会被释放