最近立下的 flag 是每周回答至少三个知乎回答,不限编程,希望能提高自己的书面表达能力。这不,有人邀请我回答一个问题:为什么最后一个 a 是 1 不是 5?

题目如下:

1
2
3
4
5
6
7
8
console.log(a)
if (true) {
a = 1
function a() {}
a = 5
console.log(a)
}
console.log(a)

结果

我的第一反应是:undefined,5,5。估计和题主想的一样

分析一波

假设没有 if(true),即如下代码:

1
2
3
4
5
6
console.log(a)
a = 1
function a() {}
a = 5
console.log(a)
console.log(a)

那么答案什么?

a()、5、5

这解释了两个特性

  1. 变量、函数提升且函数的权重大于变量
  2. 在 a 没有用 var 声明时,a=XX 默认是用 var 来声明

变量、函数提升方面的知识点在于:

变量会提升,函数也会提升,并且函数提升的优先级大于变量,如下例:

1
2
3
4
5
6
7
8
9
10
11
console.log(a)
console.log(a())
var a = 1
function a() {
console.log(2)
}
console.log(a)
var a = 3
a = 4
console.log(a)
console.log(a())

a()、2、1、4、a is not a function

回过头来看这道题目

1
2
3
4
5
6
7
8
console.log(a)
if (true) {
a = 1
function a() {}
a = 5
console.log(a)
}
console.log(a)

if (ture) {} ,形成了作用域,锁住了这片变量,function a(){} 无法逃逸。换句话说,只有 {} 块级标识符在,function a() {} 就被所在块级作用域中,也就说在 if (ture) {} 这片块级作用域下,它不会提升到全局顶层,而是在 if(true){} 下,即代码执行时是这样:

1
2
3
4
5
6
7
8
9
console.log(a)
if (true) {
+function a() {};
a = 1;
-function a() {};
a = 5;
console.log(a);
}
console.log(a)

如果你在 a = 1 前打印 a,a 的值就是 function a(){}

所以这道题全局环境下,没有变量提升,写在第一行的 console.log(a) 因为找不到 a,所以值为 undefined

进入 if(true) {} 中,function a(){} 函数提升,且权重最高,所以赋值之前的块级作用域中的 a 为 function a() {}window.aundefined

代码执行到 function a() {} 后,块级作用域中的 a 还是为 1,但是全局变量 a 被赋值为 1

执行到 a = 5,传统赋值,影响的是块级作用域中的 a,而不会影响全局变量 a,所以打印的第二个 console.log(a) 为 5,第三个 console.log(a) 为 1

那么问题来了,为什么一执行 function a(){},全局变量 a 就被赋值为 1?

我陷入的沉思,后来在回答中发现[云补断山]回答了,说是

历史原因,为了兼容之前的 ES5 的语法,所以在规范规定了块级作用域内函数声明的一些行为,各个浏览器实现可能不一样

简单来说,在块级作用域内的函数函数声明,行为类似于 var ,都会在全局作用域声明一个同名变量(也就是 window 上挂一个同名的属性,默认值是 undefined),因为 ES6 遇到块级作用域,会基于块级作用域创建 environment record,存放当前块级作用域内的变量,所以这个函数声明会提升到块级作用域顶部(而非全局作用域顶部)

ECMA262 目录 B

我们学的 JavaScript 是 ECMAScript,但是我们把代码运行在浏览器上时就要按照浏览器的标准,浏览器里会有一些私货在,最经典的是 __proto__ ,倒逼 ECMA 采纳。话说回来,按照这位仁兄的意思

1
2
3
4
5
6
7
8
9
10
11
12
13
// 因为 function a() 声明过,所以全局有个 window.a
console.log(a)
if (true) {
// 声明归声明,但是函数提升提升与作用域相关,所以提升至此块级作用域顶部
a = 1
// 块级作用域中的 a 被赋值为 1
function a() {}
// 原地爆炸,执行函数后,全局 window.a 被赋值为块级作用域中的 a
a = 5
// 块级作用域中的 a 又被赋值为 5
console.log(a)
}
console.log(a)

最诡异的是执行 function a() {} 后,全局 window.a 被赋值且为块级作用域中的 a

这个事情没完!!

等等,我就说的玩玩的,如果工作中或面试中真遇到这类问题,我也许还是不会解。

太诡异了,这不是考题范围(块级作用域、函数提升、变量提升)

就这样先吧