JavaScript事件循环与异步编程核心机制详解

1. JavaScript执行机制深度解析

JavaScript作为一门单线程语言，其执行机制却并不简单。理解事件循环、调用栈、任务队列这些核心概念，是掌握JS异步编程的关键。我们先从最基础的执行上下文说起。

每次函数调用时，JS引擎都会创建一个新的执行上下文压入调用栈。这个栈结构决定了代码的执行顺序——后进先出。当函数执行完毕，对应的上下文就会从栈顶弹出。这种机制保证了同步代码的顺序执行，但也带来了一个问题：如果某个函数执行时间过长，就会阻塞后续代码运行，这就是所谓的"线程阻塞"。

重要提示：虽然现代浏览器采用了多线程架构（如Web Worker），但主线程始终只有一个，这意味着大部分JS代码仍然运行在单线程环境中。

为了解决阻塞问题，JavaScript引入了异步回调机制。当遇到setTimeout、AJAX请求等异步操作时，这些任务会被移出主线程，交由浏览器其他线程处理。待任务完成后，其回调函数不会立即执行，而是被放入任务队列等待。

2. 事件循环：JS的调度中枢

事件循环是JavaScript运行时处理异步任务的核心机制，它持续检查两个基本问题：

1. 调用栈是否为空？
2. 任务队列中是否有待处理的任务？

其工作流程可以简化为以下步骤：

1. 执行同步代码，填充调用栈
2. 遇到异步操作，交给对应API处理
3. 同步代码执行完毕，调用栈清空
4. 事件循环检查任务队列
5. 将队列中的回调函数移入调用栈执行
6. 重复上述过程

javascript复制console.log('Start');

setTimeout(() => {
  console.log('Timeout callback');
}, 0);

Promise.resolve().then(() => {
  console.log('Promise callback');
});

console.log('End');

// 输出顺序：
// Start
// End
// Promise callback
// Timeout callback

这个经典示例揭示了微任务优先于宏任务的特性，接下来我们会详细解析这两种任务类型的区别。

3. 宏任务与微任务机制剖析

3.1 宏任务(Macrotask)

宏任务代表