先来看玉伯的总结：

    JS是一段一段执行的（以《script》标签来分割），执行每一段之前，都有一个“预编译”，预编译干的活是：声明所有var变量（初始为undefined），解析定义式函数语句。

还有个关于 "window作用域下，a = 1和var a = 1" 的区别的也很经典：

a = 1相当于window.a = 1，是动态地为window添加一个成员；
var a = 1是在当前作用域（也就是window）下声明一个a，这个声明是在整个作用域内都有效的。

换句话说，其实区别就在于var a = 1比a = 1多了一个声明的行为。

再看几个例子：

1.

alert(t);
alert('ok');
t = 2;

t未声明，执行报错。
2.

alert(t);
alert('ok');
var t = 2;

弹出undefined和ok。预编译的时候，声明了变量t；执行到alert(t)这行代码的时候，t尚未被赋值，所以弹出undefined。
3.

a();
function a() {}
alert('ok');

弹出ok。预编译的时候，解析了定义式函数语句function a() {}，顺利执行。
4.

a();
var a = function() {};
alert('ok');

a不是函数，执行报错。预编译的时候，声明了变量a = undefined；执行到a()时，a还等于undefined，不是函数，所以执行a()会报错。
5.

《script type="text/javascript"》
a();
alert('first block');
《/script》
      《script type="text/javascript"》
alert('second block');
《/script》

      弹出second block。因为JS是一段一段执行的，第一段执行到a()的时候报错，整个第一段都不会再执行，第二段正常执行。

from: