你真的懂JavaScript吗

放在前面，本文原文的标题是 So you think you know JavaScript?

在下感觉有些标题党了，不过看了下文章的链接还是很不错的。

原文作者是由几个问题展开了说明。

问题 1: 浏览器的console里会打印出什么?

var a = 10;
function foo() {
    console.log(a); // ??
    var a = 20;
}
foo();

问题2: 如果是有const或let代替var，输出是否一样?

var a = 10;
function foo() {
    console.log(a); // ??
    let a = 20;
}
foo();

问题3: "newArray"中的元素是什么?

var array = [];
for(var i = 0; i <3; i++) {
 array.push(() => i);
}
var newArray = array.map(el => el());
console.log(newArray); // ??

问题4：如果我们在浏览器控制台中运行'foo'函数，是否会导致堆栈溢出错误？

function foo() {
  setTimeout(foo, 0); // will there by any stack overflow error?
};

问题5：如果我们在控制台中运行以下函数，页面的UI(tab页)是否仍然响应？

function foo() {
  return Promise.resolve().then(foo);
};

问题6：我们可以在不引起TypeError的情况下以某种方式使用以下语句的扩展语法吗？

var obj = { x: 1, y: 2, z: 3 };
[...obj]; // TypeError

问题7：运行以下代码片段时，控制台上会打印什么？

var obj = { a: 1, b: 2 };
Object.setPrototypeOf(obj, {c: 3});
Object.defineProperty(obj, 'd', { value: 4, enumerable: false });

// what properties will be printed when we run the for-in loop?
for(let prop in obj) {
    console.log(prop);
}

问题8:xGetter()将输出什么值?

var x = 10;
var foo = {
  x: 90,
  getX: function() {
    return this.x;
  }
};
foo.getX(); // prints 90
var xGetter = foo.getX;
xGetter(); // prints ??

解答

现在，让我们从头到尾回答上面的每个问题。我将给一个简短的解释，同时试图揭开这些行为的神秘面纱，并提供一些参考资料。

答案 1: undefined

解释: 使用var关键字声明的变量被提升并在内存中为其赋值为undefined。但是初始化恰好发生在你在代码中写入它们的地方。另外，var声明的变量是函数作用域的，而let和const是块作用域的。所以，这就是这个过程的样子：

var a = 10; // 全局作用域
function foo() {
// 使用var声明的会被提升到函数作用域内顶部.
// 就像: var a;

console.log(a); // 打印 undefined

// 实际初始化值20只发生在这里
   var a = 20; // 本地 scope
}

笔：对这个不了解的，可以看下这篇文章了解一番。

答案 2: ReferenceError: a is not defined

解释: let和const允许你声明一个变量被限制在一个块级作用域，或语句或表达式中。不像var，这些变量不会被提升，并且具有所谓的temporal dead zone(TDZ)。尝试在TDZ中访问这些变量将抛出一个ReferenceError，因为它们只能在执行到达声明才可被访问。可以阅读词法作用域和执行上下文栈。

var a = 10; // 全局作用域
function foo() { // 进入新的作用域, TDZ开始

// 没有初始绑定的'a'被创建
    console.log(a); // ReferenceError

// TDZ 结束, 'a'只是在这里被初始化了一个值20
    let a = 20;
}

下表概述了与JavaScript中使用的不同关键字相关的提升行为和范围（主要摘选：Axel Rauschmayer的博客文章）。

image-20190810210348073

答案 3: [3, 3, 3].

解释: 在for loop的头部声明一个带有var关键字的变量，为该变量创建一个绑定(存储空间)。阅读关于闭包的更多信息。让我们再看一次for循环。

// 误解作用域:认为存在块级作用域
var array = [];
for (var i = 0; i < 3; i++) {
  // 三个箭头函数中的每个都引用同一个绑定，
  // 这就是为什么循环结束之后返回同样的数字3
  array.push(() => i);
}
var newArray = array.map(el => el());
console.log(newArray); // [3, 3, 3]

如果你声明一个具有块级作用域的变量，则会为每个循环迭代创建一个新绑定。

// 使用ES6块级作用域绑定
var array = [];
for (let i = 0; i < 3; i++) {
  // 这一次，每个“i”引用一个特定迭代的绑定，并保留当时的值。
  // 因此，每个arrow函数返回一个不同的值。
  array.push(() => i);
}
var newArray = array.map(el => el());
console.log(newArray); // [0, 1, 2]

解决这个问题的另一种方法是使用闭包。

let array = [];
for (var i = 0; i < 3; i++) {
  array[i] = (function(x) {
    return function() {
      return x;
    };
  })(i);
}
const newArray = array.map(el => el());
console.log(newArray); // [0, 1, 2]

为啥let可以，可以参考这篇文章

答案 4: 不会

解释: JavaScript并发模型基于“事件循环”。当我说“浏览器是JS的家(归宿)”时，我真正的意思是浏览器提供运行时环境来执行我们的JavaScript代码。浏览器的主要组件包括 调用堆栈 ，事件循环 ，任务队列 和 Web API 。像setTimeout，setInterval和Promise这样的全局函数不是JavaScript的一部分，而是Web API的一部分。JavaScript环境的可视化表示如下所示:

alt text

JS调用堆栈是后进先出(LIFO)。引擎一次从堆栈中获取一个函数，并从上到下依次运行代码。每次遇到一些异步代码(如setTimeout)时，它都会将其交给Web API(箭头1)。因此，每当触发事件时，callback都会被发送到任务队列(箭头2)。Event Loop不断监视任务队列，并按照排队顺序一次处理一个callback。每当调用堆栈为空时，循环检索回调并将其放入堆栈(箭头3)进行处理。请记住，如果调用堆栈不为空，则事件循环不会将任何callbacks推送到堆栈。

有关Event Loop如何在JavaScript中工作的更详细说明，我强烈建议您观看Philip Roberts的视频。此外，你还可以通过这个非常棒的工具可视化和理解调用堆栈。来吧，在那里运行'foo'函数，看看会发生什么！

现在，有了这些知识，让我们试着回答上述问题：

步骤

1. 调用foo()将把foo函数放进调用栈。

2. 在处理内部代码时，JS引擎遇到setTimeout。

3. 然后它将foo回调移交给 WebAPI (箭头1)并从函数返回。调用堆栈再次为空。

4. 计时器设置为0，因此foo将被发送到 任务队列 (箭头2)。

5. 因为，我们的调用堆栈是空的，事件循环将选择foo回调并将其推送到调用堆栈进行处理。

6. 进程再次重复，堆栈不会溢出 。

笔：其实这个答案里的链接和下面答案的链接很给力了。

不过也可以看看其他的

答案 5: 不会

解释: 大多数时候，我看到开发人员假设在事件循环的蓝图中只有一个任务队列(笔: 也叫task queue或event queue或callback queue )。但事实并非如此。我们可以有多个任务队列。由浏览器选择任意的队列并在其中处理callbacks。

在高层次上来看，JavaScript中有宏任务和微任务。setTimeout回调是 macrotasks 而Promise回调是 microtasks 。主要的区别在于他们的执行仪式。宏任务在单个循环周期中一次一个地推入堆栈，但是微任务队列总是在执行返回到event loop(包括任何额外排队的项)之前清空。因此，如果你将这些项快速的添加到这个你正在处理的队列，那么你将永远在处理微任务。有关更深入的解释，请观看Jake Archibald的视频或文章。

在执行返回事件循环之前，微任务队列总是被清空

现在，当你在控制台中运行以下代码段时：

function foo() {
  return Promise.resolve().then(foo);
};

每次调用'foo'都会继续在微任务队列上添加另一个'foo'回调，因此事件循环无法继续处理其他事件(scroll，click等)，直到该队列完全清空为止。因此，它会阻止渲染。

笔：Jake的此文绝对是精华，没有读过的可以拜读一番。

答案 6: 可以, 通过是对象iterables

解释: 拓展运算符和for-of语句迭代iterable对象。数组或Map是具有默认迭代行为的内置iterable。对象不是可迭代的，但你可以使用iterable和iterator协议使它们可迭代。

在Mozilla文档中，如果一个对象实现了@@iterator方法，那么它就是可迭代的，这意味着这个对象(或者它原型链上的一个对象)必须有一个带有@@iterator键的属性，这个键可以通过常量Symbol.iterator获得。

上述陈述可能看起来有点冗长，但下面的例子会更有意义：

var obj = { x: 1, y: 2, z: 3 };
obj[Symbol.iterator] = function() {

  return {
    next: function() {
      if (this._countDown === 3) {
        const lastValue = this._countDown;
        return { value: this._countDown, done: true };
      }
      this._countDown = this._countDown + 1;
      return { value: this._countDown, done: false };
    },
    _countDown: 0
  };
};
[...obj]; // will print [1, 2, 3]

你还可以使用generator函数来自定义对象的迭代行为：

var obj = { x: 1, y: 2, z: 3 };
obj[Symbol.iterator] = function*() {
  yield 1;
  yield 2;
  yield 3;
};
[...obj]; // print [1, 2, 3]

笔：对这个不熟悉的可以看下一些例子：

iterator&generator

答案 7: a, b, c

解释: for-in循环遍历对象本身的可枚举属性以及对象从其原型继承的属性。可枚举属性是可以在for-in循环期间包含和访问的属性。

var obj = { a: 1, b: 2 };
var descriptor = Object.getOwnPropertyDescriptor(obj, "a");
console.log(descriptor.enumerable); // true
console.log(descriptor);
// { value: 1, writable: true, enumerable: true, configurable: true }

现在掌握了这些知识，应该很容易理解为什么我们的代码会打印出这些特定的属性：

var obj = { a: 1, b: 2 }; // a, b are both enumerables properties


Object.setPrototypeOf(obj, { c: 3 });

Object.defineProperty(obj, "d", { value: 4, enumerable: false });

for (let prop in obj) {
  console.log(prop);
}

笔：对这个不了解的可以看文章了解一下

property descriptors

object getPrototypeOf&setPrototypeOf

答案 8: 10

解释: 当我们将x初始化为全局作用域时，它将成为window对象的属性（假设它是浏览器环境而不是严格模式）。看下面代码：

var x = 10; // 全局作用域
var foo = {
  x: 90,
  getX: function() {
    return this.x;
  }
};
foo.getX(); // prints 90
let xGetter = foo.getX;
xGetter(); // prints 10

我们可以断言：

window.x === 10; // true

this 将始终指向调用该方法的对象。因此，在foo.getX() 的情况下，this 指向foo对象返回值90。而在xGetter()的情况下，this 指向window 对象返回值10。

要检索foo.x的值，我们可以通过使用Function.prototype.bind将 this 的值绑定到foo对象来创建新函数。

let getFooX = foo.getX.bind(foo);
getFooX(); // prints 90

笔：这个说的主要就是this了，不了解的可以看下

this All Makes Sense Now

就是这样!如果你所有的答案都正确，那就做得好。错了不可怕，因为我们都从错误中学习。关键是要知道背后的“原因”。

你都对了吗老兄。

原文：So you think you know JavaScript?