浅入浅出闭包

在网上,关于闭包的文章众多。

MDN文档中说:

闭包是函数和声明该函数的词法环境的组合

很多文章中说:

闭包是指有权访问另一个函数作用域中的变量的函数

还有一篇文章,总结了闭包的四种定义

最后,我决定去请教我的一个经验丰富的同事。

他说:

闭包就是闭着的包子

......

我发现闭包的最大难点,就是没有一个明确的定义。

于是,我去其精华、取其糟粕,写下这篇关于闭包但完全不去定义闭包的文章。

function outter(){
    var name = '小强'
    function inner(){
        console.log(name)
    }
    return inner
}
var foo = outter()
foo()   // '小强'

上面这段代码,就是一个闭包。

无论闭包的定义是什么,这段代码基本上是通行的

首先,如果套用这个定义:

闭包是指有权访问另一个函数作用域中的变量的函数

那么,函数 inner 就是闭包,因为我们知道:

定义在函数内部的函数,是可以访问外部函数的作用域的。

简写一下:

function outter(){
    var name = '小强'
    function inner(){
        console.log(name)
    }
    inner()
}

这种结构下, inner 函数还是有权访问 outter 函数作用域中的变量的,所以这是不是闭包?

(我也不知道)

上面代码,是一种最常见的函数嵌套。

当 outter 函数执行时,会创建一个属于 outter 的执行环境及变量对象。

当 inner 函数执行时,又会创建一个 inner 的执行环境及变量对象。

它们的相同点是:

执行完毕之后,各自的执行环境及变量对象都会被销毁

尽管函数是一等公民,但是它们执行完毕后、变得“没用”,JS很快将它们“灭门”,这就是JS垃圾回收机制。

它们的联系是:

 inner 函数可以访问到 outter 函数的变量对象。

变量对象,顾名思义,就是保存该函数自身变量的一个对象。

内部函数保存所有外层函数的变量对象,形成了自己的作用域。

即 inner 函数的作用域,包括自身的变量对象、 outter 的变量对象和window的变量对象。

为什么要保存别人的变量对象?

因为对自己有用,自身没有的话就可以去用外层的。

可以说,外层函数的变量服务于内部函数。

再回到这种形式:

function outter(){
    var name = '小强'
    function inner(){
        console.log(name)
    }
    return inner
}
var foo = outter()
foo()   // '小强'

不同于普通嵌套,

这里当 outter 函数执行到最后时,将 inner 函数 return 了出去。

显然, outter 已经执行完毕了,但是它的执行环境及变量对象都被销毁了吗?

并不是。

有一个幸存者,就是**outter函数的变量对象**。

虽然 outter 函数在 return 之后,自身已经执行完毕。

但是,因为它 return 的是嵌套在自己内部的函数 inner ,并赋值给全局变量 foo ,这就导致:

  • 一方面, outter 函数执行完毕, outter 的变量对象理应被销毁

  • 另一方面, inner 函数被赋值给全局变量,随时有可能被调用,那它的作用域不应该被破坏,其中的 outter 变量对象也就不该被销毁

上面已经说过:

内部函数保存所有外层函数的变量对象,形成了自己的作用域

所以,就是因为还有用,所以 outter 函数的变量对象并没有在 outter 执行后被销毁,成为幸存者。

最终,当我执行 foo() 的时候,

尽管 outter 函数早已执行完毕,但依然可以打印出其变量 name 的值'帅哥小强'。

而我想到的,是《辛德勒名单》这部电影。

1939年,波兰在纳粹德国的统治下,党卫军对犹太人进行了隔离统治。

这时,德国商人奥斯卡·辛德勒和德军建立了良好的关系,他的工厂雇用犹太人工作,大发战争财。

犹太人遭到了德军的大屠杀,辛德勒目睹了这一切之后十分震撼。

辛德勒让自己的工厂成为集中营的附属劳役营,在那些疯狂屠杀的日子里,他的工厂也成为了犹太人的避难所。

德国战败前夕,屠杀犹太人的行动越发疯狂,辛德勒向德军军官开出了1200人的名单,倾家荡产买下了这些犹太人的生命。

这个电影很有名,如果没看过建议看一下。

同样,在我们的JS世界中:

当一个函数执行完毕,它的执行环境及变量对象也会遭到一场屠杀,即垃圾回收机制。

在这场屠杀中,辛德勒用一份自己工厂员工的名单,使自己的工厂成为集中营的附属劳役营,更成为犹太人的避难所。

而 inner 函数,也有一份自己员工的名单,那就是作用域。

这份名单上,就包含了 outter 函数的变量对象。

 inner 函数被赋值给全局变量,就好比辛德勒和德军建立了良好关系,

它的作用域就成为变量对象的避难所,

因为 outter 函数的变量对象被写在 inner 函数的员工名单(即作用域)中,所以才免遭杀害。

这就是JS版的《辛德勒名单》。

那么在这个过程中,究竟哪部分属于闭包呢?

猜你喜欢

转载自www.cnblogs.com/best-xiaoqiang/p/9486164.html