js中==和===

February 26, 2022

严格等于比较算法 ===

比较 x===y，x 和 y 为值，需要产出 true 或 false。比较过程如下：

如果 Type(x) 与 Type(y) 的结果不一致，返回 false，否则
如果 Type(x) 结果为 Undefined，返回 true
如果 Type(x) 结果为 Null，返回 true
如果 Type(x) 结果为 Number，则
1. 如果 x 为 NaN，返回 false
2. 如果 y 为 NaN，返回 false
3. 如果 x 与 y 为同一个数字，返回 true
4. 如果 x 为 +0，y 为 -0，返回 true
5. 如果 x 为 -0，y 为 +0，返回 true
6. 返回 false
如果 Type(x) 结果为 String，如果 x 与 y 为完全相同的字符序列（相同的长度和相同的字符对应相同的位置），返回 true，否则，返回 false
如果 Type(x) 结果为 Boolean，如果 x 与 y 都为 true 或 false，则返回 true，否则，返回 false
如果 x 和 y 引用到同一个 Object 对象，返回 true，否则，返回 false

此算法与 SameValue 算法在对待有符号的零和 NaN 上表现不同。

抽象相等比较算法 ==

比较运算 x==y, 其中 x 和 y 是值，产生 true 或者 false。这样的比较按如下方式进行：

若 Type(x)与 Type(y)相同，则
1. 若 Type(x)为 Undefined，返回 true。
2. 若 Type(x)为 Null，返回 true。
3. 若 Type(x)为 Number，则
  1. 若 x 为 NaN，返回 false。
  2. 若 y 为 NaN，返回 false。
  3. 若 x 与 y 为相等数值，返回 true。
  4. 若 x 为 +0 且 y 为 −0，返回 true。
  5. 若 x 为 −0 且 y 为+0，返回 true。
  6. 返回 false。
4. 若 Type(x)为 String, 则当 x 和 y 为完全相同的字符序列（长度相等且相同字符在相同位置）时返回 true。否则，返回 false。
5. 若 Type(x)为 Boolean, 当 x 和 y 为同为 true 或者同为 false 时返回 true。否则，返回 false。
6. 当 x 和 y 为引用同一对象时返回 true。否则，返回 false。
若 x 为 null 且 y 为 undefined，返回 true。
若 x 为 undefined 且 y 为 null，返回 true。
若 Type(x) 为 Number 且 Type(y)为 String，返回 comparison 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，且 Type(y)为 Object，返回比较 x == ToPrimitive(y)的结果。
若 Type(x)为 Object 且 Type(y)为 String 或 Number，返回比较 ToPrimitive(x) == y 的结果。
返回 false。

按以上相等之定义：

字符串比较可以按这种方式强制执行: "" + a == "" + b 。
数值比较可以按这种方式强制执行: +a == +b 。
布尔值比较可以按这种方式强制执行: !a == !b 。

等值比较操作保证以下不变：

A != B 等价于 !(A==B) 。
A == B 等价于 B == A ，除了 A 与 B 的执行顺序。

相等运算符不总是传递的。例如，两个不同的 String 对象，都表示相同的字符串值； == 运算符认为每个 String 对象都与字符串值相等，但是两个字符串对象互不相等。例如：

new String("a") == "a" 和 "a" == new String("a") 皆为 true。
new String("a") == new String("a") 为 false。

字符串比较使用的方式是简单地检测字符编码单元序列是否相同。不会做更复杂的、基于语义的字符或者字符串相等的定义以及 Unicode 规范中定义的 collating order。所以 Unicode 标准中认为相等的 String 值可能被检测为不等。实际上这一算法认为两个字符串已经是经过规范化的形式。

上面翻译摘自http://yanhaijing.com/es5/#192，注意是 es5 规范

简洁版

Type(x) = Type(y) 时，同 ===，否则
null 和 undefined 比较时，返回 true
x 和 y 分别为 string 和 number 时， 将 string 转换为 number再比较
如果 x 或 y 为 boolean，将 boolean 转换为 number再比较
如果 x 或 y 为 object，另一方为 string|number|symbol，将 object 转换为原始类型再比较

es5

=== 的算法内部由 isStrictlyEqual(x, y) 给出
== 称为 runtime semantics evaluation (运行时语义评估)
和 es5 的标准不同

Ref

===.png
==.png
===: https://tc39.es/ecma262/#sec-isstrictlyequal
==: https://tc39.es/ecma262/#sec-equality-operators-runtime-semantics-evaluation
https://ecma262.docschina.org/#sec-abstract-equality-comparison
https://ecma262.docschina.org/#sec-strict-equality-comparison

←Back to home