先来看这么一段代码
var a = 1
function foo() {
if(false){
var a = 1
}
console.log('a:'+a);//a = undefined
}
foo()
为什么会这样？ if条件语句明明就没有执行，我们打印的应该是全局变量a才对。
其实很简单，首先要知道js查询变量的机制。
下面给出《javascript高级程序设计3》中的解释。
当在某个环境中为了读取或写入而引用一个标识符时，必须通过搜索来确定该标识符实际代表什么。搜索过程从作用域链的前端开始，向上逐级查询与给定名字匹配的标识符。如果在局部环境中找到了该标识符，搜索过程停止，变量就绪。如果在局部环境中没有找到该变量名，则继续沿作用域链向上搜索。搜索过程将一直追溯到全局环境的变量对象。如果在全局环境中也没有找到这个标识符，则意味着该变量尚未声明。
通过下面这个示例，可以理解查询标识符的过程
var color = "blue";
function getColor(){
return color;
}
alert(getColor()); //"blue"
调用本例中的函数getColor()时会引用变量color。为了确定变量color 的值，将开始一个两步的搜索过程。首先，搜索getColor()的变量对象，查找其中是否包含一个名为color 的标识符。在没有找到的情况下，搜索继续到下一个变量对象（全局环境的变量对象），然后在那里找到了名为color 的标识符。因为搜索到了定义这个变量的变量对象，搜索过程宣告结束。
在这个搜索过程中，如果存在一个局部的变量的定义，则搜索会自动停止，不再进入另一个变量对象。换句话说，如果局部环境中存在着同名标识符，就不会使用位于父环境中的标识符，如下面的例子所示：
var color = "blue";
function getColor(){
var color = "red";
return color;
}
alert(getColor()); //"red"
修改后的代码在getColor()函数中声明了一个名为color 的局部变量。调用函数时，该变量就会被声明。而当函数中的第二行代码执行时，意味着必须找到并返回变量color 的值。搜索过程首先从局部环境中开始，而且在这里发现了一个名为color 的变量，其值为"red"。因为变量已经找到了，所以搜索即行停止，return 语句就使用这个局部变量，并为函数会返回"red"。也就是说，任何位于局部变量color 的声明之后的代码，如果不使用window.color 都无法访问全局color变量。
好，到这里问题又来了，开始例子中并没有声明局部变量a啊（if条件语句永远不执行），那为什么仍然访问不到?
这里要引入变量提升的概念。先看一段代码
console.log('a:'+a)//a:undefined
var a = 1
console.log('a:'+a)//a:1
实际上，JavaScript 中，变量可以在使用后声明，也就是变量可以先使用再声明。
变量提升：函数声明和变量声明总是会被解释器悄悄地被"提升"到方法体的最顶部。
但JavaScript 只有声明的变量会提升，初始化的不会。
所以这也是为什么没有报错，但a却是undefined而不是1的原因。
这段代码可以等效于这样
var a
console.log('a:'+a)// a:undefined
a = 1
console.log('a:'+a)//a:1
好啦，知道了这个后，上面那个问题就很简单了。
实际上，虽然if条件语句里的代码并没有执行，但解释器一开始就会进行变量提升。等效于这样：
var a = 1
function foo() {
var a
if(false){
a = 1
}
console.log('a:'+a);//a = undefined
}
foo()
由于变量提升，在函数里就已经搜索到了局部变量a，继而停止搜索。所以最终无法获取全局变量a，出现问题。
PS:从这里可以看出，变量提升这个功能是为了防止某些错误的发生而迁就了开发者，但实际上，这个功能可能反而是不利的
