JS开发者应懂的33个概念系列5(上)--== 与 ===

严格相等 ("triple equals" 或 "identity")，使用 ===

类型转换规则

* 如果Type(x)和Type(y)不同，返回false
* 如果Type(x)和Type(y)相同
    * 如果Type(x)是Number类型
      * 如果x是NaN，返回false
      * 如果y是NaN，返回false
      * 如果x的数字值和y相等，返回true
      * 如果x是+0，y是-0，返回true
      * 如果x是-0，y是+0，返回true
      * 其他返回false
* 其他返回SameValueNonNumber(x, y)
复制代码

宽松相等 ("double equals") ，使用 ==

类型转换规则

* 如果Type(x)和Type(y)相同，返回x===y的结果
* 如果Type(x)和Type(y)不同
  * 如果x是null，y是undefined，返回true
  * 如果x是undefined，y是null，返回true
  * 如果Type(x)是Number，Type(y)是String，返回 x==ToNumber(y) 的结果
  * 如果Type(x)是String，Type(y)是Number，返回 ToNumber(x)==y 的结果
  * 如果Type(x)是Boolean，返回 ToNumber(x)==y 的结果
  * 如果Type(y)是Boolean，返回 x==ToNumber(y) 的结果
  * 如果Type(x)是String或Number或Symbol中的一种并且Type(y)是Object，返回 x==ToPrimitive(y) 的结果
  * 如果Type(x)是Object并且Type(y)是String或Number或Symbol中的一种，返回 ToPrimitive(x)==y 的结果
  * 其他返回false
复制代码

Object.is (ECMAScript 2015/ ES6 新特性)

* 如果Type(x)和Type(y)不同，返回false
* 如果Type(x)和Type(y)相同
  * 如果Type(x)是number
     * 如果 x 是 NaN，y 是 NaN, 返回 true
     * 如果 x 是 +0，y 是 -0, 返回 false
     * 如果 x 是 -0，y 是 +0, 返回 false
     * 如果 x 和 y 值相同, 返回 true
     * 其他返回 false
* 其他返回SameValueNonNumber(x, y)

NOTE: 与严格相等相比，不同在于对有符号的0值和NaN的比较
复制代码

三种类型比较结果

相等性比较实现的原理

是不是看到上面ToNumber(x)、SameValueNonNumber(x, y)、ToPrimitive(x)有点晕，不要怕，我们来参照ECMA规范来了解一下，看完后相等性判断，你就无所不知了！

Type(x)，获取x的类型

The ECMAScript language types are Undefined, Null, Boolean, String, Symbol, Number, and Object.

在 ECMAScript 规范中，共定义了 7 种数据类型，分为 基本类型 和 引用类型 两大类，如下所示：

基本类型：String、Number、Boolean、Symbol、Undefined、Null 

引用类型：Object
复制代码

如何判断数据类型，详见另一篇文章

ToNumber(x)，将x转换为Number类型

* 如果Type(x)是Undefined，返回NaN
* 如果Type(x)是Null，返回+0
* 如果Type(x)是Boolean
    * 如果是true,返回1
    * 如果是false,返回+0
* 如果Type(x)是Number，返回本身
* 如果Type(x)是Symbol，抛出TypeError错误
* 如果Type(x)是String，按照语法转换规则
* 如果Type(x)是Object，通过ToPrimitive()转换后进行ToNumber()转换并返回
复制代码

SameValueNonNumber(x, y)， 计算非数字类型x,y是否相同

* Type(x)不是Number类型 && Type(x)和Type(y)相同
   * 如果Type(x)是Undefined，返回true
   * 如果Type(x)是Null，返回true
   * 如果Type(x)是String，当且仅当x,y字符序列完全相同（长度相同，每个位置上的字符也相同）时返回true，否则返回false
   * 如果Type(x)是Boolean，如果x,y都是true或x,y都是false返回true，否则返回false
   * 如果Type(x)是Symbol，如果x,y是相同的Symbol值，返回true,否则返回false
   * 如果x和y是同一个对象值，返回ture，否则返回false
复制代码

ToPrimitive(x) : 将x转换为原始值

js中的原始类型Null,Undefined,Number,Boolean,String,这些不需要ToPrimitive()转换，除此之外的类型，按照以下规则进行转换：

* ToPrimitive(input,hint)转换为原始类型的方法，根据hint目标类型进行转换。
* hint只有两个值：String和Number
* 如果没有传hint，Date类型的input的hint默认为String,其他类型的input的hint默认为Number
* Number 类型先判断 valueOf()方法的返回值，如果不是，再判断 toString()方法的返回值
* String 类型先判断 toString()方法的返回值，如果不是，再判断 valueOf()方法的返回值
复制代码