- 如果
x不是正常值（比如抛出一个错误），中断执行。- 如果
y不是正常值，中断执行。- 如果
Type(x)与Type(y)相同，执行严格相等运算x === y。- 如果
x是null，y是undefined，返回true。- 如果
x是undefined，y是null，返回true。- 如果
Type(x)是数值，Type(y)是字符串，返回x == ToNumber(y)的结果。- 如果
Type(x)是字符串，Type(y)是数值，返回ToNumber(x) == y的结果。- 如果
Type(x)是布尔值，返回ToNumber(x) == y的结果。- 如果
Type(y)是布尔值，返回x == ToNumber(y)的结果。- 如果
Type(x)是字符串或数值或Symbol值，Type(y)是对象，返回x == ToPrimitive(y)的结果。- 如果
Type(x)是对象，Type(y)是字符串或数值或Symbol值，返回ToPrimitive(x) == y的结果。- 返回
false。
由于0的类型是数值，null的类型是 Null（这是规格4.3.13 小节的规定，是内部 Type 运算的结果，跟typeof运算符无关）。因此上面的前 11 步都得不到结果，要到第 12 步才能得到false。
0 == null // false
