什么是作用域(执行环境)?
作用域可以看成是一种规则,这种规则定义了变量是如何存储以及如何访问的。作用域也可以称为执行环境,每个执行环境都有一个变量对象,全局执行环境的变量对象为window,变量对象中保存了该环境中的所有的变量和函数。
作用域是什么时候定义的?
作用域有两种工作模型:词法作用域和动态作用域,JS中的作用域属于词法作用域,即作用域是由代码写在哪里决定的,词法作用域就是定义在词法阶段的作用域。
作用域分类:
- 全局作用域:
全局执行环境是最外层的执行环境,在环境栈的底部,当代码一执行,引擎就进入全局执行环境,全局执行环境只有程序退出后才会被销毁。 - 函数作用域:
当函数运行时,引擎就会进入函数执行环境,并把当前的函数执行环境推入环境栈,直到函数运行完毕,该环境就会被销毁,保存到其中的变量和函数定义也就会被销毁,执行环境重新返回到全局作用域。 - 块作用域:
JS中并没有块作用域的概念,但是可以实现块作用域的功能。比如try catch中的catch就会创建块作用域,还有ES6中的let关键字,为声明的变量劫持了所在的块作用域。
一个实例:
<script>
var a=12;
var b=2;
function hello(){
var b="hello";
console.log(a,b);
}
hello();
console.log(a,b);
</script>
在JS代码执行的时候会有一个环境栈,这个栈中一开始会将全局环境塞入栈中,当遇到hello()这一代码时又会将hello的局部环境塞入栈中,执行函数中的代码,当执行完后,将hello环境弹出栈,把当前的执行环境交还给全局环境,接着执行刚刚的全局代码。
作用域链
当代码在环境中执行的时候,会创建变量对象的一个作用域链,作用域链可以保证执行环境对变量和函数的有序访问。作用域链的最前端的变量对象是当前执行环境的变量对象,后面依次为其外层的执行环境的变量对象,最后为全局执行环境的变量对象。
标识符解析可以沿着作用域链一层一层的查找,先从作用域链的最前端的变量对象开始查找,依次查找,直到找到标识符为止,或者找不到标识符,则抛出错误。
一个实例:
<script>
var a=12;
var b=2;
function hello(){
var b="hello";
console.log(a,b);
}
hello();
console.log(a,b);
</script>
如上述例子,当执行hello()代码时,console.log(a,b)时,由于当前的作用域为hello函数,所以作用域链的前端为hello函数的变量对象,引擎会先在该变量对象中查找a,b,查找a时发现该变量对象没有,则往其外层,也就是全局变量对象查找,发现了a,取得其值,再查找变量b,发现该变量对象中就存在变量b,所以在当前作用域中就取得了b的值。