等值运算符

语法：

 语义：

 执行相等比较运算符的结果总是Boolean类型。表示是否由运算符指定的关系对两操作数成立。

 EqualityExpressionNoIn跟EqualityExpression完全按相同的方式执行，出了RelationalExpressionNoIn要代替RelationalExpression被执行。

The Equals Operator ( == )

 产生式 EqualityExpression : EqualityExpression == RelationalExpression 按照下面的过程执行 :

1. 令 lref 为解释执行 EqualityExpression 的结果 .
2. 令 lval 为 GetValue(lref).
3. 令 rref 为解释执行 RelationalExpression 的结果 .
4. 令 rval 为 GetValue(rref).
5. 返回做用相等比较算法于 rval == lval( 参见 11.9.3) 的结果

The Does-not-equals Operator ( != )

 产生式 EqualityExpression : EqualityExpression != RelationalExpression 按照下面的过程执行 :

1. 令 lref 为解释执行 EqualityExpression 的结果 .
2. 令 lval 为 GetValue(lref).
3. 令 rref 为解释执行 RelationalExpression 的结果 .
4. 令 rval 为 GetValue(rref).
5. 令 r 为做用相等比较算法于 rval == lval( 参见 11.9.3) 的结果
6. 如果 r 为 true，返回 false. 否则 , 返回 true.

抽象相等比较算法

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

1. 若Type(x)与Type(y)相同， 则若Type(x)为Undefined， 返回true。若Type(x)为Null， 返回true。若Type(x)为Number， 则若x为NaN， 返回false。若y为NaN， 返回false。若x与y为相等数值， 返回true。若x 为 +0 且 y为−0， 返回true。若x 为 −0 且 y为+0， 返回true。返回false。若Type(x)为String, 则当x和y为完全相同的字符序列（长度相等且相同字符在相同位置）时返回true。 否则， 返回false。若Type(x)为Boolean, 当x和y为同为true或者同为false时返回true。 否则， 返回false。当x和y为引用同一对象时返回true。否则，返回false。
2. 若x为null且y为undefined， 返回true。
3. 若x为undefined且y为null， 返回true。
4. 若Type(x) 为 Number 且 Type(y)为String， 返回comparison x == ToNumber(y)的结果。
5. 若Type(x) 为 String 且 Type(y)为Number，
6. 返回比较ToNumber(x) == y的结果。
7. 若Type(x)为Boolean， 返回比较ToNumber(x) == y的结果。
8. 若Type(y)为Boolean， 返回比较x == ToNumber(y)的结果。
9. 若Type(x)为String或Number，且Type(y)为Object，返回比较x == ToPrimitive(y)的结果。
10. 若Type(x)为Object且Type(y)为String或Number， 返回比较ToPrimitive(x) == y的结果。
11. 返回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值可能被检测为不等。实际上这一算法认为两个字符串已经是经过规范化的形式。

严格等于运算符 ( === )

 产生式 EqualityExpression : EqualityExpression === RelationalExpression 按照下面的过程执行 :

1. 令 lref 为解释执行 EqualityExpression 的结果 .
2. 令 lval 为 GetValue(lref).
3. 令 rref 为解释执行 RelationalExpression 的结果 .
4. 令 rval 为 GetValue(rref).
5. 返回做用严格相等比较算法于 rval === lval( 参见 11.9.6) 的结果

The Strict Does-not-equal Operator ( !== )

 产生式 EqualityExpression : EqualityExpression !== RelationalExpression 按照下面的过程执行 :

1. 令 lref 为解释执行 EqualityExpression 的结果 .
2. 令 lval 为 GetValue(lref).
3. 令 rref 为解释执行 RelationalExpression 的结果 .
4. 令 rval 为 GetValue(rref).
5. 令 r 为做用严格相等比较算法于 rval === lval( 参见 11.9.6) 的结果
6. 如果 r 为 true，返回 false. 否则 , 返回 true.

严格等于比较算法

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

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

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