Skip to content

Latest commit

 

History

History
130 lines (95 loc) · 5.35 KB

025.精读《null >= 0?》.md

File metadata and controls

130 lines (95 loc) · 5.35 KB
Raw

本期精读的文章是：null >= 0?

1 引言

logo

你是如何看待 null >= 0 为 true 这个结果的呢？要么选择勉强接受，要么跟着我一探究竟吧。

2 内容概要

大于判断

javascript 在判断 a > b 时，记住下面 21 步判断法：

  1. 调用 b 的 ToPrimitive(hit Number) 方法.
  2. 调用 a 的 ToPrimitive(hit Number) 方法.
  3. 如果此时 Result(1) 与 Result(2) 都是字符串，跳到步骤 16.
  4. 调用 ToNumber(Result(1)).
  5. 调用 ToNumber(Result(2)).
  6. 如果 Result(4) 为 NaN, return undefined.
  7. 如果 Result(5) 为 NaN, return undefined.
  8. 如果 Result(4) 和 Result(5) 是相同的数字，return false.
  9. 如果 Result(4) 为 +0， Result(5) 为 -0, return false.
  10. 如果 Result(4) 为 -0， Result(5) 为 +0, return false.
  11. 如果 Result(4) 为 +∞, return false.
  12. 如果 Result(5) 为 +∞, return true.
  13. 如果 Result(5) 为 -∞, return false.
  14. 如果 Result(4) 为 -∞, return true.
  15. 如果 Result(4) 的数值大小小于 Result(5)，return true，否则 return false.
  16. 如果 Result(2) 是 Result(1) 的前缀 return false. （比如 "ab" 是 "abc" 的前缀）
  17. 如果 Result(1) 是 Result(2) 的前缀, return true.
  18. 找到一个位置 k，使得 a[k] 与 b[k] 不相等.
  19. 取 m 为 a[k] 字符的数值.
  20. 取 n 为 b[k] 字符的数值.
  21. 如果 m < n, return true，否则 return false.

ToPrimitive 会按照顺序优先使用存在的值：valueOf()、toString()，如果都没有，会抛出异常。 ToPrimitive(hit Number) 表示隐转数值类型

所以 null > 0 结果为 false。

等于判断

现在看看 a == b 时的表现（三等号会严格判断类型，两等号反而是最复杂的情况）。

  1. 如果 a 与 b 的类型相同，则：
  • 如果 Type(b) 为 undefined，return true.
  • 如果 Type(b) 为 null，return true.
  • 如果 Type(b) 为 number，则：
    • 如果 b 为 NaN，return false.
    • 如果 a 为 NaN，return false.
    • 如果 a 与 b 数值相同，return true.
    • 如果 a 为 +0，b 为 -0，return true.
    • 如果 a 为 -0，b 为 +0，return true.
    • 否则 return false.
  • 如果 Type(b) 为 string，且 a 与 b 是完全相同的字符串，return true，否则 return false.
  • 如果 Type(b) 是 boolean，如果都是 true 或 false，return true，否则 return false.
  • 如果 a 与 b 是同一个对象引用，return true，否则 return false.
  1. 如果 a 为 null，b 为 undefined，return true.
  2. 如果 a 为 undefined，b 为 null，return true.
  3. 如果 Type(a) 为 number，Type(b) 为 string，返回 a == ToNumber(b) 的结果.
  4. 如果 Type(a) 为 string，Type(b) 为 number，返回 ToNumber(a) == b 的结果.
  5. 如果 Type(a) 为 boolean，返回 ToNumber(a) == b 的结果.
  6. 如果 Type(b) 为 boolean，返回 a == ToNumber(b) 的结果.
  7. 如果 Type(a) 是 string 或 number，且 Type(b) 是对象类型，返回 a == ToPrimitive(b) 的结果.
  8. 如果 Type(a) 是对象类型，且 Type(b) 是 string 或 number，返回 ToPrimitive(a) == b 的结果.
  9. 否则 return false.

所以 null == 0 走到了第 10 步，返回了默认的 false。

大于等于判断

javascript 是这么定义大于等于判断的：

如果 a < b 为 false，则 a >= b 为 true

所以 null >= 0 为 true，因为 null < 0 是 false.

3 精读

关于 toPrimitive

拓展一下，我们可以通过 Symbol.toPrimitive 定义某个 class 的 ToPrimitive 行为，比如：

class AnswerToLifeAndUniverseAndEverything {
    [Symbol.toPrimitive](hint) {
        if (hint === 'string') {
            return 'Like, 42, man';
        } else if (hint === 'number') {
            return 42;
        } else {
            // when pushed, most classes (except Date)
            // default to returning a number primitive
            return 42;
        }
    }
}

还有不按套路出牌的情况？

按上面的道理，我们可以举一反三：

{} >= {} // true

可是这是为何呢？

null >= {} // false

仔细读过上文应该不难发现，如果 ToPrimitive(hit Number) 出现了 NaN，将直接 return undefined，也就是打印出 false，而下面是隐式转换表，{} 的结果是 NaN，因此结果是 false。

primitive

4 总结

NaN 在 javascript 是个特殊存在，只有 isNaN 可以准确判断到它，而且使用它进行比较判断时，会直接 return false.

javascript 隐式转换有一套优先级规则，而且不同值的隐式转换还需要对照表记忆，还存在 ToPrimitive(hint Number) ToPrimitive(hint String) ToPrimitive(hint Boolean) 三份表，记忆起来确实有点复杂。

因此推荐比较判断时，尽量使用 ===，通过 Typescript Flow 等强类型语言约束变量类型，尽量不要做不同类型变量间的比较。

讨论地址是：精读《null >= 0?》 · Issue #36 · dt-fe/weekly

如果你想参与讨论，请点击这里，每周都有新的主题，每周五发布。