Web Platform Tests项目修复calc()函数乘积类别错误问题

Web Platform Tests（简称WPT）是一个开源的Web平台测试套件，旨在为浏览器厂商和Web开发者提供一套全面的测试用例，确保Web标准在各种浏览器中的实现一致性和正确性。该项目包含了HTML、CSS、JavaScript等Web技术的测试用例，是Web兼容性测试的重要基础设施。

问题背景

在CSS中，calc()函数允许开发者执行数学计算，并可以在不同单位之间进行混合运算。例如，可以编写像width: calc(100% - 20px)这样的表达式。然而，在处理包含calc()函数的复杂表达式时，特别是涉及乘积运算时，浏览器可能会遇到类型推断错误的问题。

问题分析

在WPT项目中，发现了一个关于calc()函数乘积类别处理的错误。具体表现为：当从表达式中提取不同单位并创建新节点时，MaybeSimplifySumOrProductNode()函数会假设新乘积具有与正在简化的根表达式相同的类别。这对于求和运算（sum）是可行的，因为如果有一个长度表达式（如1px + 2px + min(1em, 2em)），所有新的子表达式（如(1px + 2px)）也必须是长度类型——你不能将长度与数字或角度相加。

然而，对于乘积运算（product），这种假设是错误的。例如，在表达式2 * (.2 * min(1em, 1px))中，系统会通过收集两个数值常量创建一个新表达式(2 * .2)，然后错误地将其类别设置为kCalcLength（长度类型），而实际上它应该是kCalcNumber（数字类型）。

问题影响

这个错误会导致后续处理排序表达式（如(2 * .2) * min(1em, 1px)）时出现问题。由于两边都不是kCalcNumber类型，系统会触发NOTREACHED()断言。这是因为乘积的类型应该是其非数值边的类型（目前系统只支持numbernumber或numberfoo类型的算术运算）。

这个问题主要影响了移动端的Squarespace网站，导致崩溃现象。

解决方案

修复方案相对简单：不再尝试通过重用根类别来节省计算，而是每次都为子乘积重新计算类别。具体修改包括：

1. 在MaybeSimplifySumOrProductNode()函数中，不再假设乘积类别与根表达式相同
2. 为每个新创建的子乘积表达式正确计算其实际类别
3. 确保数字与数字的乘积保持为数字类型
4. 确保数字与其他类型的乘积继承非数字边的类型

技术实现细节

在底层实现上，CSS计算表达式被解析为抽象语法树（AST），其中每个节点都有明确的类型信息。当简化表达式时，系统需要：

1. 识别可以合并的数值常量
2. 创建新的乘积节点
3. 正确推断新节点的类型
4. 确保类型系统的一致性

修复后的实现确保了类型推断的正确性，特别是在处理嵌套的calc()表达式和混合单位运算时。

总结

这个修复解决了CSS calc()函数在处理乘积运算时的类型推断错误问题，提高了浏览器的稳定性和标准兼容性。对于Web开发者而言，这意味着可以更可靠地使用复杂的calc()表达式，特别是在响应式设计和需要混合单位计算的场景中。

Web Platform Tests项目通过持续发现和修复这类底层问题，为Web标准的正确实现提供了重要保障，最终使所有Web开发者受益。