Rustfmt 中最大宽度限制下的模式匹配格式化问题分析

问题背景

在 Rust 代码格式化工具 Rustfmt 中，当处理带有复杂模式匹配的 if let 表达式时，存在一个边界条件下的格式化问题。具体表现为当代码行长度恰好达到或略超过配置的最大宽度限制时，格式化器无法正确拆分该行，导致格式化失败。

问题复现

考虑以下 Rust 代码示例：

impl EarlyLintPass for NeedlessContinue {
    fn check_expr(&mut self, cx: &EarlyContext<'_>, expr: &Expr) {
        if let ExprKind::Loop(body, label, ..) | ExprKind::While(_, body, label) | ExprKind::ForLoop { body, label, .. } =
            &expr.kind
            && !in_external_macro(cx.sess, expr.span)
        {
            check_final_block_stmt(cx, body, label, expr.span.ctxt());
        }
    }
}

当配置的最大宽度为 120 字符时，上述代码中的 if let 模式匹配行（122 字符）会导致格式化失败。有趣的是，缩短或增加该行长度反而会使格式化成功。

技术分析

问题的根源在于 Rustfmt 的 rewrite_let 函数实现中，当计算模式匹配部分的可用宽度时，没有正确考虑模式匹配后的 = 这两个字符的宽度。在 Rustfmt 的版本 2 格式化风格下，这个细微的宽度计算偏差导致了边界条件下的格式化失败。

具体来说，在 rewrite_let 函数中，模式匹配部分的可用宽度计算应当减去这两个额外字符的宽度，以确保整个表达式的总宽度不超过配置的最大限制。

解决方案

修复方案相对简单：在计算模式匹配部分的可用宽度时，对于版本 2 的格式化风格，应当额外减去 2 个字符的宽度（对应 = 的长度）。这样可以确保在边界条件下也能正确计算可用宽度，从而决定是否需要以及如何进行行拆分。

影响范围

这个问题主要影响以下场景：

1. 使用 if let 表达式的复杂模式匹配
2. 模式匹配部分长度接近配置的最大宽度限制
3. 使用 Rustfmt 版本 2 的格式化风格

对于大多数常规代码，这个问题不会出现，因为它只发生在非常特定的边界条件下。

最佳实践

为避免类似问题，开发者可以：

1. 适当增加最大宽度限制，为复杂表达式留出更多空间
2. 手动拆分特别长的模式匹配表达式
3. 保持关注 Rustfmt 的更新，及时获取修复版本

这个问题也提醒我们，在编写接近宽度限制的代码时，应当考虑代码的可读性和维护性，而不仅仅是满足格式化工具的要求。