JavaScript开发经典：你不知道的JavaScript三卷

　　"语言有很多复杂的概念，但却用简单的方式体现出来（比如回调函数），因此，开发者无需理解语言内部的原理，就能编写出功能全面的程序；就像收音机一样，你无需理解里面的管子和线圈都是做什么用的，只要会操作收音机上的按键，就可以收听你喜欢的节目。然而，的这些复杂精妙的概念才是语言的精髓，即使是经验丰富的开发者，如果没有认真学习也无法真正理解语言本身的特性。正是因为绝大多数人不求甚解，一遇到出乎意料的行为就认为是语言本身有缺陷，进而把相关的特性加入黑名单，久而久之就排除了这门语言的多样性，人为地使它变得不完整、不安全。
　　“你不知道的”系列就是要让不求甚解的开发者迎难而上，深入语言内部，弄清楚每一个零部件的用途。本书介绍了该系列的两个主题：“作用域和闭包”以及“this和对象原型”。掌握了这些知识之后，无论什么技术、框架和流行词语，你都能轻松理解。"

　　很多人对这门语言的印象都是简单易学，很容易上手。虽然语言本身有很多复杂的概念，但语言的使用者不必深入理解这些概念就可以编写出功能全面的应用。殊不知，这些复杂精妙的概念才是语言的精髓，即使是经验丰富的开发人员，如果没有认真学习的话也法真正理解它们。在《图灵程序设计丛书：你不知道的（上卷）》中，我们要直面当前开发者“不求甚解”的大趋势，深入理解语言内部的机制。

　　《图灵程序设计丛书：你不知道的（上卷）》既适合语言初学者阅读，又适合经验丰富的开发人员深入学习。
　　这门语言简单易用，很容易上手，但其语言机制复杂微妙，即使是经验丰富的开发人员，如果没有认真学习的话也无法真正理解。本套书直面当前开发人员不求甚解的大趋势，深入理解语言内部的机制，全面介绍了中常被人误解和忽视的重要知识点。本书是其中卷，主要介绍了类型、语法、异步和性能。

　　这门语言简单易用，很容易上手，但其语言机制复杂微妙，即使是经验丰富的开发人员，如果没有认真学习的话也无法真正理解。本套书直面当前开发人员不求甚解的大趋势，深入理解语言内部的机制，全面介绍了中常被人误解和忽视的重要知识点。本书是其下卷，主要介绍了入门知识和对ES6及未来发展趋势的展望。
　　本书既适合语言初学者了解其精髓，又适合经验丰富的开发人员深入学习。

　　Kyle Simpson
　　作家、培训师、讲师、开源社区的活跃成员，推崇开放的互联网，对、HTML5、实时/端对端通信和Web性能有深入研究。

　　单业
　　计算机专业硕士，软件工程师，曾供职于多家软件公司，从事软件开发工作，现居于上海。负责本书第二部分“异步和性能”的翻译。

　　姜南
　　从事过国内外金融、通信、移动互联网、数字出版等领域的IT系统开发工作，擅长的技术有Java、C#、HTML5、、iOS、Android等。长期在独立技术博客——酷壳（coolshell.cn）发表翻译文章。负责本书首部分“类型和语法”的翻译。

前言
第一部分 作用域和闭包
序
第1章 作用域是什么
1.1 编译原理
1.2 理解作用域
1.2.1 演员表
1.2.2 对话
1.2.3 编译器有话说
1.2.4 引擎和作用域的对话
1.2.5 小测验
1.3 作用域嵌套
1.4 异常
1.5 小结
第2章 词法作用域
2.1 词法阶段
2.2 欺骗词法
2.2.1 eval
2.2.2 with
2.2.3 性能
2.3 小结
第3章 函数作用域和块作用域
3.1 函数中的作用域
3.2 隐藏内部实现
3.3 函数作用域
3.3.1 匿名和具名
3.3.2 立即执行函数表达式
3.4 块作用域
3.4.1 with
3.4.2 try/catch
3.4.3 let
3.4.4 const
3.5 小结
第4章 提升
4.1 先有鸡还是先有蛋
4.2 编译器再度来袭
4.3 函数优先
4.4 小结
第5章 作用域闭包
5.1 启示
5.2 实质问题
5.3 现在我懂了
5.4 循环和闭包
5.5 模块
5.5.1 现代的模块机制
5.5.2 未来的模块机制
5.6 小结
附录A 动态作用域
附录B 块作用域的替代方案
附录C this词法
附录D 致谢

第二部分 this和对象原型
序
第1章 关于this
……
目录

前言 XI
第一部分　类型和语法
序　2
第1　章 类型　3
1．1　类型　4
1．2　内置类型　4
1．3　值和类型　6
1．3．1　undefined 和undeclared　6
1．3．2　typeof Undeclared　7
1．4　小结　10
第2　章 值　11
2．1　数组　11
2．2　字符串　13
2．3　数字　15
2．3．1　数字的语法　16
2．3．2　较小的数值　18
2．3．3　整数的安全范围　19
2．3．4　整数检测　20
2．3．5　32 位有符号整数　20
2．4　特殊数值　21
2．4．1　不是值的值　21
2．4．2　undefined　21
2．4．3　特殊的数字　23
2．4．4　特殊等式　27
2．5　值和引用　28
2．6　小结　31
第3　章 原生函数　33
3．1　内部属性[[Class]]　34
3．2　封装对象包装　35
3．3　拆封　36
3．4　原生函数作为构造函数　37
3．4．1　Array(．．)　37
3．4．2　Object(．．)、Function(．．) 和RegExp(．．)　40
3．4．3　Date(．．) 和Error(．．)　41
3．4．4　Symbol(．．)　42
3．4．5　原生原型　43
3．5　小结　45
第4　章 强制类型转换　46
4．1　值类型转换　46
4．2　抽象值操作　47
4．2．1　ToString　48
4．2．2　ToNumber　52
4．2．3　ToBoolean　53
4．3　显式强制类型转换　56
4．3．1　字符串和数字之间的显式转换　57
4．3．2　显式解析数字字符串　62
4．3．3　显式转换为布尔值　65
4．4　隐式强制类型转换　67
4．4．1　隐式地简化　67
4．4．2　字符串和数字之间的隐式强制类型转换　68
4．4．3　布尔值到数字的隐式强制类型转换　71
4．4．4　隐式强制类型转换为布尔值　72
4．4．5　|| 和 　73
4．4．6　符号的强制类型转换　76
4．5　宽松相等和严格相等　77
4．5．1　相等比较操作的性能 ．77
4．5．2　抽象相等
4．6　抽象关系比较　89
4．7　小结　91
第5　章 语法　92
5．1　语句和表达式　92
5．1．1　语句的结果值　93
5．1．2　表达式的副作用　95
5．1．3　上下文规则　99
5．2　运算符优先级　104
5．2．1　短路　107
5．2．2　更强的绑定　107
5．2．3　关联　108
5．2．4　释疑　110
5．3　自动分号　111
5．4　错误　113
5．5　函数参数　115
5．6　try．．finally　117
5．7　switch　120
5．8　小结　122
附录A　混合环境　123
第二部分　异步和性能
序　136
第1　章 异步：现在与将来　138
1．1　分块的程序　139
1．2　循环　141
1．3　并行线程　143
1．4　并发　148
1．4．1　非交互　150
1．4．2　交互　150
1．4．3　协作　154
1．5　任务　156
1．6　语句顺序　157
1．7　小结　159
第2　章 回调　161
2．1　continuation　162
2．2　顺序的大脑　163
2．2．1　执行与计划　164
2．2．2　嵌套回调与链式回调　165
2．3　信任问题　169
2．3．1　五个回调的故事　170
2．3．2　不只是别人的代码　171
2．4　省点回调　173
2．5　小结　176
第3　章 Promise　178
3．1　什么是Promise　179
3．1．1　未来值　179
3．1．2　完成事件　183
3．2　具有then 方法的鸭子类型　188
3．3　Promise 信任问题　190
3．3．1　调用过早　190
3．3．2　调用过晚　191
3．3．3　回调未调用　192
3．3．4　调用次数过少或过多　193
3．3．5　未能传递参数/ 环境值　193
3．3．6　吞掉错误或异常　194
3．3．7　是可信任的Promise 吗　195
3．3．8　建立信任　197
3．4　链式流　198
3．5　错误处理　206
3．5．1　绝望的陷阱　208
3．5．2　处理未捕获的情况　209
3．5．3　成功的坑　211
3．6　Promise 模式　212
3．6．1　Promise．all([ ．． ])　212
3．6．2　Promise．race([ ．． ])　213
3．6．3　all([ ．． ]) 和race([ ．． ]) 的变体　216
3．6．4　并发迭代　217
3．7　Promise API 概述　219
3．7．1　new Promise(．．) 构造器　219
3．7．2　Promise．resolve(．．) 和Promise．reject(．．)　219
3．7．3　then(．．) 和catch(．．)　220
3．7．4　Promise．all([ ．． ]) 和Promise．race([ ．． ])　221
3．8　Promise 局限性　222
3．8．1　顺序错误处理　222
3．8．2　单一值　223
3．8．3　单决议　225
3．8．4　惯性　227
3．8．5　无法取消的Promise　230
3．8．6　Promise 性能　231
3．9　小结　233
第4　章 生成器　234
4．1　打破完整运行　234
4．1．1　输入和输出　236
4．1．2　多个迭代器　239
4．2　生成器产生值　243
4．2．1　生产者与迭代器　243
4．2．2　iterable　246
4．2．3　生成器迭代器　247
4．3　异步迭代生成器　250
4．4　生成器+Promise　254
4．4．1　支持Promise 的Generator Runner　256
4．4．2　生成器中的Promise 并发　258
4．5　生成器委托　262
4．5．1　为什么用委托　264
4．5．2　消息委托　264
4．5．3　异步委托　268
4．5．4　递归委托　268
4．6　生成器并发　269
4．7　形实转换程序　273
4．8　ES6 之前的生成器　279
4．8．1　手工变换　280
4．8．2　自动转换　284
4．9　小结　285
第5　章 程序性能　287
5．1　Web Worker　288
5．1．1　Worker 环境　290
5．1．2　数据传递　291
5．1．3　共享Worker　291
5．1．4　模拟Web Worker　293
5．2　SIMD　293
5．3　asm．js　295
5．3．1　如何使用asm．js 优化　295
5．3．2　asm．js 模块　296
5．4　小结　298
第6　章 性能测试与调优　299
6．1　性能测试　99
6．1．1　重复　300
6．1．2　Benchmark．js　301
6．2　环境为王　303
6．3　jsPerf．com　305
6．4　写好测试　309
6．5　微性能　309
6．5．1　不是所有的引擎都类似　312
6．5．2　大局　314
6．6　尾调用优化　316
6．7　小结　318
附录A　asynquence 库　319
附录B　高级异步模式　339
前言 xi
致谢 xvii
第 一部分 起步上路
序 2
第 1 章 深入编程 4
1．1 代码 4
1．2 表达式 5
1．3 实践 6
1．3．1 输出 7
1．3．2 输入 8
1．4 运算符 9
1．5 值与类型 11
1．6 代码注释 13
1．7 变量 14
1．8 块 16
1．9 条件判断 17
1．10 循环 18
1．11 函数 20
1．12 实践 23
1．13 小结 25
第 2 章 深入 26
2．1 值与类型 26
2．1．1 对象 28
2．1．2 内置类型方法 30
2．1．3 值的比较 31
2．2 变量 35
2．3 条件判断 37
2．4 严格模式 39
2．5 作为值的函数 40
2．5．1 立即调用函数表达式 41
2．5．2 闭包 42
2．6 this标识符 44
2．7 原型 46
2．8 旧与新 47
2．8．1 polyfilling 47
2．8．2 transpiling 48
2．9 非 49
2．10 小结 50
第 3 章 深入“你不知道的”系列 51
3．1 作用域和闭包 51
3．2 this和对象原型 52
3．3 类型和语法 53
3．4 异步和性能 53
3．5 ES6及更新版本 54
3．6 小结 55
第 二部分 ES6及更新版本
序 58
第 1 章 ES？现在与未来 59
1．1 版本 60
1．2 transpiling 61
1．3 小结 63
第 2 章 语法 64
2．1 块作用域声明 64
2．1．1 let声明 65
2．1．2 const声明 68
2．1．3 块作用域函数 70
2．2 spread/rest 71
2．3 默认参数值 73
2．4 解构 77
2．4．1 对象属性复制模式 78
2．4．2 不只是声明 79
2．4．3 重复赋值 81
2．5 太多，太少，刚刚好 83
2．5．1 默认值赋值 84
2．5．2 嵌套解构 84
2．5．3 解构参数 85
2．6　对象字面量扩展 90
2．6．1　简洁属性 90
2．6．2　简洁方法 90
2．6．3　计算属性名 95
2．6．4　设定[[Prototype]] 96
2．6．5　super对象 97
2．7　模板字面量 98
2．7．1　插入表达式 99
2．7．2　标签模板字面量 100
2．8　箭头函数 103
2．9　for．．of循环 109
2．10　正则表达式 111
2．10．1　Unicode标识 111
2．10．2　定点标识 112 
2．10．3　正则表达式flags 116
2．11　数字字面量扩展 117
2．12　Unicode 118
2．12．1　支持Unicode的字符串运算 119
2．12．2　字符定位 121
2．12．3　Unicode标识符名 123
2．13　符号 123
2．13．1　符号注册 125
2．13．2　作为对象属性的符号 127
2．14　小结 128
第 3 章　代码组织 129
3．1　迭代器 129
3．1．1　接口 130
3．1．2　next()迭代 131
3．1．3　可选的return(．．)和throw(．．) 132
3．1．4　迭代器循环 133
3．1．5　自定义迭代器 134
3．1．6　迭代器消耗 137
3．2　生成器 138
3．2．1　语法 139
3．2．2　迭代器控制 144
3．2．3　提前完成 147
3．2．4　错误处理 149
3．2．5　Transpile生成器 151
3．2．6　生成器使用 152
3．3　模块 153
3．3．1　旧方法 153
3．3．2　前进 154
3．3．3　新方法 156
3．3．4　模块依赖环 164
3．3．5　模块加载 166
3．4　类 167
3．4．1　class 168
3．4．2　extends和super 169
3．4．3　new．target 174
3．4．4　static 175
3．5　小结 176
第 4 章　异步流控制 177
4．1　Promise 177
4．1．1　构造和使用Promise 178
4．1．2　Thenable 180
4．1．3　Promise API 181
4．2　生成器 + Promise 183
4．3　小结 185
第 5 章　集合 187
5．1　TypedArray 187
5．1．1　大小端（Endianness） 188
5．1．2　多视图 189
5．1．3　带类数组构造器 190
5．2　Map 192
5．2．1　Map值 194
5．2．2　Map键 194
5．3　WeakMap 195
5．4　Set 196
5．5　WeakSet 198
5．6　小结 199
第 6 章　新增API 200
6．1　Array 200
6．1．1　静态函数Array．of(．．) 200
6．1．2　静态函数Array．from(．．) 201
6．1．3　创建数组和子类型 204
6．1．4　原型方法copyWithin(．．) 205
6．1．5　原型方法fill(．．) 206
6．1．6　原型方法find(．．) 206
6．1．7　原型方法findIndex(．．) 207
6．1．8　原型方法entries()、values()、keys() 208
6．2　Object 209
6．2．1　静态函数Object．is(．．) 209
6．2．2　静态函数Object．getOwnPropertySymbols(．．) 210
6．2．3　静态函数Object．setPrototypeOf(．．) 210
6．2．4　静态函数Object．assign(．．) 211
6．3　Math 212
6．4　Number 214
6．4．1　静态属性 214
6．4．2　静态函数Number．isNaN(．．) 214
6．4．3　静态函数Number．isFinite(．．) 215
6．4．4　整型相关静态函数 215
6．5　字符串 216
6．5．1　Unicode函数 217
6．5．2　静态函数String．raw(．．) 217
6．5．3　原型函数repeat(．．) 217
6．5．4　字符串检查函数 218
6．6　小结 218
第 7 章　元编程 219
7．1　函数名称 219
7．2　元属性 222
7．3　公开符号 223
7．3．1　Symbol．iterator 223
7．3．2　Symbol．toStringTag与Symbol．hasInstance 224
7．3．3　Symbol．species 225
7．3．4　Symbol．toPrimitive 226
7．3．5　正则表达式符号 226
7．3．6　Symbol．isConcatSpreadable 227
7．3．7　Symbol．unscopables 228
7．4　代理 228
7．4．1　代理局限性 231
7．4．2　可取消代理 232
7．4．3　使用代理 233
7．5　Reflect API 240
7．6　特性测试 243
7．7　尾递归调用（Tail Call Optimization，TCO） 245
7．7．1　尾调用重写 247
7．7．2　非TCO优化 248
7．7．3　元在何处 250
7．8　小结 251
第 8 章　ES6之后 253
8．1　异步函数 254
8．2　Object．observe(．．) 257
8．2．1　自定义改变事件 258
8．2．2　结束观测 259
8．3　幂运算符 260
8．4　对象属性与．．． 260
8．5　Array#includes 261
8．6　SIMD 262
8．7　WebAssembly (WASM) 262
8．8　小结 264

　　在互联网发展的早期， 就已经成为了支撑网页内容交互体验的基础技术。那时 的作用可能仅仅是生成一些闪烁的鼠标轨迹或者烦人的弹出窗口，但是经过了大约20 年的发展， 的技术和能力都发生了天翻地覆的变化，现在的 毫无疑问已经成为了世界上使用范围广的软件平台——互联网——的核心技术。
　　但是作为一个语言来说，它总是成为大家批评的对象，部分原因是它有很多历史遗留问题，但主要原因是它的设计哲学有问题。就像Brendan Eich 曾经说过的， 甚至连名字都给人一种“蠢弟弟”的感觉，就像是它更成熟的大哥Java 的不完整版本。不过名字只不过是营销策略上的一个意外，这两个语言有许多本质上的区别。 和Java 的关系，就像Carnival（嘉年华）和Car（汽车）的关系一样，八竿子打不着。
　　 借鉴了许多语言的概念和语法，比如C 风格的过程式编程以及不太明显的Scheme/List 风格的函数式编程，因此吸引了许多开发者，甚至是那些不会编程的新手。用 来编写“Hello World”是非常简单的，因此这门语言很有吸引力并且很好上手。
　　虽然 可能是早出现的语言之一，但是由于其本身的特殊性，相比其他语言，能真正掌握 的人比较少。如果想用C、C++ 这样的语言编写功能全面的程序，那需要对语言有很深的了解。但是对于 来说，编写功能全面的程序仅仅是冰山一角。