美文网首页Web 前端开发 让前端飞
【3分钟速览】如何“严谨地”判断两个变量是否相同

【3分钟速览】如何“严谨地”判断两个变量是否相同

作者: AlienZHOU | 来源:发表于2020-01-14 16:01 被阅读0次

引言

如何“严谨地”判断两个变量相同?仅仅使用 === 就可以了么?

image

严格相等

我们可以非常快的写一个 is 方法来判断变量 x 是否就是 y:

// 第一版
function is(x, y) {
  return x == y;
}

当然,你会很快发现,方法里用了 ==,由于隐式转换的问题,这并不严谨。所以我们自然会使用如下的方法:

// 第二版
function is(x, y) {
  return x === y;
}

那么这是否完美了呢?

一个“更严谨”的方法

// 第三版
function is(x, y) {
  if (x === y) {
    return x !== 0 || y !== 0 || 1 / x === 1 / y;
  } else {
    return x !== x && y !== y;
  }
}

上面方法相较于我们常用的第二版更复杂了。那么为什么多了这么多判断呢?

下面让我们来详细看看。

1. Infinity

了解 JavaScript 的同学应该会记得,在全局中有一个叫做 Infinity 的属性,表示数值上的无穷大。

Infinity 属性的属性特性
writable false
enumerable false
configurable false

同时,你用 Number.POSITIVE_INFINITY 也能获取到该值。

image

于此对应的,也有个 Number.NEGATIVE_INFINITY 的值,实际就是 -Infinity

Infinity 比较特殊的一点在于,在 JavaScript 中 1 / Infinity-1 / Infinity。 被认为是相等的(由于 +0-0,下一节会进一步介绍)

image

而在很多场景中,包括像一些 deepEqual 之类的方法中,我们不希望将其判定为相等。学过统计的同学都知道假设检验中有两类错误

  • I类错误:弃真错误(false positive)
  • II类错误:取伪错误(false negative)

结合我们上面提到的,第一个条件判断可能就会犯II类错误 —— 1 / Infinity-1 / Infinity 不相同,却判断为相同了。所以需要进一步判断:

x !== 0 || y !== 0 || 1 / x === 1 / y

1 / Infinity-1 / Infinity 在与 0 的相等判断中都会为 true

image

而其倒数 Infinity-Infinity 是不相等的,所以避免了 1 / Infinity-1 / Infinity 的判断问题。

2. +0-0

其实,上面 Infinity 问题的核心原因在于于 JavaScript 中存在 +0-0

我们知道每个数字都有其对应的二进制编码形式,因此 +0-0 编码是有区别的,平时我们不主动声明的话,所使用的其实都是 +0,而 JavaScript 为了我们的运算能更加方便,也做了很多额外工作。

想要更进一步了解 +0-0 可以读一下 JavaScript’s two zeros 这篇文章。

但在很多判断相等的工作上,我们还是会把 +0-0 区分开。

x !== 0 || y !== 0 || 1 / x === 1 / y

上面这个式子也就起到了这个作用。

3. NaN

JavaScript 中还有一个叫 NaN 全局属性,用来表示不是一个数字(Not-A-Number)

NaN 属性的属性特性
writable false
enumerable false
configurable false

它有一个特点 —— 自己不等于自己:

image

这可能会导致判断出现 I 类错误(弃真错误):原本是相同的,却被我们判断为不相同。

解决的方法也很简单,JavaScript 中只有 NaN 会有“自己不等于自己”的特点。所以只需要判断两个变量是否都“自己不等于自己”即可,即都为 NaN

x !== x && y !== y

如果两个变量都为 NaN,那么他们其实就还是相同的。

总结

总的来说,我们的加强版就是额外处理了 +0/-0NaN 的情况。

实际项目中,很多时候由于并不会碰这样的业务值,或者这些边界情况的判断并不影响业务逻辑,所以使用 === 就足够了。

而在一些开源库中,由于需要更加严谨,所以很多时候就会考虑使用第三版的这类方法。例如在 react-redux 中对 props 和 state 前后相等性判断underscore 中的相等判断方法等。而 underscore 中更进一步还对 nullundefined 做了特殊处理。

相关文章

  • 【3分钟速览】如何“严谨地”判断两个变量是否相同

    引言 如何“严谨地”判断两个变量相同?仅仅使用 === 就可以了么? 严格相等 我们可以非常快的写一个 is 方法...

  • ==和equals的区别

    '=='判断是否指向同一块内存'equals'判断两个变量指向的内存中的值是否相同

  • 【编程】python入门---字典04

    视频教程:B站 Siki学院 如何判断两个列表是否相等:两个列表长度相同,内容相同,顺序一样 如何判断两个字典是否...

  • 判断php变量是否定义,是否为空,是否为真的一览表

    判断php变量是否定义,是否为空,是否为真的一览表 分类:

  • 14.同一运算符

    is/is not 比较两个变量引用对象是否相同,即id/内存地址是否相同 == 比较两个变量引用对象的值是否相同...

  • Java中的== 和equals 以及 kotlin中的==和=

    Java == 比较的是变量(栈)内存中存放的对象的(堆)内存地址,用来判断两个对象的地址是否相同,即是否是指相同...

  • iOS

    可否使用 == 来判断两个NSString类型的字符串是否相同?为什么? 不能。==判断的是两个变量的值的内存地址...

  • net面试web篇

    1.javascript中的=,==,===区别。 =,是赋值运算。 ==,判断两个变量是否相同,仅限于值,如果值...

  • 哈希表

    哈希表确定元素是否相同 1. 判断的是两个元素的哈希值是否相同 如果相同,再判断两个对象的内容是否相同。 2. 判...

  • equals和==的区别小结

    == == 比较的是变量(栈)内存中存放的对象的(堆)内存地址,用来判断两个对象的地址是否相同,即是否是指相同一个...

网友评论

    本文标题:【3分钟速览】如何“严谨地”判断两个变量是否相同

    本文链接:https://www.haomeiwen.com/subject/evdaactx.html