当你在当前上下文内进行这种“隐式”声明时，javascript引擎会先在当前上下文中寻找是否之前有声明此变量，如果没有，再到上一级的上下文中去寻找，如果一直未找到，会最后在window上声明这个变量！
window. y = "hello";
function func(){
y = "OH, NO!!!";
}
func();
alert(window.y); //#=> display "OH, NO!!!"当上下文中的任意一层有这种“隐式”定义的变量时，那么该层的该变量会被修改，而不会在window上生成一个新的变量。
var x = "window.x";
function a() {
var x = "a's x";
var b = function() {
var c = function() {
//no var!
x = "c's x:";
};
alert("before c run,the b.x:" + x);
c();
alert("after c run, the b.x:" + x);
};
alert("a.x is:" + x);
b();
alert("after b function runed, the a.x is:" + x);
};
alert("before a run, window.x:" + x);
a();
alert("after a run, window.x:" + x);由一段问题引发的思考
一、迷思！由一段代码引发的疑惑
for(var i=0;i<3;i++) {
console.log(j+","+k);
for(var j=0;j<3;j++) {
var k = j+1;
}
}
console.log(i);输出结果：
立即学习“Java免费学习笔记（深入）”；
undefined,undefined 3,3 3,3 3
如果你是搞c、java等语言的，可能你会不解，为何j、k这种局部变量可以被作用域外的代码访问呢？
如果JavaScript中用var声明的变量可视为局部变量，那么能访问到这个变量的作用域就是这个变量的局部作用域。如上例，在console.log行处，依然有j、k的作用域，而循环外，依然有i的作用域。说到这里，也许我可以武断的说，JavaScript没有真正意义的局部作用域。真的吗？非也！
二、如何获得真正的局部作用域呢？一个写法引起了我的注意
大家也许看过JQuery的源码或者Ext的源码，也许会对下面的写法有点熟悉。
动态WEB网站中的PHP和MySQL详细反映实际程序的需求，仔细地探讨外部数据的验证(例如信用卡卡号的格式)、用户登录以及如何使用模板建立网页的标准外观。动态WEB网站中的PHP和MySQL的内容不仅仅是这些。书中还提到如何串联JavaScript与PHP让用户操作时更快、更方便。还有正确处理用户输入错误的方法，让网站看起来更专业。另外还引入大量来自PEAR外挂函数库的强大功能，对常用的、强大的包
var a = 3,b=4;
var exports = (function() {
var a = 1,b=2;
return {a:a,b:b};
})();
console.log(""+a+","+b);
console.log(exports.a+","+exports.b);输出结果:
3,4 1,2
很神奇的发现（其实也不神奇，大家都知道啦）函数内部是有独立作用域的，即函数内部var声明的变量，仅在函数内部可以使用。所以各框架各大师都这么写，防止自身局部变量与外界变量（外层局部变量与全局变量）冲突。
至此，我收回第一条里的武断推断，修改一下：
JavaScript以函数为界，每个函数内部拥有一个局部作用域；任何其他的块（包括普通代码块，for循环、if、while等代码块）不存在局部作用域，使用var声明的变量可以直接穿过这些代码块，可以被外部代码访问到。
三、何时报错，何时undefined？var的声明机制
看代码：
console.log(a)
ReferenceError: a is not defined
undefined
var exports = (function() {
var a = 1,b=2;
return {a:a,b:b};
})();
console.log(a);输出结果：
立即学习“Java免费学习笔记（深入）”；
ReferenceError: a is not defined
猜想结论：
每次JavaScript引擎执行代码时，会先扫描作用域中的所有代码（作用域中的function内部的代码不会扫描），并将所有var声明的变量记录下来，在代码执行到赋值之前，这些变量的值为undefined。此后如果访问变量时，先访问局部变量，如果没有这个局部变量就访问上一层的局部变量（如为闭包，上一层为闭包创建环境），直到访问到完全局变量。如果都没有这个变量，那么抛出异常。
