彻底理解js闭包

御弟哥哥
• 阅读 1200

在文章开头,我先放出MDN给出的定义:

闭包是指那些能够访问独立(自由)变量的函数 (变量在本地使用,但定义在一个封闭的作用域中)。换句话说,这些函数可以“记忆”它被创建时候的环境。

现在不需要看懂它,我会在第一个例子中解释清楚它的意思。让我们开始吧!

2018.3.20更新:现在MDN上的定义已经改为:"A closure is the combination of a function and the lexical environment within which that function was declared."


要理解函数闭包,就要先知道这两条特性:

  1. 函数外部的代码无法访问函数体内部的变量,而函数体内部的代码可以访问函数外部的变量。
  2. 即使函数已经执行完毕,在执行期间创建的变量也不会被销毁,因此每运行一次函数就会在内存中留下一组变量。(js当然会有垃圾回收机制,不过如果它发现你正在使用闭包,则不会清理可能会用到的变量)

使用闭包能产生类似于对象的一组变量集合,看个例子:

function outter() {
  var private= "I am private";
  function show() {
    console.log(private);
  }
  return show;
}

var ref = outter();
// console.log(private); // 尝试直接访问private会报错:private is not defined
ref(); // 打印I am private 

我们调用了一次outter函数,产生了一组变量:private和show。要不是我们在outter最后一句返回了show,这两个变量就永远没办法被访问到了(因为函数外部的代码无法访问函数体内部的变量)。但是我们现在返回了show,并且ref是show的引用,这样我们就可以在函数体外部调用show了,而show又可以访问到private。
这不就像是一个C++或JAVA中的对象吗?private就是它的私有成员,尝试从外部直接访问它就会收到报错;show就是它的公有成员,所以我们可以在外部访问到它,并且它可以访问私有成员name。使用闭包能产生类似于对象的一组变量集合。

现在我们对照着这个例子来理解闭包的定义:

闭包是指那些能够访问独立(自由)变量的函数 (变量在本地使用,但定义在一个封闭的作用域中)。换句话说,这些函数可以“记忆”它被创建时候的环境。

我初学的时候犯了一个错误,就是认为outter是闭包函数(因为我以为将整个闭包结构“包”起来的函数就是闭包函数),但其实根据定义,被返回的show才是闭包函数,也就是那个可以在外部访问“私有成员”的函数。

  • 定义中的“独立(自由)变量”其实就是我们刚才说的私有成员,它们是独立(自由)的,是因为定义它的函数已经死了(执行完毕)!
  • “变量在本地使用,但定义在一个封闭的作用域中”的意思是,自由变量可以在闭包函数中使用,但是自由变量并不是在闭包中定义的。
  • “闭包函数可以“记忆”它被创建时候的环境”的意思是,outter执行的过程产生了一组变量,这些变量就是show被声明时候的环境。show可以记住这个环境(变量private),即使show离开了outter(被return到外部),它依然记得如何访问这个环境里的变量。

让我们再看一个例子

function makeAdder(x) {
  return function(y) {
    return x + y;
  };
}

var add5 = makeAdder(5);
var add10 = makeAdder(10);

console.log(add5(2));  // 7
console.log(add10(2)); // 12 

这一次,makeAdder创建了一个闭包结构,传入的参数x就是执行期间创建的临时变量,它就相当于是私有成员(自由变量)。而公有成员是一个匿名函数,这个函数接受一个参数y,并将这个参数与闭包的私有成员x相加,返回结果。

这个例子有意思的地方在于:makeAdder调用了两次!每运行一次makeAdder就会在内存中产生一组变量(也就是一个“环境”),每一个“环境”虽然结构相同,都有私有成员x和公有成员函数,但是这两个“环境”是互不干涉的。在这个例子中,第一个环境中x=5,第二个环境中x=10。

利用闭包的特性,可以实现模块模式。用一个闭包函数包裹模块的代码,将不需要暴露的变量隐藏起来(好处是不会污染全局变量空间),将别人要调用的方法return出去,就可以实现模块化了。实际上Node.js就是这么做的


经典面试题

让我们再看一个常见的错误:在循环中创建闭包

...
<ol>
    <li>第一项</li>
    <li>第二项</li>
    <li>第三项</li>
    <li>第四项</li>
</ol>
...
window.onload = function() {  //  函数1
    var lis = document.getElementsByTagName('li');
    for (var i = 0; i < lis.length; i++) {
        lis[i].onclick = function() {  //  函数2
            alert(i);
        }
    }
} 

不管我们点击哪一个li元素,都会显示3,而不是分别显示0到3的数字。这是为什么呢?
这是因为,函数2被声明了4次没错,但它们是在同一个环境中被声明的(都是在执行函数1的环境)!因此这四个函数2“记住”的是同一个i!当我们点击li元素时,循环早已完成,i停在了3。因此,我们不管点击哪一个li元素,总是会显示3。
既然我们已经知道了错误的原因,那么修改的思路也很明确了:四个onclick函数必须有自己“声明环境”!既然要产生4个“环境”,那么就说明必须有一个函数在for循环内运行,总共运行4次,每次的环境中都有一个变量private_i,分别等于0、1、2、3。

修改后:

...
<ol>
    <li>第一项</li>
    <li>第二项</li>
    <li>第三项</li>
    <li>第四项</li>
</ol>
...
window.onload = function() {  //  函数1
    var lis = document.getElementsByTagName('li');
    for (var i = 0; i < lis.length; i++) {
        lis[i].onclick = (function(private_i) {  //  函数2
            return function() {  //  函数3
                alert(private_i);
            }
        })(i);  //  这里将i作为参数,调用函数2
    }
} 

注意赋值给onclick的并不是函数2,而是函数2的执行结果,也就是函数3。函数3内的private_i是函数2调用时所产生的,而函数2总共调用了4次,为4个函数3都分别留下了一个“环境”private_i,四个private_i分别是0、1、2、3。因此,点击4个li元素就会显示出4个不同的数字了。


不要随便在函数中创建函数

除非明确你知道你自己需要使用闭包,否则,不要在函数中创建另一个函数,这样会造成速度和性能的浪费。
看一个MDN上的例子:

function MyObject(name, message) {
  this.name = name.toString();
  this.message = message.toString();
  this.getName = function() {
    return this.name;
  };
  this.getMessage = function() {
    return this.message;
  };
}
var obj1 = new MyObject("name1", "message1");
var obj2 = new MyObject("name2", "message2"); 

每次执行MyObject,都会在内存中创建出两个函数,每次创建的getName函数都是一样的,getMessage函数也是一样,造成了不必要的浪费。

实际上,如果我们要让对象都有一样的方法,只需要在它们的prototype上定义这个方法就行了:

function MyObject(name, message) {
  this.name = name.toString();
  this.message = message.toString();
}
MyObject.prototype.getName = function() {
  return this.name;
};
MyObject.prototype.getMessage = function() {
  return this.message;
};
var obj1 = new MyObject("name1", "message1");
var obj2 = new MyObject("name2", "message2"); 

这样,函数只创建了一次,而obj1和obj2都能继承到getName和getMessage方法。

点赞
收藏
评论区
推荐文章
秃头王路飞 秃头王路飞
4个月前
webpack5手撸vue2脚手架
webpack5手撸vue相信工作个12年的小伙伴们在面试的时候多多少少怕被问到关于webpack方面的知识,本菜鸟最近闲来无事,就尝试了手撸了下vue2的脚手架,第一次发帖实在是没有经验,望海涵。languageJavaScript"name":"vuecliversion2","version":"1.0.0","desc
技术小男生 技术小男生
4个月前
linux环境jdk环境变量配置
1:编辑系统配置文件vi/etc/profile2:按字母键i进入编辑模式,在最底部添加内容:JAVAHOME/opt/jdk1.8.0152CLASSPATH.:$JAVAHOME/lib/dt.jar:$JAVAHOME/lib/tools.jarPATH$JAVAHOME/bin:$PATH3:生效配置
光头强的博客 光头强的博客
4个月前
Java面向对象试题
1、请创建一个Animal动物类,要求有方法eat()方法,方法输出一条语句“吃东西”。创建一个接口A,接口里有一个抽象方法fly()。创建一个Bird类继承Animal类并实现接口A里的方法输出一条有语句“鸟儿飞翔”,重写eat()方法输出一条语句“鸟儿吃虫”。在Test类中向上转型创建b对象,调用eat方法。然后向下转型调用eat()方
刚刚好 刚刚好
4个月前
css问题
1、在IOS中图片不显示(给图片加了圆角或者img没有父级)<div<imgsrc""/</divdiv{width:20px;height:20px;borderradius:20px;overflow:h
blmius blmius
1年前
MySQL:[Err] 1292 - Incorrect datetime value: ‘0000-00-00 00:00:00‘ for column ‘CREATE_TIME‘ at row 1
文章目录问题用navicat导入数据时,报错:原因这是因为当前的MySQL不支持datetime为0的情况。解决修改sql\mode:sql\mode:SQLMode定义了MySQL应支持的SQL语法、数据校验等,这样可以更容易地在不同的环境中使用MySQL。全局s
小森森 小森森
4个月前
校园表白墙微信小程序V1.0 SayLove -基于微信云开发-一键快速搭建,开箱即用
后续会继续更新,敬请期待2.0全新版本欢迎添加左边的微信一起探讨!项目地址:(https://www.aliyun.com/activity/daily/bestoffer?userCodesskuuw5n)\2.Bug修复更新日历2.情侣脸功能大家不要使用了,现在阿里云的接口已经要收费了(土豪请随意),\\和注意
晴空闲云 晴空闲云
4个月前
css中box-sizing解放盒子实际宽高计算
我们知道传统的盒子模型,如果增加内边距padding和边框border,那么会撑大整个盒子,造成盒子的宽度不好计算,在实务中特别不方便。boxsizing可以设置盒模型的方式,可以很好的设置固定宽高的盒模型。盒子宽高计算假如我们设置如下盒子:宽度和高度均为200px,那么这会这个盒子实际的宽高就都是200px。但是当我们设置这个盒子的边框和内间距的时候,那
艾木酱 艾木酱
3个月前
快速入门|使用MemFire Cloud构建React Native应用程序
MemFireCloud是一款提供云数据库,用户可以创建云数据库,并对数据库进行管理,还可以对数据库进行备份操作。它还提供后端即服务,用户可以在1分钟内新建一个应用,使用自动生成的API和SDK,访问云数据库、对象存储、用户认证与授权等功能,可专
密钥管理系统-为你的天翼云资产上把“锁
本文关键词:数据安全,密码机,密钥管理一、你的云上资产真的安全么?1.2021年1月,巴西的一个数据库30TB数据被破坏,泄露的数据包含有1.04亿辆汽车和约4000万家公司的详细信息,受影响的人员数量可能有2.2亿;2.2021年2月,广受欢迎的音频聊天室应用Clubhouse的用户数据被恶意黑客或间谍窃取。据悉,一位身份不明的用户能够将Clubho
helloworld_28799839 helloworld_28799839
4个月前
常用知识整理
Javascript判断对象是否为空jsObject.keys(myObject).length0经常使用的三元运算我们经常遇到处理表格列状态字段如status的时候可以用到vue
NVIDIA安培架构下MIG技术分析
关键词:NVIDIA、MIG、安培一什么是MIG2020年5月,NVIDIA发布了最新的GPU架构:安培,以及基于安培架构的最新的GPU:A100。安培提供了许多新的特性,MIG是其中一项非常重要的新特性。MIG的全名是MultiInstanceGPU。NVIDIA安培架构中的MIG模式可以在A100GPU上并行运行七个作业。多实