var与function
变量提升：在当前上下文中(全局/私有/块级)，JS代码自上而下执行之前，浏览器会提前处理一些事情（可以理解为词法解析的一个环节，词法解析一定发生在代码执行之前），会把当前上下文中所有带var / function 关键字的进行提前的声明或定义
var a = 10
// 声明(declare): var a;
// 定义(defined): a = 10
直接使用题目来说明：
题目一
console.log(a);
var a = 12;
a = 13;
console.log(a);
题目一：输出undefined和13，如上所述，有var关键字，a被提前声明，值为undefined，所以第二行为undefined。后面不再进行声明，只会赋值，依次赋值为12和13，所以最后输出位13
题目二
console.log(a);
a = 13;
console.log(a);
题目二：报错：Uncaught ReferenceError: a is not defined。因为没有var或function，所以不会被提前声明，报错，不会继续往下执行
题目三
console.log(a);
let a = 12;
a = 13;
console.log(a);
题目三：报错：Uncaught ReferenceError: a is not defined，同上
这里要注意一下，以前let与const在全局上下文中报错会是：Uncaught ReferenceError: Cannot access 'a' before initialization，但目前亲测let报错为未定义，而const报错依旧（函数体中则报错一致，均为不可在实例化之前使用）
题目四
func()
function func () {
console.log(1)
}
题目四：输出1，function会发生函数提升（声明加定义）
题目五
func()
var func = function aaa () {
console.log(1)
}
题目五：Uncaught TypeError: func is not a function，由于变量提升，func只会被提前定义，但不会被赋值，所以为undefined
上面aaa是将函数具名化，但无法在外面进行访问，只能在函数内部私有上下文当中使用，函数当中使用指的是当前函数（因为arguments.callee已经被废弃）
// 匿名函数具名化使用场景举例：
setTimeout(function aaa () {
if (something == true) { // 假设某个条件为真则重新执行函数
aaa()
}
}, 1000)
if
如果if中存在var或function，不管条件是否成立，也会发生变量提升（注意，是在当前上下文环境中的变量提升）。在新版本浏览器中，function只会提前声明，不会再提前赋值
console.log(a, func)
if (true) {
var a = 1
function func () {}
}
上述代码，在新版本浏览器中，输出为undefined, undefined，而在IE10及以下，则会输出undefined, function func () {}
题目一
if (!('a' in window)) {
var a = 1
}
console.log(a)
题目一：不管条件是否成立，var会发生变量提升，而全局上下文中通过var声明的变量或直接赋值的变量(例如a = 1)，都会在window中也复制一份，因此'a' in window为true，取反则为false，因此结果就相当于只声明未赋值，输出undefined
题目二
fn()
function fn () { console.log(1) }
fn()
function fn () { console.log(2) }
fn()
var fn = function () { console.log(3) }
fn()
function fn () { console.log(4) }
fn()
function fn () { console.log(5) }
fn()
题目二：输出5 5 5 3 3 3
这道题用伪代码来解释，变量提升阶段为以下5句声明+定义
// 前三个fn()执行，此时fn输出5
fn => 1
=> 2
var fn // 到这句不需要操作，已经声明过了
=> 4
=> 5
fn() * 3 // => 5 5 5
// 执行到这一句需要重新赋值
var fn = function () { console.log(3) }
fn => 3
fn() * 3 // => 3 3 3
因此前3个fn()输出为5，到var fn = function () { console.log(3) }时，会将fn重新赋值（不需要重新声明，但是会发生赋值操作），因此fn被改写为输出3，所以后三个fn()均输出3
题目三
var foo = 1
function bar () {
if (!foo) {
var foo = 10
}
console.log(foo)
}
bar()
题目三：输出10。函数执行时，函数体内部有if，所以会在EC(bar)中发生变量提升（懒得画图，如果脑海中无法理解清：GO/VO/AO/EC及作用域和执行上下文，传送门全面攻克js中的堆栈内存及闭包），实际运行结果如下代码
function bar () {
var foo
if (!foo) {
foo = 10
}
console.log(foo)
}
压轴题
var a = 0
if (true) {
a = 1
function a () {}
a = 21
console.log(a)
}
console.log(a)
如果上面的都看懂了，那么这里会很轻易的得到答案21 21，然而只对了50%
现代版本的浏览器，既要向前兼容ES3/5规范，又要向后兼容ES6规范
ES3/5规范：
- 判断体和函数体等不存在块级上下文，上下文只有全局和私有
- 不论条件是否成立，带function都要提前声明+定义
ES6规范：
- 存在块级作用域，大括号中出现
let、const、function都会被认为是块级作用域 - 不论条件是否成立，块级作用域中带function的，对全局的影响为只提前声明，不会提前赋值
新版本浏览器分解后步骤如下：
- 变量提升阶段，全局声明变量
a（包括判断体中的function a，但是只定义不赋值） - 将
a赋值为0 - 进入块级作用域（出现EC(BLOCK)），此时发现里面有
function，出现变量提升（EC(BLOCK)中的VO出现变量a，并赋值为function） - 块级作用域中将
a赋值为1 - 执行到
function a () {}
有一个重点需要记住：块级作用域中，执行完function后，会把此时私有上下文中的a映射到全局一份，而往后所有与全局上下文一样的变量则不再映射到全局，到这一步全局的a也被赋值为1 - 将
a赋值为21（私有变量a，不会映射给全局），所以最终结果为21 1
还有IE11，输出结果为21 function a () {}（不确定是否有浏览器会跟它一样的机制）
通过调试，与现代浏览器的差别在于：块级作用域中的变量提升阶段，声明+定义后会同步到全局上下文同名变量上，往后不会再同步映射给全局。因此进入条件语句后，全局变量a已经被同步映射为function a，尔后a = 1等赋值操作均不再对全局上下文产生影响
所以答案有三个：
- IE10及以下：
21 21 - IE11:
21 function a () {} - 新版本浏览器：
21 1