但是,究竟是什么生成了一个新的气泡?只有函数会生成新的气泡吗? JavaScript 中的其 他结构能生成作用域气泡吗?

函数中的作用域

对于前面提出的问题,最常见的答案是 JavaScript 具有基于函数的作用域,意味着每声明 一个函数都会为其自身创建一个气泡,而其他结构都不会创建作用域气泡。但事实上这并 不完全正确,下面我们来看一下。 首先需要研究一下函数作用域及其背后的一些内容。 考虑下面的代码:

function foo(a) { var b = 2;
// 一些代码
function bar() { // ...
}

在这个代码片段中,foo(..) 的作用域气泡中包含了标识符 a、b、c 和 bar。无论标识符 声明出现在作用域中的何处,这个标识符所代表的变量或函数都将附属于所处作用域的气 泡。我们将在下一章讨论具体的原理。 bar(..) 拥有自己的作用域气泡。全局作用域也有自己的作用域气泡,它只包含了一个标 识符:foo。 由于标识符 a、b、c 和 bar 都附属于 foo(..) 的作用域气泡,因此无法从 foo(..) 的外部 对它们进行访问。也就是说,这些标识符全都无法从全局作用域中进行访问,因此下面的 代码会导致 ReferenceError 错误:

bar(); // 失败
console.log( a, b, c ); // 三个全都失败

但是,这些标识符(a、b、c、foo 和 bar)在 foo(..) 的内部都是可以被访问的,同样在 bar(..) 内部也可以被访问(假设 bar(..) 内部没有同名的标识符声明)。 函数作用域的含义是指,属于这个函数的全部变量都可以在整个函数的范围内使用及复 用(事实上在嵌套的作用域中也可以使用)。这种设计方案是非常有用的,能充分利用 JavaScript 变量可以根据需要改变值类型的“动态”特性。 但与此同时,如果不细心处理那些可以在整个作用域范围内被访问的变量,可能会带来意 想不到的问题。

隐藏内部实现

对函数的传统认知就是先声明一个函数,然后再向里面添加代码。但反过来想也可以带来 一些启示:从所写的代码中挑选出一个任意的片段,然后用函数声明对它进行包装,实际 上就是把这些代码“隐藏”起来了。 实际的结果就是在这个代码片段的周围创建了一个作用域气泡,也就是说这段代码中的任 何声明(变量或函数)都将绑定在这个新创建的包装函数的作用域中,而不是先前所在的 作用域中。换句话说,可以把变量和函数包裹在一个函数的作用域中,然后用这个作用域 来“隐藏”它们。

有很多原因促成了这种基于作用域的隐藏方法。它们大都是从最小特权原则中引申出来 的,也叫最小授权或最小暴露原则。这个原则是指在软件设计中,应该最小限度地暴露必 要内容,而将其他内容都“隐藏”起来,比如某个模块或对象的 API 设计。 这个原则可以延伸到如何选择作用域来包含变量和函数。如果所有变量和函数都在全局作 用域中,当然可以在所有的内部嵌套作用域中访问到它们。但这样会破坏前面提到的最小 特权原则,因为可能会暴漏过多的变量或函数,而这些变量或函数本应该是私有的,正确 的代码应该是可以阻止对这些变量或函数进行访问的。 例如:

function doSomething(a) {
b = a + doSomethingElse( a * 2 );
         console.log( b * 3 );
     }
function doSomethingElse(a) { return a - 1;
}
var b;
doSomething( 2 ); // 15

在这个代码片段中,变量 b 和函数 doSomethingElse(..) 应该是 doSomething(..) 内部具体 实现的“私有”内容。给予外部作用域对 b 和 doSomethingElse(..) 的“访问权限”不仅 没有必要,而且可能是“危险”的,因为它们可能被有意或无意地以非预期的方式使用, 从而导致超出了 doSomething(..) 的适用条件。更“合理”的设计会将这些私有的具体内 容隐藏在 doSomething(..) 内部,例如:

function doSomething(a) { function doSomethingElse(a) {
return a - 1; }
var b;
         b = a + doSomethingElse( a * 2 );
         console.log( b * 3 );
     }
     doSomething( 2 ); // 15

现在,b 和 doSomethingElse(..) 都无法从外部被访问,而只能被 doSomething(..) 所控制。 功能性和最终效果都没有受影响,但是设计上将具体内容私有化了,设计良好的软件都会 依此进行实现。