函数作用域 指属于这个函数的全部变量都可以在整个函数的范围内使用及复用(事实上在嵌套的作用域中也可以使用)。这种设计方案是非常有用的,能充分利用 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
所控制。功能性和最终效果都没有受影响,但是设计上将具体内容私有化了,设计良好的软件都会依次进行实现。
隐藏作用域中的变量和函数可以避免同名标识符之间的冲突,两个标识符可能具有相同的名字但用途却不一样,无意间可能造成命名冲突。冲突会导致变量的值被意外覆盖。
🌰 代码示例:
function foo() {function bar(a) {// 修改 for 循环所属作用域中的 ii = 3;console.log(a + i);}for (var i = 0; i < 10; i++) {// 糟糕,无限循环了!bar(i * 2);}}foo();
变量冲突的一个典型例子存在于全局作用域中。当程序中加载了多个第三方库时,如果它们没有妥善地将内部私有的函数或变量隐藏起来,就会很容易引发冲突。
这些库通常会在全局作用域中声明一个名字足够独特的变量,通常是一个对象。这个对象被用作库的命名空间,所有需要暴露给外界的功能都会成为这个对象(命名空间)的属性,而不是将自己的标识符暴露在顶级的词法作用域中。
const MyReallyCoolLibrary = {awesome: 'stuff',doSomething: function () {// ...},doAnotherThing: function () {// ...},};
另外一种避免冲突的办法和现代的模块机制很接近,就是众多模块管理器中挑选一个来使用。使用这些工具,任何库都无需将标识符加入到全局作用域中,而是通过依赖管理器的机制将库的标识符显式地导入到另外一个特定的作用域中。
显而易见,这些工具并没有能够违反词法作用域规则的功能。它们只是利用作用域的规则强制所有标识符都不能注入到共享作用域中,而是保持在私有、无冲突的作用域中,这样可以有效规避掉所有的意外冲突,
因此,只要你愿意,即使不使用任何依赖管理工具也可以实现规避冲突的功效。
在任意代码片段外部添加包装函数,可以将内部的变量和函数定义 隐藏 起来,外部作用域无法访问包装函数内部的任何内容。
const a = 2;function foo() {// <-- 添加这一行const a = 3;console.log(a); // 3} // <-- 以及这一行foo(); // <-- 以及这一行console.log(a); // 2
虽然这种技术可以解决一些问题,但是它并不理想,因为会导致一些额外的问题。首先,必须声明一个具名函数 foo()
,意味着 foo
这个名称本身"污染"了所在作用域(在这个例子中是全局作用域)。其次,必须显式地通过函数名foo()
调用这个函数才能运行其中的代码。
如果函数不需要函数名(或者至少函数名可以不污染所在作用域),并且能够自动运行,这将会更加理想。
无论是匿名还是具名,都是针对 函数表达式 的。函数声明必须有名称,否则报错。
// 函数声明function foo() {// do something}
而函数表达式可以有名称也可以没有名称。
匿名函数表达式:
let foo = function () {// do something};console.log(foo.name);// foo
具名函数表达式:
// 不要这样写let bar = function foobar() {// do something};console.log(bar.name);// foobar
对于函数表达式最熟悉的场景可能就是回调参数了。
setTimeout(function () {console.log('I waited 1 second!');}, 1000);
这叫 匿名函数表达式,因为 function(){}
是没有名称的标识符。
⚠️ 注意:函数表达式可以是匿名的,而 函数声明 是不可以省略函数名。
匿名函数表达式的缺点:
arguments.callee
引用。比如在递归中,另一个函数需要引用自身的例子,是在事件触发后事件监听器需要解绑自身行内函数表达式非常强大且有用——匿名和具名之间的区别并不会对这点有任何影响。给函数表达式指定一个函数名可以有效解决以上问题。始终给函数表达式命名时一个最佳实践。
立即执行函数表达式 又称 自执行函数,社区给他规定了术语为 IIFE(Immediately Invoked Function Expression)。
🌰 代码示例:
(function () {// do somethingconsole.log('IIFE');})();
IIFE 的另一个非常普遍的进阶用法是把它们当作函数调用并传递参数进去。
var a = 2;(function IIFE(global) {var a = 3;console.log(a);// 3console.log(global.a);// 2})(window);console.log(a);// 2