Chumsky 0.10.0 迁移指南：常见问题与解决方案

Chumsky 是一个 Rust 语言中的解析器组合库，在 0.10.0 版本中进行了重大重构。本文将详细介绍从旧版本迁移时可能遇到的常见问题及其解决方案，帮助开发者顺利完成升级。

移除的 take_until 及其替代方案

在 0.9.x 版本中，take_until 是一个常用的组合器，但由于其行为不够明确（是否消费终止模式存在歧义），在 0.10.0 中被移除。开发者可以使用以下组合器来替代：

any().and_is(a.not()).repeated().then(a)

这种组合方式虽然略显冗长，但提供了更精确的控制。例如，要解析 /* 注释 */ 可以这样实现：

just("/*").then_ignore(any().and_is(just("*/").not()).repeated().then(just("*/")))

错误处理的变化

error::Simple 类型在 0.10.0 中被重命名为 error::Rich，而 Simple 名称被用于一个真正简单的错误类型。创建自定义错误的方式基本保持不变：

use chumsky::error::Rich;

Rich::custom(span, "自定义错误消息")

链式组合的调整

0.9.x 中的 chain 组合器被移除，因为它内部进行了大量分配。在 0.10.0 中，可以使用 then 组合器配合 collect 来实现类似功能：

a.then(b).then(c.repeated()).collect::<Vec<A>>()

对于需要拼接多个解析结果的场景，目前需要手动处理：

.then(b).map(|(a, mut b)| { b.insert(0, a); b })

生命周期处理的最佳实践

在实现词法分析+语法分析的两阶段解析时，需要特别注意生命周期标注。正确的做法是区分源代码生命周期('src)和临时token生命周期('tokens)：

fn expression<'src, 'tokens, I>() -> impl Parser<'tokens, I, Expr<'src>, ...>
where 
    I: ValueInput<'tokens, Token = Token<'src>, Span = SimpleSpan>,
    'src: 'tokens {
    // 解析逻辑
}

错误报告与Ariadne集成

0.10.0 将 span 从字符索引改为字节索引，与 Ariadne 集成时需要注意：

1. 配置 Ariadne 使用字节索引：

Config::default().with_index_type::<usize>()

2. 或者进行字符索引转换：

let start = source.char_indices()
    .take_while(|(idx, _)| idx < &rich.span().start)
    .count();

其他重要变化

• foldr 组合器被移除，可用 repeated 和 foldl 替代
• flatten 需要先收集到向量再使用
• .parse().map(...) 需要先调用 .into_result()
• 返回类型需要实现 Clone trait

总结

Chumsky 0.10.0 虽然引入了一些破坏性变更，但这些变化使得API更加明确和一致。迁移过程中主要需要注意组合器的替代方案、生命周期的正确标注以及与错误报告工具的集成方式。通过本文提供的解决方案，开发者可以更顺利地完成版本升级。

对于复杂的解析场景，建议分步骤迁移，先确保基础解析逻辑工作正常，再逐步处理错误报告和性能优化等高级功能。