稳扎稳打JavaScript(四)——闭包

闭包是JS语言的又一大核心,如果要从内存角度充分理解闭包的话,建议大家先预习下先前的几篇讲博客: 稳扎稳打JavaScript(一)——作用域链 稳扎稳打JavaScript(二)——图解对象内存模型 稳扎稳打JavaScript(三)——创建对象的几种方式

什么是闭包

定义

闭包是一个能够访问其他函数作用域的函数。

这句话看似拗口,如果读过先前的几篇博客,那理解起来应该不难。下面来解析一下这句话:

  • 首先,闭包是一个函数;
  • 其次,这个函数不仅能访问自己的作用域,更为关键的是它还能访问其他函数的作用域。

换句话说,如果一个函数能访问其他函数作用域中的变量,那么这个函数就叫做“闭包”。

如何创建闭包?

只要在一个函数中再定义一个函数,这个内部函数就是一个闭包。

注意:只要满足一个函数在另一个函数的内部的条件,这个内部函数就是闭包,不管这个内部函数是以怎样的形式存在于外层函数中的。下面举几个例子:

  • 形式一:
function father () {
    function son () {
    }
}
  • 形式二:
function father () {
    var object = new Object();
    object.son = function () {
    }
}
  • 形式三:
function father () {
    var object = {
        son : function(){}
    };
}

以上三种形式定义的内部函数都是闭包。

  • 形式一:在一个函数中又定义了个函数,这完全符合闭包的定义,不用多说。
  • 形式二:在一个函数中先创建了一个对象,然后在对象内部定义了函数,这也是闭包。
  • 形式三:本质上和形式二一样,也是先在函数内部定义了一个对象,再在对象内部定义了个闭包。只不过定义对象的方式和形式二有所区别。

闭包有何用?

前面闭包的定义中说“闭包能访问其他函数作用域中的变量”。“其他函数”指的是闭包所在的外层函数。 也就是说,闭包能访问它所在外层函数全部变量,即使外层函数已经执行结束。 闭包的这种特性有助于我们在JavaScript这门非面向对象的语言中实现面向对象的一些特性。这个后面会详细介绍。

闭包的原理

闭包的原理涉及到作用域链的内存模型,这里带大家回顾下作用域链,更为详细的内容请看:稳扎稳打JavaScript(一)——作用域链

以下列代码为例:

function father () {
    var name = "爸爸";
    var company = "Google";
    function son () {
        var name = "儿子";
        var school = "启东中学";
        alert(name);
        alert(school);
    }
    return son;
}

这段代码在window作用域中定义了函数father; father中有两个局部变量:name、company; father中定义了一个闭包; 闭包中定义了两个局部变量:name、school。

  • 当JS初始化完成后: 内存中出现与全局环境相关的四个东西:
    1. 全局环境的变量对象(用于存储全局环境的变量,比如:father函数)
    2. 全局环境的作用域 和 作用域链(作用域链是一个链表,由多个作用域构成,全局环境的作用域链中只有一个全局环境的作用域,它指向全局环境的变量对象)
    3. 全局环境的执行环境 和 执行环境栈(执行环境栈里面存放着一个个执行环境,栈顶的那个表示正在执行的环境。执行环境中有一个指针指向它的作用域链)
    4. father函数的作用域链(此时father函数的作用域链中只包含全局环境的作用域,并没有father函数自己的作用域) 注意:每个函数自己的作用域是在函数执行时才创建的,而函数的作用域链则是在函数所在的环境被执行是创建的。当函数被执行时,它自己的作用域才会被添加到已经创建的作用域链的头部。
  • 当执行father函数时: JS引擎也会为它创建上述四样东西:
    1. 一个属于它的变量对象(里面存着name、company、son)
    2. 一个属于它的作用域链 此时,这个作用域链中包含两个作用域,分别是:全局作用域 和 father函数的作用域,他们分别指向各自的变量对象;
    3. 一个属于他的执行环境,并将执行环境压入执行环境栈的栈顶;
    4. son函数的作用域链(其中包含father和全局环境的作用域) 此时,内存图如下:
  • 当father函数执行结束: 当函数执行结束后,它的执行环境 和 作用域链 将会被销毁,而它的变量对象就取决于是否有引用指向它。 由于son函数的作用域链指向了father的变量对象,因此它仍然驻留在内存中。
  • 当执行son函数时: 同样的,JS引擎也会为son函数依次创建这些东西,并将新建的son函数作用域压入作用域链的头部,此时内存图如下:
  • 当执行alert(company)时: JS引擎会沿着son函数的作用域链依次查找变量对象中的值。 查找首先从son变量对象中开始,若该变量对象中没有,则沿着作用域链继续查找father变量对象,一旦找到,就停止。 因此,若查找name,首先就在son变量对象中找到,查找停止,因为无法访问到father中的name,除非在son函数中是否delete name将son中的name删除。

闭包的原理总结

综上所述,闭包之所以能访问其外层函数作用域中的变量,是因为闭包的作用域链中存在外层函数的变量对象。即使外层函数之行结束,但由于其变量对象仍然被内层函数的作用域引用,因此不会被内存回收,直到闭包执行结束后,外层函数的变量对象才会被回收。

闭包的特点

闭包访问外层函数变量的特点

若闭包在外层函数执行结束后执行,那么它只能获取到外层函数中所有变量的最终状态。

  • 例1:
function father(){
    var array = [];
    for (var i=0; i<10; i++) {
        array[i] = function(){
            return i;
        }
    }
    return array;
}

father函数执行后会返回一个包含闭包的数组,每个闭包都会返回i。 由于这里的闭包调用时,外层函数早就执行结束了,外层函数变量对象中i值已经变成了9,此时不管执行array中的哪个闭包,返回的结果都是9。 但是,如果在闭包外层函数执行过程中立即执行闭包,那么结果就不一样了,请看例2.

  • 例2:
function father(){
    var array = [];
    for (var i=0; i<10; i++) {
        array[i] = (function(){
            return i;
        })();
    }
    return array;
}

此时的闭包在外层函数执行时就立即执行,在那个时刻,闭包中i的值就是外层函数当前i的值,因此返回的array中存储的将是0-9. 但是,例子1中array存放的明明是闭包,而这里的array存放的却是闭包执行的结果,那么若仍想让array存储闭包,我们还需要稍稍改造,请看例3。

  • 例3:
function father(){
    var array = [];
    for (var i=0; i<10; i++) {
        array[i] = (function(){
            var curI = i;
            return function(){
                return curI;
            }
        })();
    }
    return array;
}

我们让立即执行的闭包再返回一个闭包,并且将for循环中的i值赋给立即执行函数的局部变量,此时array中存储的将是闭包,并且每个闭包都拥有正确的值。

闭包中的this指向window

闭包的内存问题

闭包占用内存比普通函数大

因为如果一个函数内部有闭包存在,那么函数之行结束后不会释放自己的变量对象,只有当闭包执行结束后才会释放,因此闭包将会占用更大的内存空间,用于存储外层函数的变量兑现。 因此,能避免的情况下就不要使用闭包。

闭包中涉及DOM对象可能会出现内存泄漏

我们知道,JavaScript由ECMAScript、BOM、DOM组成,在某些浏览器中他们使用不同的语言实现,因此他们具有不同的垃圾回收机制。 ECMAScript对象采用标记清除算法回收内存,而某些浏览器的DOM对象采用引用计数算法回收内存。引用计数有个致命的缺点——无法回收循环引用的对象。 举个例子:如果一个DOM对象A中的属性a指向另一个DOM对象B,而B中有属性b指向对象A,那么这两个对象存在循环引用,垃圾回收机制就无法回收他们,这就造成了内存泄漏。 退一步将,只要循环引用的两个对象中存在一个DOM对象,就会导致内存泄漏,请看下面的例子:

function func () {
    var dom = document.getElementById("xx");
    dom.onclick = function(){
        alert(dom.id);
    }
}

这段代码获取了一个DOM对象,并且让这个对象的onclick属性指向了一个JS函数对象;而这个函数对象又指向了DOM对象的id属性,从而出现了循环引用,即使func函数执行完成,这个函数中定义的。由于这两个对象中存在一个DOM对象,因此就会出现内存泄漏。

如何避免?

要解决内存泄漏,我们只要破坏两个对象的相互引用即可。 上述代码要为dom添加一个点击事件,因此dom.onclick属性必须要指向一个JS函数对象,因此这个引用不能切断。 而第二个引用是由JS函数对象指向DOM对象的,目的是为了获取dom的id,我们可以通过如下代码切断这个引用:

function func () {
    var dom = document.getElementById("xx");
    var id = dom.id;
    dom.onclick = function(){
        alert(id);
    }
}

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏积累沉淀

JavaScript对象和数组

学习要点: 1.Object类型 2.Array类型 3.对象中的方法 什么是对象,其实就是一种类型,即引用类型。而对象的值就是引用类型的实例。 一...

1805
来自专栏lhyt前端之路

js的this、call、apply、bind、继承、原型链0.前言1.this2.call、apply、bind3.从call到继承

这些都是js基础进阶的必备了,有时候可能一下子想不起来是什么,时不时就回头看看基础,增强硬实力。

431
来自专栏小筱月

javascript sort 函数用法

简单的说,sort() 在没有参数时,返回的结果是按升序来排列的。即字符串的Unicode码位点(code point)排序

823
来自专栏『不羁阁』行走的少年专栏

OC知识--成员变量(属性,实例变量)的相关知识

1365
来自专栏程序员互动联盟

【python基础】python自定义函数五种用法

Python自定义函数是以def开头,空一格之后是这个自定义函数的名称,名称后面是一对括号,括号里放置形参列表,结束括号后面一定要有冒号“:”,函数的执行体程序...

2724
来自专栏轮子工厂

2. C语言 -- printf 的花式操作

(。・∀・)ノ゙嗨!大家好,我是呆博~很开心可以在这里给接着大家分享我的 C 语言学习笔记~因为微信对于代码块的支持并不是很好,所以代码部分以截图形式呈现,如果...

1167
来自专栏Python小屋

Python中的数组类型

Python没有提供内置的数组类型,但是通过标准库array提供了array类支持数组的创建与使用,可以创建的数组类型包括整数、实数、Unicode字符等等,可...

3154
来自专栏java学习

面试题10(赋值运算符选择题)

下面代码运行后输出哪个值? public static void main ( String[ ] args ){ int x = 10; int y ...

2967
来自专栏Java Edge

青铜到王者 ,快速提升你 Go语言的段位! "狗"语言实战(二)- 基础语法1 变量定义

1204
来自专栏用户3030674的专栏

java OJ题目判断输入结束(与C语言的EOF结束等价)

/* * java 作Oj题目是会有输入若干数据的情况,不好判断输入结束符, * 类似于C语言中的EOF符号 * 在这里提供了一种方法 * */

892

扫码关注云+社区