資訊專欄INFORMATION COLUMN
概述
本文主要講解JavaScript中的三種相等運(yùn)算：==，===和Object.is()。通過對比和例子，加深大家的印象，并就個(gè)別例子進(jìn)行詳細(xì)說明。
預(yù)備知識(shí)ECMAScript7規(guī)范中的ToPrimitive抽象操作
===運(yùn)算符對于x === y，該運(yùn)算符的比較步驟如下：
如果x的類型和y的類型不一樣，返回false；
如果x的類型是數(shù)字，那么：
如果x是NaN，返回false；
如果y是NaN，返回false；
如果x和y是同一個(gè)數(shù)字值，返回true；
如果x是+0，y是-0，返回true；
如果x是-0，y是+0，返回true；
返回false；
返回SameValueNonNumber(x, y)的結(jié)果。
SameValueNonNumber(x, y)抽象操作比較兩個(gè)非數(shù)字并且同類型的x和y是否相等，比較步驟如下：
如果x的類型是null或者undefined，返回true；
如果x是字符串類型，
如果x和y是完全相同的字符編碼序列，返回true，否則返回false；
如果x是布爾類型，
如果x和y同為true或者false，返回true，否則返回false；
如果x是symbol類型，
如果x和y是相同的符號(hào)值，返回true，否則返回false；
如果x和y是同一個(gè)對象值，返回true，否則返回false。
需要注意的點(diǎn)是NaN，+0，-0：
NaN === NaN // false +0 === -0 // true -0 === +0 // true
這三個(gè)例子分別對應(yīng)x === y比較步驟中的2.1，2.4和2.5。這三個(gè)例子的輸出結(jié)果完全就是按照規(guī)范的定義得出的結(jié)果，沒有為什么，規(guī)范就是這么定義的。至于說為什么規(guī)范要這樣定義，可能就需要去問規(guī)范的制定者了，這個(gè)就不在本文的討論范圍之內(nèi)了。
Object.is()對于Object.is(x, y)，會(huì)使用抽象操作SameValue(x, y)進(jìn)行比較，該抽象操作的步驟如下：
如果x的類型和y的類型不一樣，返回false；
如果x的類型是數(shù)字，那么：
如果x和y都是NaN，返回true；
如果x是+0，y是-0，返回false；
如果x是-0，y是+0，返回false；
如果x和y是同一個(gè)數(shù)字值，返回true；
返回false；
返回SameValueNonNumber(x, y)的結(jié)果。
由此可見，===和Object.is()的區(qū)別在于對NaN和帶符號(hào)的0的處理：
NaN === NaN // false +0 === -0 // true -0 === +0 // true Object.is(NaN, NaN) // true Object.is(+0, -0) // false Object.is(-0, +0) // false==運(yùn)算符
對于x == y，該運(yùn)算符的比較步驟如下：
如果x和y的類型相同，返回x === y的結(jié)果；
如果x是null，y是undefined，返回true；
如果x是undefined，y是null，返回true；
如果x的類型是數(shù)字，y的類型是字符串，返回x == ToNumber(y)的結(jié)果；
如果x的類型是字符串，y的類型是數(shù)字，返回ToNumber(x) == y的結(jié)果；
如果x的類型是布爾類型，返回ToNumber(x) == y的結(jié)果；
如果y的類型是布爾類型，返回x == ToNumber(y)的結(jié)果；
如果x的類型是字符串、數(shù)字或者Symbol中的一種，y的類型是對象，返回x == ToPrimitive(y)的結(jié)果；
如果x的類型是對象，y的類型是字符串、數(shù)字或者Symbol中的一種，返回ToPrimitive(x) == y的結(jié)果；
返回false。
上面用到了方法ToNumber，ToNumber(x)的步驟如下：
如果x的類型是Undefined，返回NaN；
如果x的類型是Null，返回+0；
如果x的類型是布爾類型，x為true返回1，false返回+0；
如果x的類型是數(shù)字，返回x；
如果x的類型是字符串，參考字符串轉(zhuǎn)化為數(shù)字，本文不詳細(xì)介紹這塊內(nèi)容；
如果x的類型是Symbol，返回NaN；
如果x的類型是對象，
讓primValue的值是ToPrimitive(x, hint Number)；
返回ToNumber(primValue)的結(jié)果；
[] == ![]上面講了==運(yùn)算符的比較步驟，下面我們講一個(gè)例子加深下印象：
[] == ![]
首先左邊的[]是一個(gè)空數(shù)組，類型是對象，右邊是![]，[]是一個(gè)真值，所以![]的結(jié)果是false：
[] == ![] // => [] == false
然后會(huì)走到x == y比較步驟的第7步，返回x == ToNumber(y)的結(jié)果，也就是：
[] == false // => [] == ToNumber(false)
由ToNumber(x)的第3步可知，ToNumber(false)返回+0：
[] == ToNumber(false) // => [] == +0
然后走到x == y比較步驟的第9步，返回ToPrimitive(x) == y的比較結(jié)果：
[] == +0 // => ToPrimitive([]) == +0
ToPrimitive([])的結(jié)果是空字符串""，原因請查看文章ECMAScript7規(guī)范中的ToPrimitive抽象操作。所以，上面等價(jià)于：
"" == +0
然后走到x == y比較步驟的第5步，返回ToNumber(x) == y的結(jié)果：
"" == +0 // => ToNumber("") == +0
由ToNumber操作的第5步可知，ToNumber("")的結(jié)果是+0，所以也就是：
+0 == +0 // true{} == !{}
首先，左邊是{}，類型是對象，右邊是!{}，{}是真值，所以!{}是false：
{} == !{} // => {} == false
然后同樣會(huì)走到x == y比較步驟的第7步，返回x == ToNumber(y)的結(jié)果，也就是：
{} == false // => {} == ToNumber(false)
由ToNumber(x)的第3步可知，ToNumber(false)返回+0：
{} == ToNumber(false) // => {} == +0
然后走到x == y比較步驟的第9步，返回ToPrimitive(x) == y的比較結(jié)果：
{} == +0 // => ToPrimitive({}) == +0
ToPrimitive({})的結(jié)果是字符串"[object Object]"，原因請查看文章ECMAScript7規(guī)范中的ToPrimitive抽象操作。所以，上面等價(jià)于：
"[object Object]" == +0
然后走到x == y比較步驟的第5步，返回ToNumber(x) == y的結(jié)果：
"[object Object]" == +0 // => ToNumber("[object Object]") == +0
由ToNumber操作的第5步可知，ToNumber("[object Object]")的結(jié)果是NaN，所以也就是：
NaN == +0 // false
所以，[] == ![]的結(jié)果是true，{} == !{}的結(jié)果是false?？赡苡腥说谝淮慰吹?b>[] == ![]的時(shí)候，覺得這個(gè)的比較結(jié)果怎么可能是true。我覺得有時(shí)候不要感性的去認(rèn)識(shí)問題，按照規(guī)定的運(yùn)算步驟走一遍，結(jié)果是什么就是什么。
如何證明x == y比較步驟的第4步和第5步？這個(gè)問題的詳細(xì)描述是當(dāng)==運(yùn)算符兩邊分別是數(shù)字和字符串類型的時(shí)候，如何證明是如步驟4和5描述的那般把字符串轉(zhuǎn)化成了數(shù)字，而不是把數(shù)字轉(zhuǎn)化成了字符串？
答：思路是：是否存在這樣一個(gè)例子，使得把數(shù)字轉(zhuǎn)化為字符串后的比較結(jié)果是false，字符串轉(zhuǎn)化為數(shù)字后的比較結(jié)果是true。是的，確實(shí)存在這樣的例子：
+"3.0" // 3 => 3 == 3 => true "" + 3 // "3" => "3.0" == "3" // false "3.0" == 3 // true，證明是把字符串轉(zhuǎn)化成了數(shù)字總結(jié)
本文講解了JavaScript中的三種相等運(yùn)算：==，===和Object.is()，希望對大家有所幫助。如果本文有什么錯(cuò)誤或者不嚴(yán)謹(jǐn)?shù)牡胤剑瑲g迎在評論區(qū)留言。
參考資料es7規(guī)范
文章版權(quán)歸作者所有，未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請注明本文地址：http://systransis.cn/yun/97834.html
摘要：如下所示在規(guī)范中，已經(jīng)正式把屬性添加到規(guī)范中也可以通過設(shè)置和獲取對象的原型對象對象之間的關(guān)系可以用下圖來表示但規(guī)范主要介紹了如何利用構(gòu)造函數(shù)去構(gòu)建原型關(guān)系。 前言 在軟件工程中，代碼重用的模式極為重要，因?yàn)樗麄兛梢燥@著地減少軟件開發(fā)的成本。在那些主流的基于類的語言（比如Java,C++）中都是通過繼承(extend)來實(shí)現(xiàn)代碼復(fù)用，同時(shí)類繼承引入了一套類型規(guī)范。而JavaScript是...
摘要：一些開發(fā)人員特別是新手們會(huì)認(rèn)為這兩個(gè)功能的工作方式是一樣的，但其實(shí)并不是。的問題使用聲明的對象僅能阻止其重新分配，但是并不能使其聲明的對象具有不可變性能夠阻止更改其屬性。因此，當(dāng)具有嵌套屬性的對象時(shí)，并不能完全凍結(jié)對象。 原文：The differences between Object.freeze() vs Const in JavaScript?作者：Bolaji Ayodeji...
摘要：一可以用作對象的復(fù)制可以用作對象的合并注意目標(biāo)對象自身也會(huì)改變。對象四返回一個(gè)數(shù)組，包括對象自身的不含繼承的所有可枚舉屬性不含屬性的鍵名。該方法返回被凍結(jié)的對象。方法判斷一個(gè)對象是否被凍結(jié)。 JavaScript對Object對象的一些常用操作總結(jié)。 一、Object.assign() 1.可以用作對象的復(fù)制 var obj = { a: 1 }; var copy = Object....
摘要：表達(dá)式?jīng)]有返回值，因此返回結(jié)果是。并不改變表達(dá)式的結(jié)果，只要讓表達(dá)式不返回值按慣例我們用來獲得這主要源自語言，當(dāng)然使用或其他表達(dá)式也是可以的。不是數(shù)字的數(shù)字如果數(shù)學(xué)運(yùn)算的操作數(shù)不是數(shù)字類型，就無法返回一個(gè)有效的數(shù)字，這種情況下返回值為。 這里的內(nèi)容是讀書筆記，僅供自己學(xué)習(xí)所用，有欠缺的地方歡迎留言提示。 第一部分 類型和語法 第1章 類型ECMAScript語言類型包括Undefin...
摘要：對象是中最常的內(nèi)置對象之一。為了節(jié)省內(nèi)存，使用一個(gè)共享的構(gòu)造器使用更安全的引用如果不是或，拋出一個(gè)異常。使創(chuàng)建的一個(gè)新的對象為，就和通過表達(dá)式創(chuàng)建一個(gè)新對象一樣，是標(biāo)準(zhǔn)內(nèi)置的構(gòu)造器名設(shè)置的內(nèi)部屬性為。方法返回一個(gè)該對象的字符串表示。 Object 對象是Javascript中最常的內(nèi)置對象之一。除了null 和 undefined，其他的所有的都可以轉(zhuǎn)換為對象。可以把對象看成含有鍵值一...
閱讀 2970·2021-11-17 09:33
閱讀 3132·2021-11-16 11:52
閱讀 495·2021-09-26 09:55
閱讀 2992·2019-08-30 15:52
閱讀 1328·2019-08-30 15:44
閱讀 1274·2019-08-30 13:59
閱讀 810·2019-08-30 13:08
閱讀 1173·2019-08-30 10:50
