函数提升：非严格模式下的奇特行为解析

在 JavaScript 的世界里，函数提升就像一个幕后推手，悄悄地改变着函数声明的位置。你也许已经知道，它会把函数声明移到代码块或脚本的开头，让你可以在声明之前就调用函数。但你是否了解，在严格模式和非严格模式下，这个幕后推手的行为竟然不一样？

先来说说严格模式。它就像一个恪守规则的卫士，只允许函数声明享受提升的待遇，而函数表达式则被拒之门外。这意味着，在严格模式下，你不能在函数表达式声明之前调用它。这样做的好处是，可以避免意外创建全局函数，也能防止命名冲突，让你的代码更加井然有序。

但如果我们走出严格模式，进入自由奔放的非严格模式，情况就变得有点不一样了。在这里，函数声明和函数表达式都能搭上提升的顺风车，一路直达全局作用域的顶端。这听起来很方便，但实际上却可能埋下隐患。因为函数表达式提升到全局作用域后，可能会覆盖掉同名的全局变量或函数，导致代码出现意想不到的结果。

你可能会问，为什么非严格模式下函数表达式也能提升呢？其实，这和 JavaScript 的解析机制有关。在解析代码的时候，函数表达式会被当成变量声明来处理。而我们知道，变量声明在提升阶段会被提升到全局作用域。所以，函数表达式也就跟着被提升到了全局作用域，并且有可能覆盖掉同名的全局变量或函数。

举个例子，假设我们在严格模式下写了这样一段代码：

"use strict";
{
  function a() {
    return 1;
  }
}
function a() {
  return 2;
}
console.log(a()); 

这段代码的输出结果是 2。因为在严格模式下，只有函数声明 a 被提升到了 { ... } 块的顶部，而函数表达式则没有被提升。所以，当我们调用 a() 的时候，实际上调用的是全局声明的函数 a，它返回的值是 2。

但如果我们把严格模式去掉，代码就变成了这样：

{
  function a() {
    return 1;
  }
}
function a() {
  return 2;
}
console.log(a()); 

这次的输出结果变成了 1。这是因为在非严格模式下，函数声明 a 和函数表达式都被提升到了全局作用域。而函数表达式的提升优先级更高，所以它覆盖了全局声明的函数 a。因此，当我们调用 a() 的时候，实际上调用的是函数表达式 a，它返回的值是 1。

通过这两个例子，我们可以清楚地看到，在非严格模式下，函数提升的行为与严格模式有很大的不同。函数表达式在非严格模式下会被提升到全局作用域，而在严格模式下则不会。这种差异可能会导致代码出现难以预料的结果，所以在编写代码的时候，我们需要仔细考虑这两种模式之间的区别，避免因为函数提升而产生错误。

为了帮助你更好地理解函数提升，我整理了一些常见问题解答：

1. 为什么在非严格模式下函数表达式会被提升？

• 因为在解析代码的时候，函数表达式会被当成变量声明来处理，而变量声明在提升阶段会被提升到全局作用域。

2. 为什么在严格模式下函数表达式不会被提升？

• 严格模式下，只有函数声明会被提升。这样做是为了避免意外创建全局函数，也能防止命名冲突，让代码更加规范。

3. 如何避免函数表达式覆盖全局变量或函数？

• 你可以使用严格模式，或者使用立即调用函数表达式（IIFE）来创建局部作用域，将函数表达式限制在局部作用域内，避免它影响全局作用域。

4. 函数提升对代码性能有什么影响？

• 函数提升本身不会对代码性能产生显著的影响，因为函数的代码仍然需要被解析和执行。但是，如果函数提升导致代码逻辑混乱，可能会增加代码调试和维护的难度，间接影响代码性能。

5. 在什么时候应该使用严格模式？

• 建议在所有新的 JavaScript 代码中都使用严格模式。因为它可以帮助你避免很多潜在的错误，例如意外创建全局变量、提升问题和语法错误，使你的代码更加健壮和易于维护。

总而言之，函数提升是 JavaScript 中一个重要的机制，它可以让我们在函数声明之前就调用函数。但是，在非严格模式下，函数表达式的提升行为可能会导致一些意想不到的结果。为了避免这些问题，我们应该尽量使用严格模式，并在编写代码时注意函数提升的影响。