重读你不知道的JS (上) 第一节三章

时间 2019-12-04

标签重读不知道一节栏目 JavaScript 繁體版

原文原文链接

你不知道的JS(上卷)笔记

你不知道的 JavaScript浏览器

JavaScript 既是一门充满吸引力、简单易用的语言，又是一门具备许多复杂微妙技术的语言，即便是经验丰富的 JavaScript 开发者，若是没有认真学习的话也没法真正理解它们.安全

上卷包括俩节：数据结构

做用域和闭包
this 和对象原型

做用域和闭包

但愿 Kyle 对 JavaScript 工做原理每个细节的批判性思考会渗透到你的思考过程和平常工做中。知其然，也要知其因此然。闭包

函数做用域和块做用域

正如咱们在第 2 章中讨论的那样，做用域包含了一系列的“气泡”，每个均可以做为容器，其中包含了标识符(变量、函数)的定义。这些气泡互相嵌套而且整齐地排列成蜂窝型，排列的结构是在写代码时定义的。函数

可是，到底是什么生成了一个新的气泡?只有函数会生成新的气泡吗? JavaScript 中的其他结构能生成做用域气泡吗?工具

函数中的做用域

JavaScript 具备基于函数的做用域；
不管标识符声明出如今做用域中的何处，这个标识符所表明的变量或函数都将附属于所处做用域的气泡。

函数做用域的含义是指，属于这个函数的所有变量均可以在整个函数的范围内使用及复用(事实上在嵌套的做用域中也可使用)。学习

这种设计方案是很是有用的，能充分利用 JavaScript 变量能够根据须要改变值类型的“动态”特性。这是什么意思？this

隐藏的内部实现

能够把变量和函数包裹在一个函数的做用域中，而后用这个做用域来“隐藏”它们。设计

Q: 为何“隐藏”变量和函数是一个有用的技术?调试

A: 大都是从最小特权原则中引伸出来的，也叫最小受权或最小暴露原则。这个原则是指在软件设计中，应该最小限度地暴露必要内容，而将其余内容都“隐藏”起来，好比某个模块或对象的 API 设计。

设计上将具体内容私有化了，设计良好的软件都会依此进行实现。

规避冲突

全局命名空间
一般会在全局做用域中声明一个名字足够独特的变量，一般是一个对象。这个对象被用做库的命名空间，全部须要暴露给外界的功能都会成为这个对象(命名空间)的属性，而不是将本身的标识符暴漏在顶级的词法做用域中。
模块管理
任何库都无需将标识符加入到全局做用域中，而是经过依赖管理器的机制将库的标识符显式地导入到另一个特定的做用域中。

避免同名标识符之间的冲突

函数做用域

在任意代码片断外部添加包装函数，能够将内部的变量和函数定义“隐
藏”起来，外部做用域没法访问包装函数内部的任何内容。

这种技术能够解决一些问题，可是它并不理想，由于会致使一些额外的问题:

必须声明一个具名函数 foo()，意味着 foo 这个名称自己“污染”了所在做用域(在这个例子中是全局做用域)
必须显式地经过函数名(foo())调用这个函数才能运行其中的代码。

若是函数不须要函数名(或者至少函数名能够不污染所在做用域)，而且可以自动运行，这将会更加理想。

(function foo(){ // <-- 添加这一行
  var a = 3;
  console.log( a ); // 3
})(); // <-- 以及这一行
console.log( a ); // 2

函数声明和函数表达式之间最重要的区别是它们的名称标识符将会绑定在何处。

注意：区分函数声明和表达式最简单的方法是看 function 关键字出如今声明中的位置(不只仅是一行代码，而是整个声明中的位置)。若是 function 是声明中的第一个词，那么就是一个函数声明，不然就是一个函数表达式。

片断中 foo 被绑定在函数表达式自身的函数中而不是所在做用域中。

相似的还有于 +function foo() {}() 对函数求值的操做，都能作到避免泄露

换句话说，(function foo(){ .. })做为函数表达式意味着foo只能在..所表明的位置中被访问，外部做用域则不行。foo 变量名被隐藏在自身中意味着不会非必要地污染外部做用域。

匿名和具名

setTimeout( function() {
         console.log("I waited 1 second!");
}, 1000 );

这叫作匿名函数表达式，由于function()没有名称标识符。函数表达式能够是匿名的，而函数声明则不能够省略函数名.

匿名函数表达式写起来简单快捷，可是它有几个缺点须要考虑：

匿名函数在栈追踪中不会显示出有意义的函数名，使得调试很困难。
若是没有函数名，当函数须要引用自身时，只能使用已通过期的arguments.callee引用，好比在递归中。另外一个函数须要引用自身的例子是在事件触发后事件监听器须要解绑自身。
匿名函数省略了对于代码可读性/可理解性很重要的函数名。一个描述性的名词可让代码不言自明。

行内函数表达式很是强大且有用——匿名和具名之间的区别并会有对这点有任何影响。给函数表达式指定一个函数名能够有效的解决以上问题。

始终给函数表达式命名是一个最佳实践。

setTimeout( function timeoutHandler() { // <-- 快看，我有名字了!
  console.log( "I waited 1 second!" );
}, 1000 );

当即执行函数表达式

几年前社区给它规定了一个术语:IIFE，表明当即执行函数表达式 (Immediately Invoked Function Expression);

IIFE的形式有下面俩种：
(function(){ .. })()
(function(){ .. }())

用法1，把它们看成函数调用并传递参数进去
例如:
```
var a = 2;
(function IIFE( global ) {
  var a = 3;
  console.log( a ); // 3 
  console.log( global.a ); // 2
})( window );
console.log( a ); // 2
```
咱们将 window 对象的引用传递进去，但将参数命名为 global，所以在代码风格上对全局对象的引用变得比引用一个没有“全局”字样的变量更加清晰。固然能够从外部做用域传递任何你须要的东西，并将变量命名为任何你以为合适的名字。这对于改进代码风格是非常有帮助的。
用法2，解决 undefined 标识符的默认值被错误覆盖致使的异常(虽然不常见)。
例如：将一个参数命名为 undefined，可是在对应的位置不传入任何值，这样就能够保证在代码块中 undefined 标识符的值真的是 undefined:

undefined = true; // 给其余代码挖了一个大坑!绝对不要这样作!
(function IIFE( undefined ) {
var a;
if (a === undefined) {
```
console.log( "Undefined is safe here!" );
```
}
})();
用法3：倒置代码的运行顺序
例如：将须要运行的函数放在第二位，在 IIFE 执行以后看成参数传递进去。这种模式在 UMD(Universal Module Definition)项目中被广泛使用。尽管这种模式略显冗长，但有些人认为它更易理解。
```
var a = 2;
(function IIFE( def ) {
  def( window );
})(function def( global ) {
  var a = 3;
  console.log( a ); // 3 
  console.log( global.a ); // 2
});
```

块做用域

块做用域的用处：变量的声明应该距离使用的地方越近越好，并最大限度地本地化。

块做用域是一个用来对以前的最小受权原则进行扩展的工具，将代码从在函数中隐藏信息扩展为在块中隐藏信息。

为何要把一个只在 for 循环内部使用(至少是应该只在内部使用)的变量 i 污染到整个
函数做用域中呢?

惋惜，表面上看 JavaScript 并无块做用域的相关功能。

with

with 关键字。它不只是一个难于理解的结构，同时也是块做用域的一个例子(块做用域的一种形式)，用 with 从对象中建立出的做用域仅在 with 声明中而非外部做用域中有效。

try/catch

很是少有人会注意到 JavaScript 的 ES3 规范中规定 try/catch 的 catch 分句会建立一个块做
用域，其中声明的变量仅在 catch 内部有效。

例如:

try {
    undefined(); // 执行一个非法操做来强制制造一个异常
  }
  catch (err) {
    console.log( err ); // 可以正常执行! 
  }
  console.log( err ); // ReferenceError: err not found

尽管这个行为已经被标准化，而且被大部分的标准 JavaScript 环境(除了老版本的 IE 浏览器)所支持，可是当同一个做用域中的两个或多个 catch 分句用一样的标识符名称声明错误变量时，不少静态检查工具仍是会发出警告。实际上这并非重复定义，由于全部变量都被安全地限制在块做用域内部，可是静态检查工具仍是会很烦人地发出警告。为了不这个没必要要的警告，不少开发者会将 catch 的参数命名为 err一、 err2 等。也有开发者干脆关闭了静态检查工具对重复变量名的检查。

let

ES6 改变了现状，引入了新的 let 关键字，提供了除 var 之外的另外一种变量声明方式。

var foo = true;
  if (foo) {
    let bar = foo * 2;
    bar = something( bar );
    console.log( bar );
  }
  console.log( bar ); // ReferenceError

ES6中的if表达式中的{}并不具有块级做用域的划分，仅仅只能代表一个语句块，由于要在其中声明块级做用域变量还须要let来辅助。

let 关键字能够将变量绑定到所在的任意做用域中(一般是 { .. } 内部)。换句话说，let为其声明的变量隐式地了所在的块做用域。

在开发和修改代码的过程中，若是没有密切关注哪些块做用域中有绑定的变量，而且习惯性地移动这些块或者将其包含在其余的块中，就会致使代码变得混乱。
为块做用域显式地建立块能够部分解决这个问题，使变量的附属关系变得更加清晰。一般来说，显式的代码优于隐式或一些精巧但不清晰的代码。显式的块做用域风格很是容易书写，而且和其余语言中块做用域的工做原理一致:

var foo = true;
if (foo) {
  { // <-- 显式的快
    let bar = foo * 2;
    bar = something( bar );
    console.log( bar );
  }
}
console.log( bar ); // ReferenceError

只要声明是有效的，在声明中的任意位置均可以使用 { .. } 括号来为 let 建立一个用于绑定的块。在这个例子中，咱们在 if 声明内部显式地建立了一个块，若是须要对其进行重构，整个块均可以被方便地移动而不会对外部 if 声明的位置和语义产生任何影响。

垃圾收集

另外一个块做用域很是有用的缘由和闭包及回收内存垃圾的回收机制相关。

function process(data) {
// 在这里作点有趣的事情
}
var someReallyBigData = { .. };
process( someReallyBigData );
var btn = document.getElementById( "my_button" );
btn.addEventListener( "click", function click(evt) {
  console.log("button clicked");
}, /*capturingPhase=*/false );

click 函数的点击回调并不须要 someReallyBigData 变量。理论上这意味着当 process(..) 执行后，在内存中占用大量空间的数据结构就能够被垃圾回收了。可是，因为 click 函数造成了一个覆盖整个做用域的闭包，JavaScript 引擎极有可能依然保存着这个结构(取决于具体实现)。

块做用域能够打消这种顾虑，可让引擎清楚地知道没有必要继续保存 someReallyBigData 了:
function process(data) {
// 在这里作点有趣的事情
}
// 在这个块中定义的内容能够销毁了!
{
let someReallyBigData = { .. };
process( someReallyBigData );
}
var btn = document.getElementById( "my_button" );
btn.addEventListener( "click", function click(evt){
console.log("button clicked");
}, /capturingPhase=/false );

为变量显式声明块做用域，并对变量进行本地绑定是很是有用的工具，能够把它添加到你
的代码工具箱中了。

let循环

for 循环头部的 let 不只将 i 绑定到了 for 循环的块中，事实上它将其从新绑定到了循环的每个迭代中，确保使用上一个循环迭代结束时的值从新进行赋值。

每一个迭代进行从新绑定的缘由很是有趣，咱们会在第 5 章讨论闭包时进行说明。

const

除了 let 之外，ES6 还引入了 const，一样能够用来建立块做用域变量，但其值是固定的 (常量)。以后任何试图修改值的操做都会引发错误。

小结

函数是 JavaScript 中最多见的做用域单元。本质上，声明在一个函数内部的变量或函数会在所处的做用域中“隐藏”起来，这是有意为之的良好软件的设计原则。但函数不是惟一的做用域单元。块做用域指的是变量和函数不只能够属于所处的做用域，也能够属于某个代码块(一般指 { .. } 内部)。

从 ES3 开始，try/catch 结构在 catch 分句中具备块做用域。

在 ES6 中引入了 let 关键字(var 关键字的表亲)，用来在任意代码块中声明变量。if (..) { let a = 2; } 会声明一个劫持了 if 的 { .. } 块的变量，而且将变量添加到这个块中。有些人认为块做用域不该该彻底做为函数做用域的替代方案。两种功能应该同时存在，开发者能够而且也应该根据须要选择使用何种做用域，创造可读、可维护的优良代码。