解析器架构

Oxc 维护着自己的 AST 和解析器，这是迄今为止用 Rust 编写的最快且最符合标准的 JavaScript 和 TypeScript（包括 JSX 和 TSX）解析器。

由于解析器通常是 JavaScript 工具链中的关键性能瓶颈，任何微小的改进都可能对我们的下游工具产生连锁反应。通过开发我们自己的解析器，我们有机会探索和实施经过充分研究的性能技术。

AST 设计哲学

虽然许多现有的 JavaScript 工具依赖 estree 作为其 AST 规范，但一个显著的缺点是其存在大量模糊的节点。这种模糊性往往导致在使用 estree 开发时产生混淆。

Oxc AST 与 estree AST 的不同之处在于移除了模糊节点并引入了独特的类型。例如，Oxc AST 不使用通用的 estree Identifier，而是提供特定的类型，如 BindingIdentifier、IdentifierReference 和 IdentifierName。

这种清晰的区分通过与 ECMAScript 规范更紧密地对齐，极大地增强了开发体验。

AST 节点类型

rust

// 而不是通用的 Identifier
pub struct BindingIdentifier<'a> {
    pub span: Span,
    pub name: Atom<'a>,
}

pub struct IdentifierReference<'a> {
    pub span: Span,
    pub name: Atom<'a>,
    pub reference_id: Cell<Option<ReferenceId>>,
}

pub struct IdentifierName<'a> {
    pub span: Span,
    pub name: Atom<'a>,
}

语义清晰度

这种方法提供了语义清晰度：

BindingIdentifier：变量声明（let x = 1）
IdentifierReference：变量使用（console.log(x)）
IdentifierName：属性名（obj.property）

性能架构

为何如此快速

内存竞技场（Memory Arena）：AST 分配在内存竞技场中，以实现快速的分配和释放
字符串优化：短字符串通过 CompactString 进行内联
最小化堆使用：除上述两项外，不进行其他堆分配
关注点分离：作用域绑定、符号解析和一些语法错误被委托给语义分析器

内存管理细节

竞技场分配

rust

use oxc_allocator::Allocator;

// 所有 AST 节点都分配在这个竞技场中
let allocator = Allocator::default();
let ast_node = allocator.alloc(Expression::NumericLiteral(
    allocator.alloc(NumericLiteral { value: 42.0, span: SPAN })
));

优势：

O(1) 分配：简单的指针 bump
O(1) 释放：一次性释放整个竞技场
缓存友好：线性内存布局
无碎片：连续的内存使用

使用 CompactString 进行字符串驻留

rust

// 长度 ≤ 24 字节的字符串以内联方式存储（无堆分配）
let short_name = CompactString::from("variableName");  // 栈分配
let long_name = CompactString::from("a_very_long_variable_name_that_exceeds_limit");  // 堆分配

这减少了大多数 JavaScript 标识符和字符串字面量的内存分配。