作用域

本文介绍 JavaScript 中的作用域。从作用域是什么聊起,介绍 JavaScript 的词法作用域,再从词法作用域聊到动态作用域,将二者进行对比。讲完了作用域的分类,我们用一个例子解释作用域的作用。然后讲作用域的分类以及如何因为特性写函数

作用域是什么?

编译原理

程序中的一段源代码在执行之前会经历三个步骤,统称“编译”

  • 分词/词法分析(Tokenizing/Lexing)
    • 例如将 var a = 2; 拆解成最基本的词法单元 vara=2
  • 解析/语法分析(Parsing)
  • 将词法单元流(数组)转换成一个由原生逐级嵌套所组成的代表了程序语法结构的数。这个树称为“抽象语法树”(AST,这个也是现代前端框架的关键所在)
  • 代码生成
    • 将 AST 转换为可执行代码的过程被称为代码生成

——《你不知道的JavaScript上卷》

简单来说:任何 JavaScript 代码片段在执行前都要进行编译

理解作用域

变量的赋值操作会执行两个动作,首先编译器会在当前作用域中声明一个变量(如果之前没有声明过),然后在运行时引擎会在作用域中查找该变量,如果能够找到就对它赋值

作用域嵌套

作用域是根据名称查找变量的一套规则

当一个块或函数嵌套在另一个块或函数中时,就发生了作用域的嵌套。因此,在当前作用域中无法找到某个变量时,引擎就会在外层嵌套的作用域中继续查找,直到找到该变量,或抵达最外层的作用域(也就是全局作用域)为止

我们通过一个例子来理解作用域

var a = 1;
function foo() {
    var a = 2;
    console.log(a);
    var myFunction = (function () {
        var a = 3;
        console.log(a);
    })();
}
function bar() {
    var a = 4;
    foo();
}
bar(); // 2 3

将函数翻译成图像如下:

作用域示意图

每一个作用域就是一个域,在这个域中你的变量可以自定义,可以和外边的一样,也可以随便起,但代码执行时,先在执行域中找变量,找不到再往外层找,一层一层直到全局作用域

注意哦,你代码写在哪里,你的作用域就定位在哪里,在例子中,foo 函数和 bar 函数是同级(同一层面),它们内部的变量互不影响,这就是 JavaScript 的作用域

词法作用域和动态作用域

作用域共有两种主要的工作模式。第一种是最为普遍的,被大多数编程语言所采用的词法作用域,另一种叫做动态作用域,如 Bash 脚本

词法作用域是一套引擎如何寻找变量以及会在何处找到变量的规则。词法作用域最重要的特征是它的定义过程发生在代码的书写阶段(假设你没有使用 eval 或 with),即你写好后你的作用域就定了

JavaScript 并不具有动态作用域。它只有词法作用域,简单明了,但是 this 机制某种程度上很像动态作用域

主要区别:词法作用域是在写代码或者说定义时确定的,而动态作用域是在运行时确定的(this 也是!)

词法作用域关注函数在何处声明,而动态作用域关注函数从何处调用

词法作用域

function foo() {
    console.log(a);
}

function bar() {
    var a = 3;
    foo();
}

var a = 2;

bar(); // a = 2

动态作用域

PS:假设 JavaScript 中有动态作用域,实际上是没有的

function foo() {
    console.log(a);
}

function bar() {
    var a = 3;
    foo();
}

var a = 2;

bar(); // a = 3

你可以形象的理解成,动态作用域是动的,我的 bar 在全局调用,bar 中又调用了 foo,调用 foo 打印 console.log(a),既然这样,就可以理解成这种思考模式:

- function foo() {
-    console.log(a)
- }

function bar() {
    var a = 3;
    + function foo() {
    +    console.log(a)
	+ }
}

var a = 2;

bar()

将 foo 函数搬到 bar 函数中,那么我调用 bar 的时候,在 bar 函数中,a 自然就是 3 。这是一种区别于 词法作用域的一种思维模式,和 this 的情况是一样的(谁调用我,我就指向谁。很动态吧)

这也是 JavaScript 中让人着急的地方,一个语言中两种模式的存在,当你学会作用域后,以作用域的思考模式去理解 this 时,你常感到困惑,为什么 this 要指来指去,明明可以在子函数中写 this.nameopen in new window = name ,为什么还要先赋值给 that。现在看到动态作用域是不是解惑了一些,原来,作用域是作用域,this 则以动态的形式存在于对象中的

作用域的作用

笔者这里有个回调函数,当你明白这个例子,你对作用域的理解就已登堂入室入门:

var a = 1;
console.log(a);
var myFunction = (function () {
    var a = 2;
    console.log(a);
    var myNextFuntion = (function () {
        var a = 3;
        console.log(a);
        var myNextNextFunction = (function () {
            var a = 4;
            console.log(a);
        })();
    })();
})();

每一个函数中,必然有作用域,作用域就是领域,在我们领域中,打印出的 a 就是我作用域中的 a。作用域链就是如果我的作用域里没有,往我的上级找,知道找到这个变量(找不到就是 undefined)

另外一种角度:函数中的变量为私有变量,只有本函数才能访问。上级作用域不能访问下级作用域中的变量

作用域中的分类

在 JavaScript 中,作用域是执行代码的上下文。作用域有四种类型:全局作用域、函数作用域(也称“局部作用域”)、块作用域(block)和 eval 作用域

在函数内部使用 var 定义的代码,其作用域是局部的,且只对该函数的其他表达式是“可见的”,包括嵌套/子函数中的代码。在全局作用域内定义的变量从任何地方都可以访问,因为它是作用域链中的最高层/最后一个。

如下代码,因为作用域的影响,foo 的每个声明都是独一无二的

var foo = 0; // 全局作用域
console.log(foo); // 0
var myFunction = (function () {
    var foo = 1; // 函数作用域
    console.log(foo); // 1
    var myNestFunction = (function () {
        var foo = 2; // 函数作用域
        console.log(foo); // 2
    })();
})();
eval('var foo = 3; console.log(foo);'); // eval() 作用域
// let/const 块作用域,变量无法提升
for (let i = 0; i < 5; i++) {
    setTimeout(function() {
        console.log(i)
    });
}

因为全局作用域和函数作用域已经是介绍作用域是什么时讲过,而且概念相对简单,这里不再赘述。eval() 函数会将传入的字符串当做 JavaScript 代码执行,也就是一句话一个作用域,很好理解,笔者也不再讲。让我们看看块级作用域

块级作用域

在 ES6 之前我们是没有块级作用域的,ES6 中的 let关键字 , const关键字 能形成块作用域

我们先想一想没有块级作用域时会发生什么问题:

for (var i = 0; i < 5; i++) {
    setTimeout(function () {
        console.log(i); // 55555
    });
}

我们希望它是怎么样的呢?在 for 循环中,每一个 i 都是独立的,即使是 setTimeout 有延迟作用下,每个 i 都是进入事件循环队列中,然后一个一个打印出来

但是实际情况是,var i = 0 暴露在全局作用域中,因为 setTimeout 有滞后性(只要是 setTimeout 就把其中的函数塞入宏任务中),所以先执行完 for 循环,for 循环的结果是 1,2,3,4,5。但因为 i 是全局变量,所以 setTimeout 中的 i 统一为 5

怎么破?在 ES6 之前,将 for 循环中的函数改成立即执行函数(形成作用域),每次循环,IIFE 就会生成一个新的作用域,使得延迟函数的调回可以将新的作用域封闭在每个循环内部,每个迭代中都会含有一个具有正确值的变量供我们访问

for (var i = 0; i < 5; i++) {
    (function (j) {
        setTimeout(function () {
            console.log(j);
        });
    })(i);
}
// 1 2 3 4 5

每传入一个 i 就执行函数,每一个 i 所处的作用域都是独立的

后来有了 ES6 后,只需讲 var 改成 let 即可

for (let i = 0; i < 5; i++) {
    setTimeout(function () {
        console.log(i);
    });
}

原因很简单,因为 let 自带块级作用域,详细情况笔者在 Promise面试题思考延伸open in new window 做过解释,这里不做过多介绍。只需要知道有 let 和 const 的地方,它定义的变量 i 就被包裹在块级作用域中(域有绝对领域,变量自成一体)

这样我们就又有种方法解决 for 循环中 setTimeout 自变量改变的问题了。这里希望你能明白一个知识点。ES6 之前 JavaScript 是没有块级作用域概念的,只能通过立即执行函数来做出块级作用域的效果,或者说因为函数作用域的变量外界不能访问,相当于确保函数中的变量不会被改变。而 ES6 之后,let,const 关键字能起到块级作用域的效果

接下来我们来说说立即执行函数的意义

IIFE(立即执行函数)

当我们开发一个网站时,往往会引入一些库,比如 JQuery 等,当我们使用这些库时,假设这些库的写法都很乐色,没有隐藏其内部作用域,那么我们将面临命名冲突。

为了解决这个问题,才有了模块化的概念,这个问题也在 ES6 中找到了答案,import export

在没有模块化之前,我们常用的方法是立即执行函数(IIFE)

var a = 1;
(function () {
    var a = 2;
    console.log(a); // 2
})()
(function (name) {
    console.log(name); // johnny
})('johnny');
// jquery
(function(global, factory){
})(typeof window !== "underfined" ? window: this, function(window, noGlobal){
});

每一个引用的库引入就执行,变量存在于所在作用域中,库与库之间因为函数独立,所以命名方法互不影响,就不会勿扰到全局

换个方式理解:首先它是函数,所以它有作用域,作用域能起到变量存在函数中,不会暴露在全局中,就起到了变量不被污染;立即执行就是直接调用函数,这样你引入库就能直接用了(一般库会挂载在 window 对象上)

匿名函数

没有函数名,好理解,就是个”工具人“

var foo = function () {
    console.log('hello world');
};
foo();
setTimeout(function () {
    console.log('hello,setTimeout');
});

立即执行函数

就是直接调用它,怎么调用函数,加上 () 即可

(function () {
    console.log('hello world');
})();

匿名函数直接调用,这种写法能确保匿名函数中的变量是独立的。因为函数作用域中的变量外界不能访问,变量就独立了

所以,立即执行函数是函数,函数就有(函数)作用域,在作用域中变量就不会被外界影响

作用域设计

如下函数:

function doSomething(a) {
    b = a + doSomethingElse(a * 2);
    console.log(b * 3);
}

function doSomethingElse(a) {
    return a - 1;
}
var b;

doSomething(2); // 15

你觉得这样的写法有问题吗?

虽然我们我可以这样写函数,但因为作用域的原因(词法作用域:定义在哪里,就在哪里形成作用域),隐形的在全局建造了 doSomethingElse 的作用域,也就是说 doSomethingElse 和 doSomething 是同等级的作用域

作用域-隐形作用域

但我们想表达的是这个意思吗?

并不是,我们希望 doSomethingElse 能在 doSomething 函数中,它的作用域在 doSomething 作用域中

function doSomething(a) {
    function doSomethingElse(a) {
        return a - 1;
    }

    var b;

    b = a + doSomethingElse(a * 2);

    console.log(b);
}

doSomething(2); // 15

在设计上将具体内容私有化, 无论是变量 b 还是函数 doSomethingElse 都属于 doSomething 的私有变量(或函数)。即全局作用域不能访问 doSomethingElse,只有在 doSomething 函数中才能调用 doSomethingElse

总结

无论函数在哪里被调用,也无论它如何被调用,它的词法作用域都只由函数被声明时所处的位置决定

词法作用域意味着作用域是由书写代码时函数声明的位置来决定的。编译的词法分析阶段基本能够知道全部标识符在哪里以及是如何声明的,从而能够预测在执行过程中如何对它们进行查找

词法作用域就是定义在词法阶段的作用域。换句话说,词法作用域是由你在写代码时将变量和块作用域写在哪里来决定的,因此当词法分析器处理代码时会保持作用域不变(大部分情况下是这样的)

作用域在函数定义的时候就决定了。函数会保存一个[[scope]]属性,它保存了父作用域对象

参考资料

  • 你不知道的JavaScript上卷
Last Updated:
Contributors: johan