Shiki.js项目中Safari浏览器YAML语法高亮崩溃问题解析

问题背景

在Shiki.js语法高亮库的使用过程中，开发者发现了一个特定于Safari浏览器的问题：当尝试高亮YAML代码时，Safari会抛出"Invalid regular expression: invalid range in character class for Unicode pattern"错误。这个问题在Chromium和Firefox等其他浏览器中并不存在，表现出明显的浏览器兼容性问题。

问题根源分析

经过深入调查，发现问题根源在于WebKit（Safari使用的渲染引擎）的正则表达式解析器中存在一个特定bug。这个bug在同时满足以下条件时触发：

1. 正则表达式使用了v标志（Unicode集合模式）
2. 正则表达式包含特定结构的字符类：
   • 包含任意字符集（如\d或\p{L}）
   • 紧接着是字面连字符（如-、\x2D或\u002D）
   • 后面跟随其他标记

在这种情况下，WebKit错误地将字面连字符解释为范围运算符，导致正则表达式解析失败。例如，正确的正则表达式/[\d-a]/v被WebKit错误地当作/[\d-a]/v处理，从而抛出语法错误。

技术细节

Shiki.js在内部使用oniguruma-to-es库将TextMate语法中的Oniguruma正则表达式转换为JavaScript正则表达式。转换过程中，YAML语法中的某些模式会被转换为包含上述问题结构的正则表达式。例如，原始Oniguruma模式：

(?=(?:[^\s[-?:,\[\]{}#&*!|>'"%@]]|[?:-]\S)([^\s:]|:\S|\s+(?![#\s]))\s:(\s|$))`

会被转换为等效的JavaScript正则表达式：

/(?=(?:[^\p{space}\-\?\:\,\[\]\{\}\#\&\*\!\|\>'"\%\@\]|[?:-]\P{space})([^\p{space}:]|:\P{space}|\p{space}+(?![#\p{space}]))\p{space}:(\p{space}|(?=\n?$)))/dgv`

正是这种转换结果在Safari中触发了WebKit的解析bug。

解决方案

临时解决方案

对于当前版本的Shiki.js，开发者可以通过以下方式临时解决这个问题：

在调用Shiki的createJavaScriptRegexEngine时，将target选项设置为'ES2018'。这会使得Shiki使用带有u标志而非v标志的JavaScript正则表达式，从而避免触发WebKit的bug。

长期解决方案

oniguruma-to-es库在3.1.1版本中已经修复了这个问题。修复方法是将字面连字符移动到字符类的开头或结尾，避免它们紧跟在字符集后面。这个修复将被包含在Shiki.js的下一个主要版本中。

需要注意的是，这个修复仅适用于动态生成的语法高亮场景。对于预编译(precompiled)的语言，由于修复是在运行时环境检测到bug时才应用的，因此开发者仍需使用createJavaScriptRegexEngine而非createJavaScriptRawEngine。

开发者建议

1. 对于需要立即修复的项目，采用临时解决方案
2. 关注Shiki.js的版本更新，及时升级到包含修复的版本
3. 在跨浏览器开发中，特别注意Safari/WebKit特有的兼容性问题
4. 对于复杂的正则表达式转换场景，建议进行多浏览器测试

总结

这个案例展示了浏览器引擎实现差异可能导致的兼容性问题，特别是在处理复杂正则表达式时。通过深入分析问题根源，开发者社区能够找到有效的解决方案，同时也提醒我们在前端开发中需要重视跨浏览器测试的重要性。