Skip to main content

高级核心概念

除了多进程、Buffer/Stream、C++ 插件等话题，大厂的 Node.js 资深/专家岗面试中，经常会抛出一些极其底层的硬核问题。本章节为你梳理了 Node.js 领域中最前沿、最底层的几个高级知识点。

1. 异步上下文追踪：AsyncLocalStorage​

在 Java 或 Go 等多线程语言中，可以通过 ThreadLocal（线程本地变量）在同一个请求的调用链中隐式传递数据（如 TraceId、用户信息），而不需要在每个函数的参数里一层层往下传。

🔥 面试题：在 Node.js 中，由于是单线程且充满异步回调，如何实现类似 ThreadLocal 的功能，在整个异步调用链中隐式传递 TraceId？

背景与痛点： 如果我们在全局定义一个 global.traceId，当并发请求到来时，后面的请求会覆盖前面请求的 TraceId，导致日志完全串乱。

底层解法：async_hooks 与 AsyncLocalStorage Node.js 官方在底层提供了 async_hooks 模块，它可以追踪每一个异步资源的生命周期（init, before, after, destroy）。基于这个底层能力，Node.js 提供了极其好用的高级 API：AsyncLocalStorage。

const { AsyncLocalStorage } = require("async_hooks");
const asyncLocalStorage = new AsyncLocalStorage();

// 模拟一个深层嵌套的异步调用
async function dbQuery() {
  // 在任何地方都可以直接取出当前请求上下文的数据，无需传参！
  const traceId = asyncLocalStorage.getStore();
  console.log(`[Trace: ${traceId}] 执行数据库查询...`);
}

// 模拟 Web 框架中间件
function handleRequest(req, res) {
  const traceId = req.headers["x-trace-id"] || "uuid-123";

  // 使用 run 方法开启一个隔离的异步上下文作用域
  asyncLocalStorage.run(traceId, () => {
    setTimeout(() => {
      dbQuery();
    }, 100);
  });
}

面试话术：“为了实现全链路追踪，我们通常使用 Node.js 官方的 AsyncLocalStorage。它基于底层的 async_hooks，能够将上下文数据与当前的异步执行栈绑定。这样可以避免显式传递参数，实现优雅的日志打点和 APM（应用性能监控）数据采集。”

2. V8 引擎底层优化与反优化 (Deoptimization)​

🔥 面试题：为什么在 JS 中强烈不建议使用 delete 关键字删除对象的属性？

这道题考察的是你对 V8 引擎底层执行机制的理解。

V8 的隐藏类 (Hidden Classes / Shapes) JavaScript 是动态类型语言，对象可以随时增删属性。为了让 JS 拥有接近 C++ 的属性访问速度，V8 引入了“隐藏类”。 当你创建一个对象 const obj = { a: 1 } 时，V8 会为其创建一个隐藏类。如果再加一个属性 obj.b = 2，V8 会创建一个新的隐藏类并让 obj 指向它（通过 Transition 树）。

内联缓存 (Inline Caches, IC) V8 的 JIT (即时编译器 TurboFan) 在多次执行同一个函数时，如果发现传入的对象的“隐藏类”始终是一样的，它就会进行内联缓存优化，直接记住属性在内存中的偏移量，下次访问速度极快。

delete 导致的灾难 (Deoptimization) 如果你使用了 delete obj.a，会直接破坏掉 V8 辛苦建立的隐藏类结构。这会导致该对象降级为慢速的“哈希表模式（Dictionary Mode）”，并且让之前所有基于隐藏类做出的 JIT 优化全部失效（Deoptimization），从而严重拖慢执行性能。

最佳实践：不要用 delete。如果不需要某个属性，可以将其设置为 null 或 undefined，这样不会改变对象的隐藏类（Shape）。

3. 模块化的底层原理 (CJS vs ESM)​

🔥 面试题：Node.js 中 require 的底层原理是什么？CommonJS 和 ESM 在处理循环引用时有什么本质区别？

3.1 require 的底层包装​

在 Node.js 中，每个文件都是一个独立的模块，里面的变量不会污染全局。这是因为 Node.js 在执行你的 JS 文件前，在底层对你的代码进行了一层字符串包装：

// 你写的代码：
const a = 1;
module.exports = a;

// Node.js 底层实际执行的代码：
(function (exports, require, module, __filename, __dirname) {
  const a = 1;
  module.exports = a;
});

这就是为什么你能在文件中直接使用 __dirname 和 require 的原因——它们其实是包装函数的参数。

3.2 循环引用 (Circular Dependency)​

当 a.js 引用 b.js，同时 b.js 又引用 a.js 时：

  • CommonJS 的表现： CJS 在加载模块时，会优先在 require.cache 中创建该模块的空对象 module.exports。当发生循环引用时，b.js 会拿到 a.js 还没执行完的、不完整的 exports 对象。这会导致运行时拿到 undefined 而报错。 (CJS 导出的是值的拷贝/浅拷贝)

  • ESM (ECMAScript Modules) 的表现： ESM 的加载分为“解析”、“实例化”、“执行”三个阶段。ESM 导出的是实时绑定 (Live Bindings)，即导出的变量和原模块内部的变量指向同一块内存地址。 因此在处理循环引用时，只要你不立刻去读取那个还没初始化的变量，引擎就能完美处理好模块的依赖图谱。

4. Node.js 特有的安全攻防​

🔥 面试题：什么是 ReDoS？如何在 Node.js 中防范？

除了常规的 XSS / CSRF 外，全栈工程师必须了解 Node.js 后端特有的安全漏洞。

4.1 ReDoS (正则表达式拒绝服务攻击)​

因为 Node.js 是单线程的，如果某个正则表达式写得不好，遭遇了“灾难性回溯（Catastrophic Backtracking）”，它可能会消耗几十秒甚至几分钟的 CPU 时间。 在这个过程中，整个 Node.js 事件循环会被完全卡死，其他所有用户的请求都会超时。攻击者只需发送几个构造好的恶意字符串，就能轻易把你的服务器打挂。

防范：

  1. 避免写嵌套的量词（如 /(a+)+/）。
  2. 使用第三方库（如 safe-regex）检查正则的安全性。
  3. 严格限制用户输入的字符串长度。

4.2 原型链污染 (Prototype Pollution)​

攻击者通过操纵对象的 __proto__ 属性，将恶意数据注入到 Object.prototype 上。因为 JS 中几乎所有对象都继承自它，这会导致全应用范围的逻辑被篡改。 通常发生在深拷贝（Deep Clone）或合并对象（Merge）且没有对键名进行过滤的场景。

防范：

  1. 使用 Object.create(null) 创建没有原型的干净对象来存储字典数据。
  2. 在实现合并对象时，坚决过滤掉 __proto__、constructor 等敏感键名。
  3. 尽可能使用 Map 代替普通对象作为哈希表。