《你不知道的JavaScript (中卷)》
总体观点
JavaScript不是一门玩具语言，深入掌握它的唯一捷径是直面那些被很多人视作‘奇葩’的底层机制：类型系统、隐式强制转换以及异步事件循环。
类型和语法篇彻底澄清了JS中变量与值的区别、原生函数的包装陷阱，以及隐式转换背后严密但常被误解的抽象操作（ToPrimitive, ToString, ToNumber）。理解规则后，强制转换将从Bug温床变为编写精简代码的利器。
异步和性能篇系统解构了单线程事件循环（Event Loop）与微任务队列，直指回调地狱中‘信任控制权反转’的死穴，奠定了Promise、Generator生成器与现代异步编程的坚固认知底座。
核心观点
-
1. JavaScript中变量没有类型，只有‘值’才有类型
变量只是指向值的词法容器；typeof运算符返回的并不是变量本身的类型，而是当前赋给它的值所属的内置类型。
声明let a = 42后执行typeof a返回'number'，随后a = 'hello'返回'string'，这说明底层值拥有类型而变量可以随心承载。 -
2. 特殊数值NaN并不等于自身，void 0是安全的undefined
深入理解IEEE 754浮点数的边界特例（如+0与-0、NaN、Infinity），掌握使用Object.is与Number.isNaN进行精准比对。
全局isNaN('foo')会错误返回true，而ES6标准Number.isNaN('foo')则准确返回false，消灭隐蔽的比对缺陷。 -
3. 隐式强制转换是一套确定性的规则，而非不可控的魔法
==与===的真正区别不是‘是否检查类型’，而是‘是否允许强制转换’。彻底理解ToNumber与ToPrimitive规则就能驾驭转换。
使用+new Date()快速获取时间戳，使用!!value快速转布尔值，利用规则写出既惯用又安全的惯用法。 -
4. 回调地狱的根本缺陷不是缩进嵌套，而是‘信任危机’
将回调函数传给第三方库意味着放弃了控制反转（Inversion of Control），你无法保证回调会被调用一次、多次还是永远不调用。
调用第三方结账SDK传入支付回调，一旦第三方库由于并发bug将你的回调执行了两次，用户就会被重复扣款两次。 -
5. Promise通过可信任的单一决议，夺回了异步控制权
Promise是一套解决控制反转的承诺机制：只能决议一次、状态不可逆、异步微任务保证顺序，为异步操作建立可预测的契约。
Promise一旦从pending变为fulfilled，无论后续代码如何调用then，回调都只能按契约在微任务队列中被安全触发一次。 -
6. 生成器（Generator）打破了‘运行至完成’的函数传统
通过yield关键字暂停函数执行、交出执行权，并在外部通过next()输入输出数据，为编写同步语感的异步代码开辟道路。
结合Generator与Promise实现微型co执行器，让开发者能像写同步代码一样yield promiseTask()，成为async/await的原型基石。
全书思维导图 · 知识脉络树
全书结构
-
第一部分第1章 类型
剖析JavaScript的7种内置类型（null, undefined, boolean, number, string, object, symbol）及typeof的历史遗留特例。
解析为什么typeof null会荒谬地返回'object'：这是早期C语言底层变量标签位设计留下的历史bug。 -
第一部分第2章 值
深入数组、类数组对象、字符串的借用机制，以及数字在IEEE 754规范下的特殊值（NaN、+0/-0）和深浅拷贝细节。
演示1 / +0返回Infinity，而1 / -0返回-Infinity，解析在涉及物体运动方向动画计算中保留符号位负零的物理意义。 -
第一部分第3章 原生函数
解构String、Number、Boolean等包装对象的本质，解释内部属性[[Class]]与拆箱（ToPrimitive）操作的运作逻辑。
说明new Boolean(false)其实是一个真值对象的陷阱，在if(new Boolean(false))判断中会导致逻辑完全走反。 -
第一部分第4章 强制类型转换
全书重头戏：详述ToString、ToNumber、ToBoolean三大抽象转换规则，对比宽松相等==与严格相等===的真正规范路径。
拆解[] == ![]为何为true的完整推演：![]先转为false，再将[]与false转为数字0进行比对，展现抽象算法的确定性。 -
第一部分第5章 语法详细
解析语句与表达式的差异、操作符优先级与关联性、自动分号插入（ASI）机制以及代码块标签语法的冷知识。
分析return后面换行导致ASI自动插入分号返回undefined的经典惨剧，明确规范推崇的大括号不换行编码风格。 -
第二部分第1章 异步：现在与将来
拆解JavaScript单线程执行栈与宿主环境的事件循环（Event Loop），对比宏任务与微任务（Job Queue）的时序调度。
分析包含setTimeout与Promise.resolve的代码片段，精准预测宏任务等待计时与微任务即时插入当前轮询末尾的执行序列。 -
第二部分第2章 回调
深刻揭露回调函数的两大不可调和缺陷：线性思维在回调地狱中的断裂，以及控制权反转导致的信任崩溃。
分析分析追踪回调是否被调用、是否过早调用、是否调用过多次所需的数百行防御性代码，论证回调模式的脆弱性。 -
第二部分第3章 Promise
全方位剖析Promise状态机、链式流转、异常静默冒泡以及Promise.all/race等并发原语的正确构建模式。
利用Promise链式传递自动处理错误捕获，避免在每个异步步骤手写err优先判断，保证错误一直穿透到最后的.catch。 -
第二部分第4章 生成器
解析Generator的yield/next协程消息通道，演示如何结合Promise构建优雅的异步迭代流与并发执行器。
手写一个简易的Runner函数自动递归驱动生成器迭代，让复杂异步网络调用在视觉上呈现完美的纯同步代码结构。 -
第二部分第5章 程序性能
探讨Web Worker多线程并行计算、SIMD指令集架构以及微观任务拆分避免阻塞主线程UI渲染的优化手段。
将100万条庞大数组的重度图形渲染数据处理任务转移给后台Web Worker子线程，主线程帧率始终维持在丝滑的60fps。 -
第二部分第6章 性能测试与调优
破除微基准测试（Microbenchmarking）的常见迷思，讲解JIT编译器优化假设、尾调用优化（TCO）与Benchmark.js的科学使用。
揭示为什么单纯写一个for循环测试++i与i++耗时没有意义：V8引擎的JIT热点编译会直接将无副作用的无意义空循环优化消除。