解析器架构

Oxc 维护其自身的 AST 与解析器，这是迄今为止用 Rust 编写的最快且最符合规范的 JavaScript 与 TypeScript（包括 JSX 与 TSX）解析器。

由于解析器在大多数 JavaScript 工具链中通常是关键性能瓶颈，任何微小的改进都可能对下游工具产生连锁效应。通过自主研发解析器，我们有机会探索并实现经过充分研究的性能优化技术。

AST 设计理念

尽管许多现有的 JavaScript 工具依赖 estree 作为其 AST 规范，但一个显著的缺点是其存在大量语义模糊的节点。这种模糊性常常导致在使用 estree 时产生开发困惑。

Oxc 的 AST 与 estree 的区别在于：移除了语义模糊的节点，并引入了明确区分的类型。例如，不再使用通用的 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）

性能架构

为何如此高效

内存池：AST 在 memory arena 中分配，实现快速分配与释放
字符串优化：短字符串通过 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) 分配：仅需指针递增
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 标识符和字符串字面量的内存分配。