浮点数-0与0不相等的原因及安全判断零值的方法（含Vec2场景）

这问题我之前做几何计算时也碰到过，简直是浮点运算里的小陷阱，来给你掰扯清楚：

为什么-0 === 0会返回false？ #

JavaScript里的浮点数遵循IEEE 754标准，这个标准里0和-0是两个不同的二进制表示（符号位不同），但数值意义上是等价的。而===是严格相等判断，它会同时比较值的内容和底层的二进制表示，所以会认为0和-0是不同的，返回false。

你可以自己在控制台测一下：

console.log(-0 === 0); // 输出 false
console.log(-0 == 0);  // 输出 true

==因为会做隐式类型转换，在数值比较时会把-0和0视为相等，但这不是最稳妥的解决方案——毕竟我们做向量计算时，还得考虑浮点精度误差的问题。

如何安全判断Vec2叉乘结果是否为零？ #

结合向量运算的实际场景，我推荐两种方案，优先选第一种：

1. 用极小阈值（epsilon）判断绝对值（最推荐） #

实际开发中，向量叉乘的结果很少会是严格的0/-0，大概率会因为浮点运算的精度误差，变成比如1e-16这种极小的非零值。这时候哪怕没有-0的问题，用=== 0也会误判。

所以行业通用的做法是设定一个极小的epsilon值（比如1e-10，可以根据你的计算精度需求调整），判断结果的绝对值是否小于这个阈值：

// 定义你的epsilon，精度要求高可以设成1e-15
const EPSILON = 1e-10;
// 假设你有两个Vec2实例a和b
const crossResult = a.cross(b);
const isCrossZero = Math.abs(crossResult) < EPSILON;

不管是0、-0，还是接近0的极小值，这个判断都能正确识别为“零”。

2. 针对严格0/-0的判断（仅当你确定没有精度误差时用） #

如果你的场景绝对不会出现浮点精度误差，只想处理0和-0的情况，那可以用：

• 方法A：利用==的隐式转换：crossResult == 0
• 方法B：显式判断两种零：Object.is(crossResult, 0) || Object.is(crossResult, -0)

不过还是强烈推荐第一种方案，毕竟浮点运算的精度坑真的防不胜防。

举个贴合你的Vec2例子：
假设你的cross方法实现是这样的：

class Vec2 {
  #x;
  #y;
  constructor(x, y) {
    this.#x = x;
    this.#y = y;
  }
  x() { return this.#x; }
  y() { return this.#y; }
  cross(other) {
    return this.x() * other.y() - this.y() * other.x();
  }
}

当你计算new Vec2(-0, 5).cross(new Vec2(0, 5))时，结果会是-0，这时候crossResult === 0返回false，但用Math.abs(crossResult) < EPSILON就会返回true，完美解决你的问题。

内容的提问来源于stack exchange，提问作者philipp