在javascript中,null>=0 10bet为真,null==0却为假,

来源:http://www.chinese-glasses.com 作者:Web前端 人气:171 发布时间:2020-03-14
摘要:function case1(a){ if(a == null){ .... }} function case2(a){ if(a == undefined){ ... } } // 上面两组完全等价, 这就是一种不明确表述.// 我们永远不知道代码编写者的目的到底是同时匹配null 和 undefined还是
function case1(a){ if(a == null){ .... }} function case2(a){ if(a == undefined){ ... } } // 上面两组完全等价, 这就是一种不明确表述.// 我们永远不知道代码编写者的目的到底是同时匹配null 和 undefined还是只匹配其中某一个function case3(a){ if(a === null || a === undefined){ ... }} // case3 才是最好的表述. 我们明确知道代码编写者的意图. // 即使很多人可能认为这个代码很愚蠢. 但我坚定的认为这才是好代码.

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

我们先从一组 用例说起. 看代码:

2.查阅资料

注1 : ES3,ES5对关系运算符 "" , "", "=", "=" 以及相等运算符的实现,在关键部分几乎相同,所以不再列出ES5的内容.

2.3.3 ES3 的 “==” 运算符 :

所以,我们反过来看待这个问题.

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

  1. 关系运算符 和 相等运算符 并不是一个类别的.

  2. 关系运算符,在设计上,总是需要运算元尝试转为一个number . 而相等运算符在设计上,则没有这方面的考虑.

  3. 最重要的一点, 不要把 拿 a b , a == b 的结果 想当然的去和 a = b 建立联系. 正确的符合最初设计思想的关系是 a b 与 a = b是一组 . a == b 和其他相等运算符才是一组. 比如 a === b , a != b, a !== b .

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

怀着这样的想法,我给es-discuss 写了信,用不温和的口吻.质疑这个问题. 惊喜的是,Brendan Eich 居然关注了这个问题.并立刻做出了回复. 悲剧的是,我在反复阅读该回信内容时,仍然没有从根本上理解到这个问题.直到今天早上.我重新翻阅了ES3,5.相关章节. 才恍然大悟.

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

我个人在之前的阅读中,并没有意识到这些问题.而导致,我愚蠢的认为, = 的结果是设计上的失误. 原因是,我简单的认为 :

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

到此,我的反省结束. 同时也感谢 BE 的认真,及时的回复. 作为一个CTO,任然如此关心并积极参与技术社区的发展,实在让人钦佩.

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

开始前,我们先拿ES3,ES5的相关定义说起:

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

原文:_franky/archive/2012/09/26/2703723.html

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

时间: 2019-11-25阅读: 109标签: null

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 is different from Type, Go to step 14. 2. If Type is Undefined, return true. 3. If Type is Null, return true. 4. If Type 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 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 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 . 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 is Number and Type is String, return the result of the comparison x == ToNumber is String and Type is Number, return the result of the comparison ToNumber== y. 18. If Type is Boolean, return the result of the comparison ToNumber== y. 19. If Type is Boolean, return the result of the comparison x == ToNumber is either String or Number and Type is Object, return the result of the comparison x == ToPrimitive is Object and Type is either String or Number, return the result of the comparison ToPrimitive== y. 22. Return false.

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

2.1 内部相等性运算算法

说明

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

注2 : 下面这些内容,你只需要简单注意下,我标红的部分,其他部分其实无关紧要. 我会对这些内容,在后面的部分有个大概的解释.

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. 2. Call ToPrimitive. 3. If Type is String and Type 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. 5. Call ToNumber. 6. If Result is NaN, return undefined. 7. If Result is NaN, return undefined. 8. If Result are the same number value, return false. 9. If Result is +0 and Result is -0, return false. 10. If Result is -0 and Result is +0, return false. 11. If Result is +∞, return false. 12. If Result is +∞, return true. 13. If Result is -∞, return false. 14. If Result is -∞, return true. 15. If the mathematical value of Result is less than the mathematical value of Result — note that these mathematical values are both finite and not both zero — return true. Otherwise, return false. 16. If Result is a prefix of Result, 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 is a prefix of Result, return true. 18. Let k be the smallest nonnegative integer such that the character at position k within Result is different from the character at position k within Result. (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. 20. Let n be the integer that is the code point value for the character at position k within Result. 21. If m < n, return true. Otherwise, return false.

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

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

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

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

接着是吐槽的时候了:

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

我们今天讨论的主要内容,并不是这个结果可能看起来多么奇怪. 而是为什么会这样. 之所以特别记一篇随笔在这里,主要是因为,我在得到了Brendan Eich 的一些确认后.发现答案和我当初的猜测不一样. 所以我有反省,自己对ES的一些理解上,是不是有些偏主观.

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

本文由10bet发布于Web前端,转载请注明出处:在javascript中,null>=0 10bet为真,null==0却为假,

关键词:

最火资讯