前段时间有人在知乎上邀请我回答一个问题：为什么最后一个 a 是 1 不是 5？[1]
题目如下：
console.log(a) if (true) { a = 1 function a() {} a = 5 console.log(a) } console.log(a)
我的第一反应是：undefined，5，5。估计和题主想的一样
分析一波
假设没有 if(true)，即如下代码：
console.log(a) a = 1 function a() {} a = 5 console.log(a) console.log(a)
那么答案什么？
a()、5、5
这解释了两个特性
- 变量、函数提升且函数的权重大于变量
- 在 a 没有用 var 声明时，
a=XX默认是用 var 来声明
变量、函数提升方面的知识点在于：
变量会提升，函数也会提升，并且函数提升的优先级大于变量，如下例：
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
回过头来看这道题目
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){} 下，即代码执行时是这样：
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.a 为 undefined
代码执行到 function a() {} 后，块级作用域中的 a 还是为 1，但是全局变量 a 被赋值为 1
执行到 a = 5，传统赋值，影响的是块级作用域中的 a，而不会影响全局变量 a，所以打印的第二个 console.log(a) 为 5，第三个 console.log(a) 为 1
那么问题来了，为什么一执行 function a(){}，全局变量 a 就被赋值为 1？
我陷入的沉思，后来在回答中发现云补断山[2]回答了，说是
历史原因，为了兼容之前的 ES5 的语法，所以在规范规定了块级作用域内函数声明的一些行为，各个浏览器实现可能不一样
简单来说，在块级作用域内的函数函数声明，行为类似于 var ，都会在全局作用域声明一个同名变量（也就是 window 上挂一个同名的属性，默认值是 undefined），因为 ES6 遇到块级作用域，会基于块级作用域创建 environment record，存放当前块级作用域内的变量，所以这个函数声明会提升到块级作用域顶部（而非全局作用域顶部）
ECMA262 目录 B[3]
我们学的 JavaScript 是 ECMAScript，但是我们把代码运行在浏览器上时就要按照浏览器的标准，浏览器里会有一些私货在，最经典的是 __proto__ ，倒逼 ECMA 采纳。话说回来，按照这位仁兄的意思
// 因为 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
这个事情没完！！
等等，我就说的玩玩的，如果工作中或面试中真遇到这类问题，我也许还是不会解。
太诡异了，这不是考题范围（块级作用域、函数提升、变量提升）
就这样先吧
参考资料
[1] 为什么最后一个 a 是 1 不是 5？: https://www.zhihu.com/question/492311084
[2] 云补断山: https://www.zhihu.com/people/xie-guo-feng-46
[3] ECMA262 目录 B: https://tc39.es/ecma262/#sec-additional-ecmascript-features-for-web-browsers
