Dart SDK 3.6.x版本中dart_style格式化工具对数字分隔符的支持问题解析

在Dart SDK 3.6.0版本中，开发者遇到了一个关于代码格式化工具dart format的兼容性问题。这个问题主要影响到了使用数字分隔符（digit separators）语法的代码文件。本文将深入分析问题的成因、影响范围以及解决方案。

问题背景

Dart 3.6.0版本引入了一个实用的语法特性——数字分隔符。这个特性允许开发者在数字字面量中使用下划线（_）来提高可读性，例如可以将1000000写成1_000_000。然而，当开发者尝试使用dart format命令格式化包含这种新语法的代码时，工具会抛出解析错误。

问题根源

经过分析，发现问题出在dart_style包（Dart代码格式化工具的核心依赖）的2.3.7版本上。该版本在解析代码时错误地使用了Dart 3.3的语言版本规范，而不是正确的3.6版本。由于数字分隔符是在Dart 3.6中才引入的新特性，当格式化工具以3.3版本解析代码时，自然无法识别这种语法，从而导致解析失败。

影响范围

这个问题影响了所有使用Dart SDK 3.6.0版本并希望使用数字分隔符语法的开发者。考虑到dart format是Dart开发工作流中的标准工具（常用于代码提交前的自动格式化、IDE集成等场景），这个问题实际上阻碍了开发者完全使用Dart 3.6的新特性。

解决方案

开发团队迅速响应，发布了dart_style 2.3.8版本。这个版本只包含一个关键修改：正确地将Dart 3.6的语言版本传递给解析器。具体来说：

1. 修正了语言版本检测逻辑，确保使用与SDK版本匹配的解析规则
2. 添加了针对数字分隔符的测试用例，确保功能正确性

版本更新策略

值得注意的是，这个修复采用了特殊的版本管理策略：

• 对于stable分支（3.6.x）：通过cherry-pick方式单独应用这个修复
• 对于main分支：不单独应用此修复，而是直接升级到包含更多变更的新版dart_style

这种策略既保证了稳定分支能快速获得关键修复，又不干扰主分支的功能演进。

风险与验证

这个修复的风险评估为低风险，因为：

1. 变更范围非常有限，仅涉及语言版本号的传递
2. 新增了专项测试用例验证功能
3. 不涉及格式化逻辑本身的修改

用户建议

对于使用Dart 3.6.x版本的开发者：

1. 升级到包含修复的3.6.2或更高版本
2. 可以放心使用数字分隔符语法
3. 无需担心格式化工具对新语法的支持问题

这个案例也提醒我们，在使用新语言特性时，要确保整个工具链（特别是格式化、静态分析等工具）都做好了相应的支持准备。