一：函数作用域
先看一小段代码：
[javascript] view plain copy
var scope="global"
function t(){
console.log(scope)
var scope="local"
console.log(scope)
}
t()
(PS: console.log()是firebug提供的调试工具，很好用，有兴趣的童鞋可以用下，比浏览器+alert好用多了）第一句输出的是： "undefined"，而不是 "global"第二讲输出的是："local"
你可能会认为第一句会输出："global",因为代码还没执行var scope="local",所以肯定会输出“global"。
我说这想法完全没错，只不过用错了对象。我们首先要区分Javascript的函数作用域与我们熟知的C/C++等的块级作用域。
在C/C++中，花括号内中的每一段代码都具有各自的作用域，而且变量在声明它们的代码段之外是不可见的。而Javascript压根没有块级作用域，而是函数作用域.
所谓函数作用域就是说：-》变量在声明它们的函数体以及这个函数体嵌套的任意函数体内都是有定义的。
所以根据函数作用域的意思，可以将上述代码重写如下：
[javascript] view plain copy
var scope="global"
function t(){
var scope
console.log(scope)
scope="local"
console.log(scope)
}
t()
我们可以看到，由于函数作用域的特性，局部变量在整个函数体始终是由定义的，我们可以将变量声明”提前“到函数体顶部，同时变量初始化还在原来位置。
为什么说Js没有块级作用域呢，有以下代码为证：
[javascript] view plain copy
var name="global"
if(true){
var name="local"
console.log(name)
}
console.log(name)
都输出是“local",如果有块级作用域，明显if语句将创建局部变量name,并不会修改全局name,可是没有这样，所以Js没有块级作用域。
现在很好理解为什么会得出那样的结果了。scope声明覆盖了全局的scope,但是还没有赋值，所以输出：”undefined“。
所以下面的代码也就很好理解了。
[javascript] view plain copy
function t(flag){
if(flag){
var s="ifscope"
for(var i=0i<2i++)
}
console.log(i)
console.log(s)
}
t(true)
输出：2 ”ifscope"
二：变量作用域
还是首先看一段代码：
[javascript] view plain copy
function t(flag){
if(flag){
s="ifscope"
for(var i=0i<2i++)
}
console.log(i)
}
t(true)
console.log(s)
就是上面的翻版，知识将声明s中的var去掉。
程序会报错还是输出“ifscope"呢？
让我揭开谜底吧，会输出：”ifscope"
这主要是Js中没有用var声明的变量都是全局变量，而且是顶层对象的属性。
所以你用console.log(window.s)也是会输出“ifconfig"当使用var声明一个变量时，创建的这个属性是不可配置的，也就是说无法通过delete运算符删除var name=1->不可删除
sex=”girl“ ->可删除
this.age=22->可删除
三：作用域链
先来看一段代码：
[javascript] view plain copy
name="lwy"
function t(){
var name="tlwy"
function s(){
var name="slwy"
console.log(name)
}
function ss(){
console.log(name)
}
s()
ss()
}
t()
当执行s时，将创建函数s的执行环境(调用对象),并将该对象置于链表开头，然后将函数t的调用对象链接在之后，最后是全局对象。然后从链表开头寻找变量name,很明显name是"slwy"。
但执行ss()时，作用域链是： ss()->t()->window,所以name是”tlwy"下面看一个很容易犯错的例子：
[html] view plain copy
<html>
<head>
<script type="text/javascript">
function buttonInit(){
for(var i=1i<4i++){
var b=document.getElementById("button"+i)b.addEventListener("click",function(){ alert("Button"+i)},false)}
}
window.onload=buttonInit
</script>
</head>
<body>
<button id="button1">Button1</button>
<button id="button2">Button2</button>
<button id="button3">Button3</button>
</body>
</html>
当文档加载完毕，给几个按钮注册点击事件，当我们点击按钮时，会弹出什么提示框呢？
很容易犯错，对是的，三个按钮都是弹出："Button4",你答对了吗？
当注册事件结束后，i的值为4，当点击按钮时，事件函数即function(){ alert("Button"+i)}这个匿名函数中没有i,根据作用域链，所以到buttonInit函数中找，此时i的值为4，所以弹出”button4“。
四：with语句
说到作用域链，不得不说with语句。with语句主要用来临时扩展作用域链，将语句中的对象添加到作用域的头部。
看下面代码
[javascript] view plain copy
person={name:"yhb",age:22,height:175,wife:{name:"lwy",age:21}}with(person.wife){
console.log(name)
}
with语句将person.wife添加到当前作用域链的头部，所以输出的就是：“lwy".
with语句结束后，作用域链恢复正常。
执行环境（execution context，为简单起见，有时也称为“环境”）是 JavaScript 中最为重要的一个概 念。执行环境定义了变量或函数有权访问的其他数据，决定了它们各自的行为。每个执行环境都有一个 与之关联的变量对象（variable object），环境中定义的所有变量和函数都保存在这个对象中。虽然我们 编写的代码无法访问这个对象，但解析器在处理数据时会在后台使用它。 全局执行环境是最外围的一个执行环境。根据 ECMAScript 实现所在的宿主环境不同，表示执行环 境的对象也不一样。在 Web 浏览器中，全局执行环境被认为是 window 对象（第 7 章将详细讨论），因 此所有全局变量和函数都是作为 window 对象的属性和方法创建的。某个执行环境中的所有代码执行完 毕后，该环境被销毁，保存在其中的所有变量和函数定义也随之销毁（全局执行环境直到应用程序退 出——例如关闭网页或浏览器——时才会被销毁）。 每个函数都有自己的执行环境。当执行流进入一个函数时，函数的环境就会被推入一个环境栈中。 而在函数执行之后，栈将其环境弹出，把控制权返回给之前的执行环境。ECMAScript 程序中的执行流 正是由这个方便的机制控制着。 当代码在一个环境中执行时，会创建变量对象的一个作用域链（scope chain）。作用域链的用途，是 保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端，始终都是当前执行的代码所 在环境的变量对象。如果这个环境是函数，则将其活动对象（activation object）作为变量对象。活动对 象在最开始时只包含一个变量，即 arguments 对象（这个对象在全局环境中是不存在的）。作用域链中 的下一个变量对象来自包含（外部）环境，而再下一个变量对象则来自下一个包含环境。这样，一直延 续到全局执行环境；全局执行环境的变量对象始终都是作用域链中的最后一个对象。
ES6 之前 JS 没有块级作用域。例如
从上面的例子可以体会到作用域的概念，作用域就是一个独立的 地盘 ，让变量不会外泄、暴露出去。上面的name就被暴露出去了，因此， JS 没有块级作用域，只有全局作用域和函数作用域 。
全局作用域就是最外层的作用域 ，如果我们写了很多行 JS 代码，变量定义都没有用函数包括，那么它们就全部都在全局作用域中。这样的坏处就是很容易撞车、冲突。
这就是为何 jQuery、Zepto 等库的源码，所有的代码都会放在 (function(){....})() 中。因为放在里面的所有变量，都 不会被外泄和暴露 ，不会污染到外面，不会对其他的库或者 JS 脚本造成影响。这是函数作用域的一个体现。
附：ES6 中开始加入了块级作用域，使用let定义变量即可，如下：
首先认识一下什么叫做 自由变量 。如下代码中，console.log(a)要得到a变量，但是在当前的作用域中没有定义a（可对比一下b）。当前作用域没有定义的变量，就称为 自由变量 。自由变量如何得到 —— 向 父级 作用域寻找。
如果父级也没呢？ 再一层一层向上寻找，直到找到全局作用域还是没找到，就宣布放弃 。这种一层一层的关系，就是 作用域链 。
通过例子来理解闭包。
自由变量将从作用域链中去寻找，但是 依据的是函数定义时的作用域链，而不是函数执行时 ，以上这个例子就是闭包。闭包主要有 两个 应用场景：
1.函数 作为 返回值 ，上面的例子就是
2.函数 作为 参数 传递，看以下例子
