一段很有趣的js代码

今天看到一段很有趣的js代码
var a = 1;   
function b() {   
a=10;
    return;   
function a(){
};
}   
b();   
alert(a);

最后输出结果为1

js 在执行前会进行类似“预编译”的操作：首先会创建一个当前执行环境下的活动对象，并将那些用var申明的变量设置为活动对象的属性，但是此时这些变量的赋值都是undefined，并将那些以function定义的函数也添加为活动对象的属性，而且它们的值正是函数的定义。
在解释执行阶段，遇到变量需要解析时，会首先从当前执行环境的活动对象中查找，如果没有找到而且该执行环境的拥有者有prototype属性时则会从prototype链中查找，否则将会按照作用域链查找。遇到var a = ...这样的语句时会给相应的变量进行赋值（注意：变量的赋值是在解释执行阶段完成的，如果在这之前使用变量，它的值会是undefined）
换个角度来说，这个是函数体升迁的问题，如果是用 var fn = function() 这种形式来定义，那么 fn 会升迁，但是函数体不会升迁，因此会报告错误说 fn 不是一个方法（注意不是报告未定义），而如果使用 function fn() 来定义方法，那么 fn 和函数体会同时升迁，这样 fn() 是可以调用到结果的
也就是js的执行和预编译是分开的，先预编译再执行，所以变量声明可以放在执行之后
也就是说函数把全局变量变为了局部变量