自我们告别Harmony的时代以来，JavaScript推出了许多新的、带语法糖的功能。虽说更多新功能可以让我们编写可读性和质量更高的代码，但我们也很容易被这些新奇、亮眼的特性迷惑，反而陷入一些潜在的陷阱。本文作者回顾他在使用JS时经常遇到的困惑，新旧问题都有。希望你可以通过阅读本文，避免这些问题在你的编码中发生。

箭头函数和对象字面量

箭头函数提供了更简短的语法，其中一个特性是你可以将函数编写为具有隐式返回值的lambda表达式。编写函数样式的代码时这就很顺手，比如说有时你必须使用一个函数映射一些数组的情况。使用常规函数可能会多出很多空行。例如：

const numbers = [1, 2, 3, 4];
numbers.map(function(n) {
return n * n;
});

用lambda样式的箭头函数来写的话，就会写成两行优雅、易读的代码：

const numbers = [1, 2, 3, 4];
numbers.map(n => n * n);

在这种用例中，箭头函数的表现符合预期，它将值本身相乘并返回到包含[1, 4, 9, 16]的新数组。

但如果你尝试映射到对象，那么语法可能就不是你直觉期望的那样了。例如，假设我们试图将数字映射到包含如下值的对象数组中：

const numbers = [1, 2, 3, 4];
numbers.map(n => { value: n });

这里的结果实际上是一个包含未定义值的数组。虽然看起来我们在这里返回一个对象，但是解释器看到的东西是完全不一样的。花括号被解释为箭头函数的块作用域，而值语句最后实际上成为了标签。如果将上述箭头函数外推到解释器最终实际执行的内容中，它将看起来像这样：

const numbers = [1, 2, 3, 4];
numbers.map(function(n) {
value:
n
return;
});

解决方法非常微妙。我们只需要将对象包装在括号中，就可以将它变成一个表达式而不是一个块语句，如下所示：

const numbers = [1, 2, 3, 4];
numbers.map(n => ({ value: n }));

这会计算出一个包含对象数组的数组，该对象数组具有预期的值。

箭头函数和绑定

箭头函数另一个需要注意的点是，它们没有自己的this绑定，意味着它们的this值和封闭词法作用域的this值是一样的。

因此，尽管箭头函数的语法更时尚一些，但它并不能替代一些很好的旧函数。你可能会很容易遇到this绑定与你原本所想不一样的情况。例如：

let calculator = {
  value: 0,
  add: (values) => {
    this.value = values.reduce((a, v) => a + v, this.value);
  },
};
calculator.add([1, 2, 3]);
console.log(calculator.value);

尽管人们可能希望这里的this绑定为此处的calculator对象，但实际上this绑定最后要么是未定义，要么是全局对象，具体取决于代码是否在严格模式下运行。这是因为这里最接近的词汇作用域是全局作用域。在严格模式下这是未定义的。否则，它会是浏览器中的窗口对象（或Node.js兼容环境中的过程对象）。

常规函数确实具有this绑定。在对象上调用时，this将指向该对象，因此常规函数仍然是获得成员函数的正确途径。

let calculator = {
  value: 0,
  add: (values) => {
    this.value = values.reduce((a, v) => a + v, this.value);
  },
};
calculator.add([1, 2, 3]);
console.log(calculator.value);

另外，由于箭头函数没有this绑定，因此Function.prototype.call、Function.prototype.bind和Function.prototype.apply均无法使用。声明箭头函数后，this绑定设置为固定，无法更改。

因此，在下面的示例中，我们将遇到与之前相同的问题：当调用adder的add函数时，this绑定又成了全局对象，尽管我们尝试使用Function.prototype.call覆盖它：

const adder = {
  add: (values) => {
    this.value = values.reduce((a, v) => a + v, this.value);
  },
};
let calculator = {
  value: 0
};
adder.add.call(calculator, [1, 2, 3]);

箭头函数很简洁，但不能替换需要this绑定的常规成员函数。

自动分号插入

虽然这不是一项新功能，但自动分号插入（ASI）是JavaScript中比较怪异的功能之一，因此值得一提。从理论上讲，你可以在大多数时候省略分号（许多项目都这样做）。如果项目有先例，则应遵循此先例。但你一定需要记得ASI是一项功能，否则最后你会写出容易迷惑人的代码。

请看以下示例：

return
{
  value: 42
}

有人可能会认为它会返回对象字面量，但实际上它会返回未定义的值，因为发生了分号插入，使其成为空的return语句，后跟一个block语句和一个label语句。换句话说，最终被解释的代码看起来更像是下面这种写法：

return;
{
  value: 42
};

根据经验，即使使用分号时也切勿以大括号、方括号或模板字符串字面量开头，因为ASI总是会起作用。

浅集合

集合较浅，意味着重复的数组和具有相同值的对象，这将导致集合中有多个条目。例如：

let set = new Set();
set.add([1, 2, 3]);
set.add([1, 2, 3]);
console.log(set.length);

该集合的大小将为2，如果你考虑引用它的话就要注意了，因为它们是不同的对象。但字符串是不可变的。以集合中的多个字符串为例：

let set = new Set();
set.add([1, 2, 3].join(','));
set.add([1, 2, 3].join(','));
console.log(set.size);

由于字符串是不可变的，且驻留在JavaScript中，因此最终的集合大小为1。如果你需要存储一组对象，那么这就可以是一种解决方法，也可以将它们序列化和反序列化。

类与暂时死区

在JavaScript中，常规函数被提升到词法作用域的顶部，这意味着下面的示例将按预期工作：

let segment = new Segment();
function Segment() {
  this.x = 0;
  this.y = 0;
}

但是对于类来说并非如此。类实际上没有被提升，并且在尝试使用它们之前需要在词法作用域内对其进行完全定义。例如：

let segment = new Segment();
class Segment {
  constructor() {
    this.x = 0;
    this.y = 0;
  }
}

尝试构造类的新实例时会导致ReferenceError，因为它们没有像函数那样被提升。

Finally

Finally是一个特殊情况。看一下以下代码片段：

try {
  return true;
} finally {
  return false;
}

你认为它会返回什么值？答案既符合直觉，同时又可以是反直觉的。有人可能会认为第一个return语句使函数实际返回并弹出调用栈。但这里是该规则的例外，因为Finally语句始终都会运行，因此会返回Finally块中的return语句。

小结

JavaScript很容易入门，但很难精通。换句话说，开发人员需要搞清楚自己正在做什么，明白为什么要这样做，否则就很容易出错。

ECMAScript 6及其含糖功能尤其如此。特别是箭头函数哪里都会冒出来。让我来猜的话，那是因为开发人员认为它们比常规函数更漂亮。但它们不是常规函数，因此无法替代后者。

时不时地浏览一下规范并没有什么坏处。它不是世界上最激动人心的文档，但就规范本身而言写得还算不错。

AST Explorer之类的工具还可以帮助你了解某些极端场景下的状况。人类和计算机往往会以不同的方式来解析事物。

文章最后，我把最后一个示例留作练习供大家思考。

原文链接：
https://medium.com/better-programming/lesser-known-javascript-hazards-8d688a463b1f

创作场景

鲜为人知的 JavaScript 陷阱