Esta página foi traduzida do inglês pela comunidade.Saiba mais e junte-se à comunidade MDN Web Docs.
Comparações de igualdade e uniformidade
JavaScript fornece três diferentes operações de comparação de valores:
- igualdade estrita (ou "três iguais" ou "identidade") usando===,
- igualdade ampla ("dois iguais") usando==,
- e
Object.is(novo no ECMAScript 6).
A escolha de qual operação usar depende da ordem de comparação que você está procurando executar.
Em resumo, dois iguais irá realizar uma conversão de tipo ao comparar duas coisas; três iguais irá fazer a mesma comparação, sem conversão de tipo (simplesmente retornando false se os tipos forem diferentes); eObject.is irá se comportar da mesma forma que três iguais, mas com tratamento especial paraNaN e-0 e+0 de modo que os dois últimos não são referidos como sendo o mesmo, enquantoObject.is(NaN, NaN) serátrue. (ComparandoNaN comNaN ordinariamente - ou seja, usando tanto iguais duplo ou iguais triplo - avalia comofalse, porque IEEE 754 diz isso.) Note que a distinção entre todos eles têm a ver com seu manuseio dos primitivos; nenhum deles compara se os parâmetros são conceitualmente semelhante em estrutura. Para qualquer objetos não-primitivo x e y que têm a mesma estrutura, mas são objetos distintos entre si, todas as formas acima será avaliada como falsa.
In this article
Igualdade estrita usando===
Igualdade estrita compara dois valores para a igualdade. Nenhum valor é convertido implicitamente para algum outro valor antes de serem comparados. Se os valores tem tipos diferentes, os valores são considerados não-iguais. Caso contrário, se os valores têm o mesmo tipo e não são números, eles são considerados iguais, se tiverem o mesmo valor. Finalmente, se ambos os valores são números, eles são considerados iguais se ambos não sãoNaN e são do mesmo valor, ou se um é+0 e outro é-0.
var num = 0;var obj = new String("0");var str = "0";console.log(num === num); // trueconsole.log(obj === obj); // trueconsole.log(str === str); // trueconsole.log(num === obj); // falseconsole.log(num === str); // falseconsole.log(obj === str); // falseconsole.log(null === undefined); // falseconsole.log(obj === null); // falseconsole.log(obj === undefined); // falseIgualdade estrita é quase sempre a operação de comparação correta a se usar. Para todos os valores, exceto os números, ele usa a semântica óbvia: um valor é apenas igual a ele mesmo. Para os números que ele usa uma semântica ligeiramente diferente para encobrir dois casos extremamente diferentes. A primeira é que o zero de ponto flutuante é positiva ou negativamente assinada. Isso é útil em representar certas soluções matemáticas, mas como a maioria das situações não se preocupam com a diferença entre+0 e-0, igualdade estrita trata-os como o mesmo valor. A segunda é que ponto flutuante inclui o conceito de um valor não-numérico,NaN, para representar a solução para certos problemas matemáticos mal definidos: infinito negativo adicionado ao infinito positivo, por exemplo. Igualdade estrita trataNaN como desigual a qualquer outro valor - incluindo o próprio. (O único caso em que(x! == X) étrue é quandox éNaN.)
Igualdade ampla usando ==
Igualdade ampla compara dois valores para a igualdade,após converter ambos os valores para um tipo comum. Após as conversões (um ou ambos os lados podem sofrer conversões), a comparação de igualdade final é realizada exatamente como=== executa. Igualdade ampla ésimétrica:A == B sempre tem semântica idêntica àB == A para quaisquer valores deA eB.
A comparação de igualdade é realizado da seguinte forma para os operandos dos vários tipos:
| Operand B | ||||||
|---|---|---|---|---|---|---|---|
| | Undefined | Null | Number | String | Boolean | Object |
| Operand A | Undefined | true | true | false | false | false | IsFalsy(B) |
| Null | true | true | false | false | false | IsFalsy(B) | |
| Number | false | false | A === B | A === ToNumber(B) | ToNumber(B) === A | ToPrimitive(B) == A | |
| String | false | false | B === ToNumber(A) | A === B | ToNumber(A) === ToNumber(B) | ToPrimitive(B) == A | |
| Boolean | false | false | ToNumber(A) === B | ToNumber(A) === ToNumber(B) | A === B | false | |
| Object | IsFalsy(A) | IsFalsy(A) | ToPrimitive(A) == B | ToPrimitive(A) == B | false |
| |
Na tabela acima,ToNumber(A) tenta converter seu argumento para um número antes de comparação. Seu comportamento é equivalente a+A (o operador + unário).ToPrimitive(A) tenta converter seu argumento de objeto para um valor primitivo, tentando invocar sequências diferentes deA.toString eA.valueOf métodos emA.
Tradicionalmente, e de acordo com ECMAScript, todos os objetos são amplamente desiguais aundefined enull. Mas a maioria dos navegadores permitem uma classe muito limitada de objetos (especificamente, o objetodocument.all para qualquer página), em alguns contextos, para agir como se elesemulassem o valorundefined. Igualdade ampla é um desses contexto. Portanto, o métodoIsFalsy(A) é avaliada como verdadeira se, e somente se, A for um objeto queemulaundefined. Em todos os outros casos, um objeto não é amplamente igual aundefined ounull.
var num = 0;var obj = new String("0");var str = "0";console.log(num == num); // trueconsole.log(obj == obj); // trueconsole.log(str == str); // trueconsole.log(num == obj); // trueconsole.log(num == str); // trueconsole.log(obj == str); // trueconsole.log(null == undefined); // true// both false, except in rare casesconsole.log(obj == null);console.log(obj == undefined);Alguns desenvolvedores consideram que nunca é uma boa idéia, praticamente, usar a igualdade ampla. O resultado de uma comparação usando a igualdade estrita é mais fácil de prever, e como nenhum tipo de coerção ocorre, a avaliação pode ser mais rápida.
Igualdade de mesmo valor
Igualdade de mesmo valor aborda um caso de uso final: determinar se dois valores sãofuncionalmente idêntico em todos os contextos. (Este caso de uso demonstra uma instância deLiskove substitution principle. Princípio de substituição de Liskove.) Uma instância ocorre quando é feita uma tentativa de transformar uma propriedade imutável:
// Add an immutable NEGATIVE_ZERO property to the Number constructor.Object.defineProperty(Number, "NEGATIVE_ZERO", { value: -0, writable: false, configurable: false, enumerable: false,});function attemptMutation(v) { Object.defineProperty(Number, "NEGATIVE_ZERO", { value: v });}Object.defineProperty irá disparar uma exceção ao tentar alterar uma propriedade imutável que realmente iria alterá-lo, mas ele não faz nada se nenhuma mudança real for solicitada. Sev for-0, nenhuma mudança foi solicitada, e nenhum erro será disparado. Mas sev for+0,Number.NEGATIVE_ZERO não teria mais o seu valor imutável. Internamente, quando uma propriedade imutável é redefinida, o valor recém-especificado é comparado com o valor atual usando a igualdade de mesmo valor.
Igualdade de mesmo valor é fornecida pelo métodoObject.is.
Igualdade abstrata, igualdade estrita, e de mesmo valor na especificação
No ES5, a comparação efetuada por== é descrita emSeção 11.9.3, O Algoritmo da Igualdade Abstrata. A comparação=== está em11.9.6, O Algoritmo de Igualdade Estrita. (Veja estes. Eles são breve e legível. Dica: leia o algoritmo de igualdade estrita primeiro.) ES5 também descreve, emSeção 9.12, o Algoritmo de Mesmo Valor para uso internamente pelo motor de JS. É em grande parte o mesmo que o Algoritmo de Igualdade Estrita, exceto que 11.9.6.4 e 9.12.4 diferem em manipulação doNumber. ES6 simplesmente se propõe a expor este algoritmo através deObject.is.
Podemos ver que com iguais duplos e triplos, com exceção de fazer uma verificação de tipo inicial 11.9.6.1, o Algoritmo de Igualdade Estrita é um subconjunto do Algoritmo Igualdade Abstrata, porque 11.9.6.2-7 correspondem a 11.9.3.1.a -f.
Um modelo para a compreensão comparações de igualdade?
Antes do ES6, você poderia dizer, de iguais duplos e iguais triplos, que um é uma versão "melhorada" do outro. Por exemplo, alguém poderia dizer que dois iguais é uma versão estendida de três iguais, porque o anterior faz tudo o que este último faz, mas com conversão de tipo nos seus operandos. Por exemplo, 6 == "6". (Alternativamente, alguém poderia dizer que dois iguais é a linha de base, e três iguais são uma versão melhorada, porque requer dois operandos para ser do mesmo tipo, por isso adiciona uma restrição extra. Qual deles é o melhor modelo para compreensão depende como você optar por ver as coisas.)
No entanto, esta forma de pensar sobre os operadores de igualdade embutida não é um modelo que pode ser esticado para permitir um lugar paraObject.is de ES6 neste "espectro".Object.is não é simplesmente "mais frouxo" que dois iguais ou "mais rigorosa" do que três iguais, nem se encaixa em algum lugar entre eles (ex: sendo tanto mais rigorosas que dois iguais, mas mais flexível do que três iguais). Podemos ver a partir da tabela de comparações de igualdade abaixo que isto é devido à forma queObject.is manipulaNaN. Observe que, se Object.is(NaN, NaN) avalia como false, nóspoderiamos dizer que ele se encaixa no espectro amplo/estrito como um forma ainda mais rigorosa das três iguais, um que distingue entre -0 e +0. A manipulação doNaN significa que este é não-verdadeiro, entretanto. Infelizmente,Object.is simplesmente tem que ser pensado em termos de suas características específicas, ao invés de sua amplitude ou rigorosidade no que diz respeito aos operadores de igualdade.
| x | y | == | === | Object.is |
|---|---|---|---|---|
undefined | undefined | true | true | true |
null | null | true | true | true |
true | true | true | true | true |
false | false | true | true | true |
"foo" | "foo" | true | true | true |
{ foo: "bar" } | x | true | true | true |
0 | 0 | true | true | true |
+0 | -0 | true | true | false |
0 | false | true | false | false |
"" | false | true | false | false |
"" | 0 | true | false | false |
"0" | 0 | true | false | false |
"17" | 17 | true | false | false |
[1,2] | "1,2" | true | false | false |
new String("foo") | "foo" | true | false | false |
null | undefined | true | false | false |
null | false | false | false | false |
undefined | false | false | false | false |
{ foo: "bar" } | { foo: "bar" } | false | false | false |
new String("foo") | new String("foo") | false | false | false |
0 | null | false | false | false |
0 | NaN | false | false | false |
"foo" | NaN | false | false | false |
NaN | NaN | false | false | true |
Quando usarObject.is ao invés de três iguais
Além da forma como trataNaN, geralmente, a única vez que o comportamento especial doObject.is em direção a zeros é provável que seja interessante é na busca de determinados regimes de meta-programação, especialmente em relação a descritores de propriedade quando é desejável para o seu trabalho para espelhar algumas das características deObject.defineProperty. Se o seu caso de uso não exige isso, sugere-se a evitarObject.is e usar=== em vez disso. Mesmo se suas exigências envolvem comparações entre dois valoresNaN avaliarem para true, geralmente é mais fácil para caso especial oNaN checar (usando oisNaN método disponível a partir de versões anteriores do ECMAScript) do que descobrir como cálculos circundantes podem afetar o sinal de todos os zeros que você encontra em sua comparação.
Aqui está uma lista exaustiva de métodos e operadores integrados que pode causar uma distinção entre -0 e +0 a manifestar-se em seu código:
- (negação unário)É óbvio que negando 0 produz -0. Mas a abstração de uma expressão pode causar -0 a fluência em quanto você não percebe isso. Por exemplo, considere:
jslet stoppingForce = obj.mass * -obj.velocity;If obj.velocity is 0 (ou calcula para 0), um -0 é introduzido naquele lugar e propaga-se em stoppingForce.
Math.atan2Math.ceilMath.powMath.roundÉ possível que um -0 para ser introduzido em uma expressão como um valor de retorno desses métodos, em alguns casos, mesmo quando nenhum -0 exista como um dos parâmetros. Por exemplo, usandoMath.pow para levantar -Infinity a potência de qualquer número, expoente ímpar negativo avaliada como -0. Consulte a documentação para os métodos individuais.
Math.floorMath.maxMath.minMath.sinMath.sqrtMath.tanÉ possível obter um -0 valor de retorno para fora destes métodos em alguns casos em que um -0 existe como um dos parâmetros. Por exemplo,
Math.min(-0, +0)resulte em -0. Consulte a documentação para os métodos individuais.- ~<<>>
Cada um destes operadores usa o algoritmo ToInt32 internamente. Uma vez que existe apenas uma representação para 0 no tipo integer de 32 bits interno, -0 não vai sobreviver a uma ida e volta após uma operação inversa. Por exemplo, tanto
Object.is(~~(-0), -0)eObject.is(-0 << 2 >> 2, -0)avaliar comofalse.
Baseando-se emObject.is quando a sinalização de zeros não é levado em conta podem ser perigosos. Claro que, quando a intenção é fazer a distinção entre-0 e+0, isso faz exatamente o que é desejado.