变量提升，就是当变量或者函数不管在哪里声明的时候，都会被提升到该作用域的顶部来声明

这里有三个要注意的地方，我们也会在等下的例子里一个一个的说到

1. JavaScript没有块级作用域
2. 函数声明会覆盖变量声明，但不会覆盖变量赋值
3. 函数声明会提升，函数表达式不会被提升

JavaScript 没有块级作用域

var name = 'World!';
(function () {
  if (typeof name === 'undefined') {
    var name = 'Jack!';
    console.log('Goodbye ' + name);
  } else {
    console.log('Hello ' + name);
  }
})();

打印出来的是Goodbye Jack!，因为 JavaScript 没有块级作用域，所以 if 语句里的var name = 'Jack!', name 变量的声明会被提升在 if 语句之外，变量声明没有被赋值所以为 undefined，进入 if 语句，name 被赋值为 Jack，所以打印出来的是 Goodbye Jack! 真正执行的代码如下：

var name = 'World!';
(function () {
  var name;
  if (typeof name === 'undefined') {
    name = 'Jack!';
    console.log('Goodbye ' + name);
  } else {
    console.log('Hello ' + name);
  }
})();

函数声明会覆盖变量声明，但不会覆盖变量赋值

这句话又怎么理解？看看下面两个例子

function value () {
  return 1;
}
var value;
console.log(typeof value);  // function

function value () {
  return 1;
}
var value = 1;
console.log(typeof value);  // number

当你声明的函数和你声明的变量(未赋值)同名时，函数的声明会覆盖变量的声明，这就是为什么第一个例子为function的原因。而第二个例子中，函数声明覆盖了变量声明，但因为value重新被赋值为1，所以value的类型则变为 number

看看下面这个例子

function foo (a) {
  console.log(a);
  var a = 2;
  function a () {}
  consol.log(a);
}
foo(1);

会有什么结果呢？变量 a 声明提升，函数 a 声明提升，同名时函数覆盖变量，所以第一次打印出的是function a() {}。然后 a 被重新赋值为 2，所以第二次打印的是 2，棒棒哒~ 真正的执行顺序代码如下：

function (a) {
  var a;
  var function a () {}
  console.log(a);
  a = 2;
  console.log(a);
}
foo(1);

函数声明会提升，函数表达式不会被提升

function test () {
  foo(); // TypeError "foo is not a function"
  bar(); // "this will run!"
  var foo = function () {
    console.log("this won't run!");
  }
  function bar () {
    console.log('this will run!');
  }
}
test();

Summary

最后用一例，看看你掌握了没有？

var a = 1;
function b () {
  a = 10;
  return;
  function a () {}
}
b();
console.log(a); // What is your 'a'? :)

如有错误，欢迎指正