一道面试题引发的“血案”

看到这样的一个面试题

for(let i = (setTimeout(()=>console.log(i), 2333) , 0); i < 2; i++) {
  
}
复制代码

大家猜猜2333毫秒后输出的结果是什么？这里就是“血案”现场了

A类同学：2 ×

B类同学: 0 √

我想A类同学占了大多数，包括我在内

前期知识点

异步

js中的异步包含以下几种：

1、定时器

2、事件处理函数

3、Promise

4、回调函数

js异步的存在是因为，js是单线程的，如果一些任务需要处理时间比较耗时，那么下面的任务就会一直等这个任务执行完成才能继续，比如一些IO任务，这样就会导致执行效率低效，所以js的设计者意识到了这点，设计了异步执行任务，主线程不必等待异步任务完成才执行下去，这样我们就可以把一些耗时的任务设计成异步任务，将其挂起，让主线程处理完一些比较重要的任务（ui渲染等）后回头再来执行挂起的异步任务。

作用域链

js存在两种类型的作用域，全局作用域和函数作用域。js执行的时候，会创建一个执行上下文（context），并将该执行上下文中的所有变量放入一个对象中[[scope]]，该对象也叫作用域链，它不仅保存了函数执行时的上下文的所有变量（活动对象），还包含了创建该函数的作用域中的所有变量。通俗点来讲，作用域链就是js在执行的时候用于搜索变量所在的一条链子，所有变量的获取变量会顺着这条链子往上查找，在本作用域内找不到变量的申明，就会往上一级的作用域中查找，直到在全局作用域中还找不到，就找不到该变量了。看下面的例子。

var outer = 1;
function func1() {
    var inner1 = 2;
    function func2() {
        var inner2 = 3
        console.log(inner2, inner1, outer); // 3 2 1
    }
    func2()
}

func1();

复制代码

1、首先获取inner2，在func2的作用域中(活动对象)找到了inner2的申明，找到了，并且是3；

2、接着获取inner1，发现func2的作用域中没有inner1的申明，那么往创建func2的作用域中查找，即func1中查找inner1的申明，并且为2；

3、接着获取outer，在func2中的作用域中找不到，往作用域链的上一级找，func1中也没有outer的申明，那么就继续往上一级找，在全局作用域中找到了outer，所以是1。

接着我们讲下闭包，所谓闭包用一句话来说就是， 函数中的函数 ，并且里面的函数引用了外面的函数的变量。我们了解了作用域链，那么我们就知道，函数内部是可以访问函数外部的变量的，所以，如果我们在函数中的函数中有访问函数外部变量，且该内部函数被返回的时候就形成了闭包。看下面例子:

function func() {
    var name = 'liming';
    var sayName = function() {
        console.log(name)
    }
    return sayName;
}

var sayName = func();
sayName(); // 输出liming
复制代码

闭包有个缺陷就是容易导致内存泄漏，普通函数调用完后，js引擎就会销毁函数里面的变量，但是闭包的话就不会释放了，所以需要注意点。

解析

选答案A的同学

对于A类同学，答案是错的，但是可以看出A类同学对js的异步和闭包比较熟悉。我们知道setTimeout里面的函数是异步执行的，属于js里面的宏任务（js的异步任务分宏任务和微任务），需要等待js的主线程执行完毕且等到设置的时间后才从宏队列里面取出来执行。所以，等到setTimeout的回调执行的时候，回调函数要获取i的值，这个时候回到函数里面没有i的定义，那么js引擎就会往上一级作用域链中找i，这个时候就找到上一级作用域中的i，A类同学觉得这个时候循环已经结束了（因为for是主线程），那么这个时候的i应该是2了，所以输出的应该++了两次的2。这也就是闭包的知识点，js的设计是，内部可以访问外部，而外部不可以访问内部，所以在setTimeout中的回调中，它可以访问得到外部的i，其实如果把let换成var的话，这个答案就是对的。

关于倒计时，这里有个东西多说一句，就是setInterval的倒计时不是在回调执行完毕后才开始的。这就会导致一种情况，就是如果回调函数里面执行的代码时间比倒计时时间长，那么下次插入队列中的回调就会被取消，也就是倒计时到了以后，这次回调不会执行了，所以建议统一使用setTimeout来代替setInterval。

选择B的同学

选择B的同学，要不就是刚学习js的（也可能是蒙对☺），要不就是对let知识点很熟悉的。

let关键字

let关键字申明的变量具有块级作用域的作用，具有以下特点：

1、不可重复申明同个变量

2、不存在变量提升，所以必须先申明后使用

3、只有块内可见，不会影响块外的变量

其实let还有一个特点，就是 在for循环当中，每轮循环都是一个新的值 。看下面的的例子:

for(let i = 0; i < 2; i++) {
    setTimeout(() => {
        console.log(i); // 分别输出0和1
    }, 0)
}

复制代码

从这个例子可以看出，let变量在for循环中，都会被重新赋值一个新的值，因此上面代码中，for循环中获取的i值都是一个新的，并且这个新i的值是上一次循环的i的值。类似这样：

for(var i = 0; i < 2; i++) {
    var new_i = i; // 新的i，且新的i应该是和真正的i关联的，比如是i_1之类的
    setTimeout(() => {
        console.log(new_i); // 分别输出0和1
    }, 0)
}
复制代码

个人觉得，这个是let的块级作用域相关，每次循环的时候的i都是块级作用域，只对本次循环可见，下次循环不可见。

所以，我们以后如果需要再for循环中获取循环项的时候，可以不用立即执行函数来实现了，可以改为let了。

回到正题。for循环的第一个语句是初始化，这个时候的i就是原本的i，初始化为0，后面的i都是每次循环新生成的i，与初始化的i无关，所以到2333毫秒以后，i的值任然为0，因此打印出来的i就是0了。

for(let i = (setTimeout(()=>console.log(i), 2333) , 0); i < 2; i++) {
  
}
复制代码

总结

本篇文章通过一个特殊的面试题，引出了js的异步、作用域链、闭包和let的知识点。

异步包含：

1、定时器

2、事件处理函数

3、Promise

4、回调函数

异步函数的执行时需要主线程空闲的时候执行的，所以我们会把耗时的任务处理为异步。

作用域链：

每个函数执行的时候都会创建一个作用域链的对象，它包含了函数内的所有变量以及创建该函数的函数的所有变量，一直到全局变量，访问变量的时候就会沿着这条链子找。

闭包：

1、外部函数包含内部函数，且内部函数访问的外部函数的变量

2、返回内部函数给外部调用

let：

1、不可重复申明同个变量

2、不存在变量提升，所以必须先申明后使用

3、只有块内可见，不会影响块外的变量

还有在for循环中，每次循环获取let声明的变量都是一个新的变量，而不是初始化时候的那个变量。