AngleSharp 浮点数步长验证问题分析与修复

在 AngleSharp 项目中，当处理包含浮点数的输入验证时，存在一个关于步长(step)验证的精度问题。这个问题特别影响地理坐标等需要高精度浮点数处理的场景。

问题背景

HTML5 规范中，<input type="number">元素支持通过step属性定义数值的增量步长。当开发者需要处理高精度浮点数时，比如地理坐标(经度/纬度)，通常会设置非常小的步长值(如0.000001)。

在 AngleSharp 1.1.2版本中，当验证类似<input type="number" min="-124.763068" step=".000001" value="-117">这样的输入时，系统会错误地将有效值标记为"步长不匹配"(step mismatch)。

技术分析

问题的根源在于BaseInputType类中的IsStepMismatch()方法实现。原始代码使用模运算(%)来检查值是否符合步长规则：

return step != 0.0 && (value - offset) % step != 0.0;

这种方法对于浮点数运算存在精度问题。由于浮点数在计算机中的表示方式，模运算可能会导致微小的舍入误差，从而产生错误的验证结果。

解决方案

更稳健的方法是避免直接使用模运算，而是采用基于除法和乘法的验证方式：

return step != 0.0 && Math.Floor((value - offset) / step) * step) != 0.0;

这种方法通过以下步骤工作：

1. 计算(值-基准值)与步长的比值
2. 取结果的整数部分
3. 重新乘以步长
4. 检查结果是否为零

这种计算方式对浮点数的舍入误差更加稳健，能够正确处理高精度浮点数的验证场景。

影响范围

此修复特别影响以下使用场景：

• 地理信息系统中的坐标输入
• 科学计算应用中的高精度数值输入
• 任何需要小步长浮点数验证的Web表单

最佳实践

开发者在处理高精度浮点数验证时应注意：

1. 避免直接比较浮点数的相等性
2. 考虑使用相对误差而非绝对误差进行比较
3. 对于关键业务场景，考虑在客户端和服务端都进行验证

此修复已合并到AngleSharp的主干代码中，将在后续版本发布。开发者可以关注项目更新以获取包含此修复的稳定版本。