Graphite编辑器钢笔工具角度约束下的崩溃问题分析

问题背景

Graphite是一款开源的矢量图形编辑器，在其钢笔工具实现中，当用户启用角度约束功能（按住Shift键进行15°角度吸附或按住Ctrl键锁定角度）时，如果将正在绘制的锚点移动到前一个锚点位置时，会导致程序崩溃。

技术细节

崩溃发生在glam数学库的dvec2.rs文件中，具体是当调用向量归一化操作时，由于除零错误导致的断言失败。错误信息显示"assertion failed: other_len_sq_rcp.is_finite()"，这表明程序尝试对一个零长度向量进行归一化操作。

问题根源

在钢笔工具的角度约束计算逻辑中，当用户将新锚点移动到与前一个锚点相同位置时：

1. 程序尝试计算两点之间的向量
2. 由于两点重合，向量长度为零
3. 角度约束功能需要对这个零向量进行归一化操作
4. 归一化操作需要对向量长度取倒数
5. 零长度的倒数导致无限大值，触发断言失败

解决方案

修复此问题需要在前端处理逻辑中加入对零长度向量的检查：

1. 在计算角度约束前，先检查当前锚点与前一个锚点是否重合
2. 如果两点重合，则跳过角度约束计算
3. 或者提供一个最小距离阈值，当距离小于阈值时禁用角度约束

经验总结

这个案例展示了几个重要的编程实践：

1. 边界条件检查的重要性 - 特别是当用户操作可能导致数学上无效的情况时
2. 向量操作的安全处理 - 特别是归一化操作前应检查向量长度
3. 用户输入验证 - 即使是不常见的用户操作路径也需要被正确处理

对于图形编辑器这类工具软件，正确处理所有可能的用户输入组合是保证稳定性的关键。开发者需要特别注意数学运算中的边界条件，特别是涉及几何计算的部分。