数学库设计决策 : throw exceptions or fail silently

Question

假设您正在从头开始设计一个数学库(在 JS 中):常见的 Vector2/3/4、Matrix2/3/4、四元数 等等(WebGL 应用程序的标准内容)。处理错误输入的最佳方法是什么？ (除以零、反转奇异矩阵、计算两条平行线之间的交点等等)。

处理这个问题的两种方法是:

• 抛出异常

我知道有很多人喜欢准确地知道他们的代码何时失败 - 有点像那些讨厌动态类型的人，但我忍不住想到可怕的“错误 200:被零除” 几年前我在编程初期遇到过很多异常。唯一的解决方案是在代码中添加检查以防止任何这些错误。那只会让代码变得丑陋。我也忍不住想知道为什么现在的编程语言都采用 +/-Infinity 和 NaN。

• 或者默默地失败

在这种情况下，尝试执行该行时可能出现的情况:singularMatrix.invert().add(otherMatrix)将是:

1. singularMatrix.invert() 将返回 BAD_MATRIX，而 BAD_MATRIX.add() 不会执行任何操作(并且“停止计算”(类似 JQuery))
2. singularMatrix.invert() 会失败，但返回本身不变，并且 .add() 可以工作
3. singularMatrix.invert() 将以 +/-Infinity 填充矩阵，并且计算将继续

我个人更喜欢后一种选择，但我完全愿意接受争论和替代方案(这就是我在这里问的原因)。我不知道这种事情的“最佳方法”是否已经发明出来了。

Answer 1

无论你做什么，都不要默默地失败。如果结果是错误的，那么继续计算是没有意义的，并且您不想向用户显示错误的结果并声称它是正确的。这样做不会带来任何好处，尤其在可重用库中，您不一定知道调用者将如何处理结果。

引发异常或返回调用者可以检查的特殊值，例如undefined。