JavaScript精选文章与学习路径

2026/03/067 分钟阅读

Promise 的微任务调度不是语法糖——从 Promise/A+ 规范到手写实现的运行时分析

从 Promise/A+ 规范的 Resolution Procedure 和 microtask 调度机制出发，逐行分析 TypeScript 手写实现中 queueMicrotask 的选择依据、then 的值穿透规则、finally 的 Promise 等待语义，覆盖

2026/02/258 分钟阅读

Web Worker 多线程机制：从消息传递到浏览器进程模型的完整分析

以 Worker 构造函数的线程创建为入口，拆解 DedicatedWorker/SharedWorker 的消息传递机制（structured clone + transferable）、WorkerGlobalScope 的独立事件循环与主线程的通信时序，覆盖 worker 线程生命周期管理、错误传播路径、以及 CPU 密集型任务拆分与主线程渲染预算的关系。

2026/02/1713 分钟阅读

闭包的本质不是"函数套函数"——从 V8 Context 到 GC 泄漏的运行时分析

从 [[Environment]] 内部槽和 V8 Context 对象出发，分析闭包的真实内存模型、GC 保留规则和 4 种生产泄漏模式，对比闭包与 Class/Module 在抽象边界设计上的工程权衡，覆盖 Chrome DevTools 堆快照诊断方法、性能基准数据和 React hooks stale

2026/02/045 分钟阅读

事件循环、微任务、宏任务

从 HTML 规范的事件循环处理模型推导微任务/宏任务的调度时序，结合 V8 内部 task queue 实现与 async/await 的 Promise 化展开，覆盖微任务饥饿、requestAnimationFrame 的渲染检查点定位与生产环境中的长任务排查路径。

2026/01/196 分钟阅读

JavaScript 中的变量提升——从 V8 解析管线到 TDZ 的 kTheHole 哨兵机制

从 V8 的解析管线（Scanner → Parser → Scope Analysis）和 Ignition 字节码执行推导变量提升的实现机制，覆盖 LetVariable 的 kTheHole 哨兵值设计、TDZ 的内存模型、函数声明与 var 声明的优先级规则、typeof 对 TDZ 的特殊行为，

2026/01/165 分钟阅读

箭头函数 vs 普通函数 vs 声明函数——从 [[ThisMode]] 内部槽到 V8 FunctionKind 的运

从 ECMAScript 规范的 [[ThisMode]]、[[Call]]、[[Construct]] 内部槽位推导三类函数在 this 绑定、arguments、原型链上的本质差异，覆盖 V8 的 FunctionKind 枚举映射与 Turbofan 内联优化路径、Class 箭头字段的内存模型与性能权衡、以及

2025/12/103 分钟阅读

JavaScript 类型判断的完整安全边界——从 typeof 的底层实现到跨 Realm 检测策略

从 V8 的 typeof 实现路径（TypeOf 字节码 → JSObject::TypeOf）、Symbol.toStringTag 的可篡改性与防御、instanceof 跨 Realm 失真根因，到 Array.isArray 不可绕过的引擎层原理，覆盖 Proxy 干扰、类型守卫与运行时校验的互补策略。

2025/12/024 分钟阅读

import / require 与 tree shaking 的真正分界线

记录 ESM 与 CommonJS 在依赖图构建、执行时机、live binding 和副作用判定上的差异，以及这些差异为什么会直接决定 tree shaking 的有效边界。

2025/11/262 分钟阅读

instanceof 的运行时真相——从原型链遍历到 Symbol.hasInstance 的完整机制

从 V8 的 JSObject::HasInstance 实现路径出发，分析 instanceof 的原型链遍历机制、Symbol.hasInstance 自定义行为的内置类保护、跨 Realm 失真根因，以及手写实现中 Proxy 干扰和非对象原始值的处理策略。

2025/11/117 分钟阅读

对象的原型与原型链——从 [[Prototype]] 内部槽到生产级原型污染防御

从 ECMAScript 的 [[Prototype]] 内部槽和 V8 hidden class（Map）出发，分析属性解析的运行时路径、new 构造流程中的原型设定、instanceof 的跨 Realm 失真、原型污染的攻击面与防御策略，以及动态修改原型对 JIT 内联缓存的去优化影响。

2025/11/102 分钟阅读

new 关键字的四步执行模型——从 [[Construct]] 到 new.target 的完整机制

从 ECMAScript 的 [[Construct]] 内部方法出发，分析 new 的四步执行流程、返回值规则（原始值被忽略的根因）、new.target 的引擎注入机制、自动装箱与原型行为的关系，以及 Reflect.construct 与 new 的本质差异。

2025/10/213 分钟阅读

JavaScript 中"常量"的三种语义——从 V8 hidden class 到生产级不

从 const 的绑定不可变、Object.freeze/seal/preventExtensions 的对象锁定，到 V8 对冻结对象的 hidden class 优化路径，覆盖 deepFreeze 的循环引用处理、Redux 不可变状态与 freeze 的性能 tradeoff，以及生产环境跳过 freeze

2025/10/132 分钟阅读

函数声明与函数表达式的区别——从执行上下文创建到命名绑定的完整分析

从 Execution Context 的 DeclarationInstantiation 阶段出发，分析函数声明与函数表达式在绑定时机、名称可见性、覆盖规则和调试语义上的本质差异，覆盖条件分支中的 Annex B 兼容性问题与 IIFE 的表达式上下文转换原理。

2025/09/238 分钟阅读

高阶函数不是"参数是函数的函数"——从闭包状态管理到 compose/pipe 的工程设计分

从高阶函数的核心机制（闭包维持状态 + 延迟执行）出发，分析 curry/partial、compose/pipe、debounce/throttle、memoize 四组模式的工程设计意图和选择边界，覆盖 V8 对数组声明式方法的优化与性能上限、memoize 的缓存淘汰与 key

2025/08/213 分钟阅读

JSON序列化的工程边界——从 V8 JsonStringifier 到生产级安全策略

从 V8 的 JsonStringifier 实现路径分析 JSON.stringify 的循环引用检测、toJSON 方法调用语义、JSON.parse reviver 的安全风险，覆盖 structuredClone 的 Transferable 支持、IndexedDB 序列化、Web Worker

2025/08/052 分钟阅读

数组判断的安全边界——为什么 Array.isArray 不可绕过

深入 V8 引擎层面分析 Array.isArray 通过 instance type 检测不可绕过的根因，对比 toString、instanceof、constructor 三种方案的可绕过路径，覆盖跨 Realm iframe 场景、Proxy 干扰、伪数组特征检测与生产环境的类型防护策略。

2025/07/233 分钟阅读

空值合并运算符 '??'——从短路求值到 Babel 转译的工程分析

从 ECMAScript 规范 §12.14 的短路求值语义出发，分析 ?? 与 || 在 falsy 值处理上的根本差异、Babel/TypeScript 转译中对重复求值的处理策略、与可选链 ?. 的组合语义，以及在生产代码中替代 || 默认值模式的迁移策略。