来源：https://dancon.gitbooks.io/git-books/content/js/essay/function_hoisting.html
在ES5 中存在这样的事实，变量声明提升，函数声明提升。 在抛出这篇文章要讨论的问题之前，我们先来解释下这两个概念。
变量声明提升： 通过var声明的变量在代码执行之前被js引擎提升到了当前作用域的顶部。
函数声明提升： 通过函数声明的方式（非函数表达式）声明的函数在代码执行之前被js引擎提升到了当前作用域的顶部，而且函数声明提升优先于变量声明提升。
示例代码
1. js中变量没有声明就直接使用，是会导致引用错误的，如下:
console.log(a);
运行结果：
Uncaught ReferenceError: a is not defined(…)
2. 变量声明提升
console.log(a);
var a = 1;
运行结果：
undefined
没有报错，而是输出了undefined, 说明变量声明var a被提升到了作用域的顶部，console.log进行RHS引用时找到了变量a, 所以没有报错。
3. 函数声明提升
a();
function a() {
console.log('This is a function body');
}
运行结果：
This is a function body
函数的调用发生在函数声明之前，但是依旧正常执行。其实真正的函数声明只包含如下部分：
function () {
console.log('This is a function body');
}
这部分执行的结果就是创建了一个函数对象，我们假设为funcObj。
a只是指向funcObj的指针，函数声明提升，提升的应该是创建funcObj的过程，也就是上述的代码块。
在一些引擎的实现中，a也会赋值给funcObj对象上的一个name属性。 比如 a.name 会输出 a
4. 函数声明提升优于变量声明提升
a();
var a;
function a() {
console.log(1);
}
a = function() {
console.log(2);
}
a();
运行结果：
1
2
上述代码会被js引擎解析为如下：
function a() {
console.log(1);
}
a();
a = function() {
console.log(2);
}
a();
var a ;属于重复声明，被忽略掉了。然而后续的函数声明还是会覆盖之前的函数声明。如下：
a();
var a;
function a() {
console.log(1);
}
a = function() {
console.log(2);
}
function a() {
console.log(3);
}
运行结果：
3
所以得出如下猜想：
函数声明提升其实做了两个提升动作：
函数名变量提升，类似变量声明function a();
函数定义提升{ /*function body*/ }.
也就是说通过函数声明的方式定义一个函数会有以下三个步骤（或者说两个也可以，第三个可以归并到第二步中）（YY而已，不要当真）：
声明函数名变量a
创建函数对象funcObj
把函数名变量a指向函数对象funcObj
而一般的函数声明提升会把这三个步骤都提升到作用域的顶部。
一般的函数声明提升的结果如上所述，那不一般的函数声明提升又会是什么样的呢？
问题如下：在chrome 49, FF 46, IE 11中运行如下代码都得出类似结果
(function(){
console.log(a);
if(false){
console.log(a());
function a(){
console.log('true');
}
}
a();
})();
chrome运行结果：
undefined
Uncaught TypeError: a is not a function
奇怪吧？！函数提升发生在所有代码执行之前，所以，尽管a 的定义过程写在了 if 分支中，但是理论上或者说ES6之前， 它是不会影响函数声明提升的，而现在，在作用域顶部console.log(a)输出undefined, 而执行a()发生TypeError。 我们稍作如下修改：
(function(){
console.log(a);
if(true){
console.log(a());
function a(){
console.log('true');
}
}
a();
})();
chrome运行结果：
undefined
true
true
再做一次修改：
(function(){
'use strict';
if(true){
console.log(a());
function a(){
console.log('true');
}
}
console.log(a);
})();
chrome运行结果：
true
Uncaught ReferenceError: a is not defined
现代浏览器的JS引擎已经支持块作用域了， 只是在非严格模式下，只有函数名变量声明会提升到当前闭包的顶部，这也是不管if 分支是否成立，在它之前console.log(a)都会输出undefined的原因。 而函数定义提升只提升到了if 的块作用域内，这就是在if 为真时，在if块内且在函数声明之前console.log(a())会输出true的原因。 但是在严格模式下， 函数名变量的提升也只提升到了if 块的顶部。这就是在严格模式下，在if 块外部对a 进行RHS引用是报 TypeError 的原因。
+
注意
在ES5中，严格模式下，函数的声明只能在全局作用域或者函数内，其他块（if, for）都会报错。
// 如下代码ES5中都会报错
if(1){
function a() {……} // 报错，ES6中不报错，是因为ES6支持了块作用域，所以在块作用域中声明函数是合理的。
}