在javascript中,null>=0 为真,null==0却为假,null的值详解


Posted in Javascript onFebruary 22, 2017

在javascript中,null>=0 为真,null==0却为假,null的值详解

1.前言

今天看见朋友们在讨论一个问题,说 null 到底和 0 是不是相等的。

听到这里,自己赶紧去写个 Demo 试一下。

<!DOCTYPE html>
<html lang="en">
<head>
  <meta charset="UTF-8">
  <title>MR_LP:3206064928</title>
</head>
<body>

</body>
<script type="text/javascript">
  console.log(null > 0);   // false
  console.log(null < 0);   // false
  console.log(null >= 0);   // true
  console.log(null <= 0);   // true
  console.log(null == 0);   // false
  console.log(null === 0);    // false
</script>
</html>

什么情况?

为什么 console.log(null <= 0); 和 console.log(null >= 0); 这两条的判断是 true 呢?

2.查阅资料

如果想明确,这个问题具体是怎么回事,那么我们需要重新来回顾一下我们的 ECMAScript Language Specification (HTML version),翻译过来就是ECMAScript语言规范(HTML版本)。

2.1 内部相等性运算算法

首先我们来看一下 ES3 关于 内部相等性运算的算法实现。

11.9.3 The Abstract Equality Comparison Algorithm 
The comparison x == y, where x and y are values, produces true or false. Such a comparison is performed as follows: 
1. If Type(x) is different from Type(y), Go to step 14. 
2. If Type(x) is Undefined, return true. 
3. If Type(x) is Null, return true. 
4. If Type(x) is not Number, go to step 11. 
5. If x is NaN, return false. 
6. If y is NaN, return false. 
7. If x is the same number value as y, return true. 
8. If x is +0 and y is -0, return true. 
9. If x is -0 and y is +0, return true. 
10. Return false. 
11. If Type(x) is String, then return true if x and y are exactly the same sequence of characters (same length and same characters in corresponding positions). Otherwise, return false. 
12. If Type(x) is Boolean, return true if x and y are both true or both false. Otherwise, return false. 
13. Return true if x and y refer to the same object or if they refer to objects joined to each other (see 13.1.2). Otherwise, return false. 
14. If x is null and y is undefined, return true. 
15. If x is undefined and y is null, return true. 
16. If Type(x) is Number and Type(y) is String, return the result of the comparison x == ToNumber(y). 
17. If Type(x) is String and Type(y) is Number, return the result of the comparison ToNumber(x)== y. 
18. If Type(x) is Boolean, return the result of the comparison ToNumber(x)== y. 
19. If Type(y) is Boolean, return the result of the comparison x == ToNumber(y). 
20. If Type(x) is either String or Number and Type(y) is Object, return the result of the comparison x == ToPrimitive(y). 
21. If Type(x) is Object and Type(y) is either String or Number, return the result of the comparison ToPrimitive(x)== y. 
22. Return false.

2.2 内部关系运算算法

接下来我们再来看一下 ES3 关于 内部关系运算的算法实现。

11.8.5 The Abstract Relational Comparison Algorithm 
The comparison x < y, where x and y are values, produces true, false, or undefined (which indicates that at least one operand is NaN). Such a comparison is performed as follows: 
1. Call ToPrimitive(x, hint Number). 
2. Call ToPrimitive(y, hint Number). 
3. If Type(Result(1)) is String and Type(Result(2)) is String, go to step 16. (Note that this step differs from step 7 in the algorithm for the addition operator **+ 
* in using *and instead of or.) 
4. Call ToNumber(Result(1)). 
5. Call ToNumber(Result(2)). 
6. If Result(4) is NaN, return undefined. 
7. If Result(5) is NaN, return undefined. 
8. If Result(4) and Result(5) are the same number value, return false. 
9. If Result(4) is +0 and Result(5) is -0, return false. 
10. If Result(4) is -0 and Result(5) is +0, return false. 
11. If Result(4) is +∞, return false. 
12. If Result(5) is +∞, return true. 
13. If Result(5) is -∞, return false. 
14. If Result(4) is -∞, return true. 
15. If the mathematical value of Result(4) is less than the mathematical value of Result(5) — note that these mathematical values are both finite and not both zero — return true. Otherwise, return false. 
16. If Result(2) is a prefix of Result(1), return false. (A string value p is a prefix of string value q if q can be the result of concatenating p and some other string*r*. Note that any string is a prefix of itself, because r may be the empty string.) 
17. If Result(1) is a prefix of Result(2), return true. 
18. Let k be the smallest nonnegative integer such that the character at position k within Result(1) is different from the character at position k within Result(2). (There must be such a k, for neither string is a prefix of the other.) 
19. Let m be the integer that is the code point value for the character at position k within Result(1). 
20. Let n be the integer that is the code point value for the character at position k within Result(2). 
21. If m < n, return true. Otherwise, return false.

2.3 ES3 的 运算符

2.3.1 ES3 的 “>” 运算符:

The Greater-than Operator ( > ) 
The production RelationalExpression : 
RelationalExpression > ShiftExpression is evaluated as follows: 
1. Evaluate RelationalExpression. 
2. Call GetValue(Result(1)). 
3. Evaluate ShiftExpression. 
4. Call GetValue(Result(3)). 
5. Perform the comparison Result(4) < Result(2). 
6. If Result(5) is undefined, return false. Otherwise, return Result(5).

2.3.2 ES3 的”>=” 运算符:

The Greater-than-or-equal Operator ( >= ) 
The production RelationalExpression : 
RelationalExpression >= ShiftExpression is evaluated as follows: 
1. Evaluate RelationalExpression. 
2. Call GetValue(Result(1)). 
3. Evaluate ShiftExpression. 
4. Call GetValue(Result(3)). 
5. Perform the comparison Result(2) < Result(4). (see 11.8.5). 
6. If Result(5) is true or undefined, return false. Otherwise, return true.

2.3.3 ES3 的 “==” 运算符 :

The Equals Operator ( == ) 
The production EqualityExpression : 
EqualityExpression == RelationalExpression is evaluated as 
follows: 
1. Evaluate EqualityExpression. 
2. Call GetValue(Result(1)). 
3. Evaluate RelationalExpression. 
4. Call GetValue(Result(3)). 
5. Perform the comparison Result(4) == Result(2). (see 11.9.3). 
6. Return Result(5).

3. 根据资料得出的内容

着重看一下,上面特意加粗的地方,我们可以明确下面三件事。

  1. 关系运算符 和 相等运算符 并不是一个类别的.
  2. 关系运算符,在设计上,总是需要运算元尝试转为一个number . 而相等运算符在设计上,则没有这方面的考虑.
  3. 最重要的一点, 不要把 拿 a > b , a == b 的结果 想当然的去和 a >= b 建立联系. 正确的符合最初设计思想的关系是 a > b 与 a >= b是一组 . a == b 和其他相等运算符才是一组. 比如 a === b , a != b, a !== b .

那么我们就可以反过来看这个问题了。

null > 0   // null 尝试转型为number , 则为0 . 所以结果为 false, 
null >= 0  // null 尝试转为number ,则为0 , 结果为 true. 
null == 0  // null在设计上,在此处不尝试转型. 所以 结果为false.

这里引用一下 Franky大大的话。

a >= b 运算符只是简单的去对 a < b的结果取反. 我以为这是一个设计上的失误的另一个理由是 undefined,在标准中,被单拎出来.细心的你,也一定发现了这一点. 对于undefined的设计,  undefined > 0  , undefined < 0, undefined == 0 的结果是符合设计上,逻辑的一致性的. 而null是被遗漏的东西.直到今天早上.我重新翻阅了ES3,5.相关章节. 才恍然大悟自己没有从根本上理解到这个问题.

虽然前面的例子,我catch到了BE当初的设计思想. 但是从全局的角度来看. 从关系运算符到相等运算符,尤其是相等运算符的设计上. 真的十分混乱不堪. BE在信中提到,他对 == 的现状也很无奈. 甚至用愚蠢这个词来形容自己当初的实现(当然他还提到,当初只是为了在10天内设计出js,并跑过qa的测试用例). 即使如此, 但是他仍然表示 null == 0 这个结果是他想要的. 


好吧,到了这里,我也有种无力感. 我认为纵观JavaScript,对关系运算和相等运算的设计.除了混乱,我想不出还有什么词来形容它们更恰当. 这一点从,我们生产环境代码中,大量的类型检查,和防御性代码的的存在,就可以证明这一点.

同时 Franky大大还举了另外一个例子。

function case1(a){
  if(a == null){
     ....
  }
} 
 
function case2(a){
  if(a == undefined){
    ...
  }  
}
 
// 上面两组完全等价, 这就是一种不明确表述.
// 我们永远不知道代码编写者的目的到底是同时匹配null 和 undefined还是只匹配其中某一个
 
 
function case3(a){
  if(a === null || a === undefined){
    ...
  }
}
 
// case3 才是最好的表述. 我们明确知道代码编写者的意图. 
// 即使很多人可能认为这个代码很愚蠢. 但我坚定的认为这才是好代码.

最后, 不得不提到,我发出null >= 0 这封信后, Andrea Giammarchi 表示了对我之前看法的支持,他同我最初的看法一样,认为 null >= 0 的结果应该为 false . 并建议在 ES7 中的严格模式中,修改这个结果. 虽然同样遭到 David Bruant 的反对.  好吧为他和我的这个错误看法,默哀一分钟…

4.后记

所以写代码,写规范,都应该明确表述. 即使表述的很罗嗦,但不会引起歧义或怀疑. 这才是一份好的标准.文档,代码. 而避免歧义,和各种混乱不堪的规则,是一门语言最应遵守的设计原则.

最后也希望大家在日常的开发中,能够少遇坑。

Javascript 相关文章推荐
JS 页面计时器示例代码
Oct 28 Javascript
javascript事件函数中获得事件源的两种不错方法
Mar 17 Javascript
node.js中的fs.utimes方法使用说明
Dec 15 Javascript
JavaScript实现刷新不重记的倒计时
Aug 10 Javascript
Web安全测试之XSS实例讲解
Aug 15 Javascript
jQueryUI Datepicker组件设置日期高亮
Oct 13 Javascript
基于JSONP原理解析(推荐)
Dec 04 Javascript
JS使用栈判断给定字符串是否是回文算法示例
Mar 04 Javascript
对vue中的事件穿透与禁止穿透实例详解
Oct 28 Javascript
React 父子组件通信的实现方法
Dec 05 Javascript
在vue中实现某一些路由页面隐藏导航栏的功能操作
Sep 21 Javascript
Ajax异步刷新功能及简单案例
Nov 20 Javascript
微信小程序 扎金花简单实例
Feb 21 #Javascript
angular中的http拦截器Interceptors的实现
Feb 21 #Javascript
微信小程序 PHP生成带参数二维码
Feb 21 #Javascript
vue-resource 拦截器使用详解
Feb 21 #Javascript
微信小程序 template模板详解及实例
Feb 21 #Javascript
Bootstrap 3 按钮标签实例代码
Feb 21 #Javascript
Angular实现购物车计算示例代码
Feb 21 #Javascript
You might like
基于php冒泡排序算法的深入理解
2013/06/09 PHP
[原创]php使用strpos判断字符串中数字类型子字符串出错的解决方法
2017/04/01 PHP
PHP mysqli事务操作常用方法分析
2017/07/22 PHP
PHP实现的策略模式简单示例
2017/08/25 PHP
Laravel 5.1 框架Blade模板引擎用法实例分析
2020/01/04 PHP
js解析与序列化json数据(一)json.stringify()的基本用法
2013/02/01 Javascript
详解javascript事件冒泡
2016/01/09 Javascript
javascript随机抽取0-100之间不重复的10个数
2016/02/25 Javascript
jQuery unbind 删除绑定事件详解
2016/05/24 Javascript
ES6中module模块化开发实例浅析
2017/04/06 Javascript
利用canvas实现的加载动画效果实例代码
2017/07/05 Javascript
node结合swig渲染摸板的方法
2018/04/11 Javascript
layui表格分页 记录勾选的实例
2019/09/02 Javascript
基于jquery ajax的多文件上传进度条过程解析
2019/09/11 jQuery
jquery+ajax实现异步上传文件显示进度条
2020/08/17 jQuery
Python微信库:itchat的用法详解
2017/08/14 Python
python 函数内部修改外部变量的方法
2018/12/18 Python
django 实现编写控制登录和访问权限控制的中间件方法
2019/01/15 Python
对Django中static(静态)文件详解以及{% static %}标签的使用方法
2019/07/28 Python
python实现拼图小游戏
2020/02/22 Python
Python基于Webhook实现github自动化部署
2020/11/28 Python
皮尔·卡丹巴西官方商店:Pierre Cardin
2017/07/21 全球购物
美国机场停车位预订:About Airport Parking
2018/03/26 全球购物
屈臣氏马来西亚官网:Watsons马来西亚
2019/06/15 全球购物
Kipling澳洲官网:购买凯浦林包包
2020/12/17 全球购物
写一个函数返回1+2+3+…+n的值(假定结果不会超过长整型变量的范围)
2014/09/05 面试题
百度JavaScript笔试题
2015/01/15 面试题
职业生涯规划怎么写
2013/12/29 职场文书
秋季红领巾广播稿
2014/01/27 职场文书
工程招投标邀请书
2014/01/30 职场文书
司法局群众路线教育实践活动开展情况总结
2014/10/25 职场文书
先进党支部申报材料
2014/12/24 职场文书
酒店财务总监岗位职责
2015/04/03 职场文书
物业管理交接协议书
2016/03/24 职场文书
详解TypeScript中的类型保护
2021/04/29 Javascript
草系十大最强宝可梦,纸片人上榜,榜首大家最熟悉
2022/03/18 日漫