Segundo a especificação da linguagem, o operador ==
usa o algoritmo descrito na operação IsLooselyEqual
. O caso da pergunta cai no passo 12:
IsLooselyEqual ( x, y )
...
12. If x is an Object and y is either a String, a Number, a BigInt, or a Symbol, return ! IsLooselyEqual(? ToPrimitive(x), y).
Ou seja, o objeto x
é passado para a operação ToPrimitive
. O algorimo primeiro procura pelo método toPrimitive
, mas no código da pergunta este método não existe, então ele cai no último passo:
ToPrimitive ( input [ , preferredType ] )
...
c. If preferredType is not present, let preferredType be number.
d. Return ? OrdinaryToPrimitive(input, preferredType).
Como o passo 12 de IsLooselyEqual
não informou o preferredType
, então ele foi setado para number
, e em seguida foi chamada a operação OrdinaryToPrimitive
, que é descrita como:
OrdinaryToPrimitive ( O, hint )
The abstract operation OrdinaryToPrimitive takes arguments O (an Object) and hint (string or number) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:
- If hint is string, then
- Let methodNames be « "toString", "valueOf" ».
- Else,
- Let methodNames be « "valueOf", "toString" ».
- For each element name of methodNames, do
- Let method be ? Get(O, name).
- If IsCallable(method) is true, then
- Let result be ? Call(method, O).
- If result is not an Object, return result.
- Throw a TypeError exception.
No caso, o hint
é number
, então primeiro ele verifica se o objeto possui o método valueOf
: se possuir, chama-o e o retorna o resultado, caso contrário, procura pelo método toString
.
Ou seja, no caso do objeto criado na pergunta, ao fazer x == 1
, primeiro ele chama a operação ToPrimitive(x)
, cujo resultado é o retorno de toString()
.
Depois é feita a comparação IsLooselyEqual(? ToPrimitive(x), y)
, que vai comparar uma string (retorno de toString()
) com um número. E aí caímos neste passo da operação:
6. If x is a String and y is a Number, return ! IsLooselyEqual(! ToNumber(x), y).
Ou seja, o retorno de toString
será convertido para número e comparado com y
.
O que acontece é que cada vez que toString
é chamado, ele incrementa o valor de i
. Por isso que a cada vez que a comparação é feita, o resultado é um número diferente.
E de acordo com o já descrito acima, o mesmo funcionaria se o objeto tivesse somente o método valueOf
ou toPrimitive
. Ou, mesmo que tivesse mais de um desses métodos, a prioridade é primeiro procurar por toPrimitive
, depois valueOf
e por último toString
.
Por exemplo, neste caso o método valueOf
está definido, então é ele que será usado:
var x = {
i: 1,
valueOf: function () {
console.log('chamando valueOf');
return this.i++;
},
toString: function () {
console.log('chamando toString');
return 'abc';
}
};
console.log('teste 1');
console.log(x == 1 && x == 2 && x == 3); // true
console.log('teste 2');
console.log(x == 'abc'); // false
A saída deste código é:
teste 1
chamando valueOf
chamando valueOf
chamando valueOf
true
teste 2
chamando valueOf
false
Ou seja, toString
nunca é chamado, porque a especificação da linguagem define que valueOf
é verificado primeiro (se existir, chama e nem olha para toString
).
Da mesma forma, o método toPrimitive
tem prioridade sobre valueOf
(ele só é um pouco mais chato de definir porque temos que usar o respectivo Symbol
):
var x = {
i: 1,
[Symbol.toPrimitive]: function() {
console.log('chamando toPrimitive');
return this.i++;
},
valueOf: function () {
console.log('chamando valueOf');
return 42;
},
toString: function () {
console.log('chamando toString');
return 'abc';
}
};
console.log('teste 1');
console.log(x == 1 && x == 2 && x == 3); // true
console.log('teste 2');
console.log(x == 'abc'); // false
console.log(x == 42); // false
Agora podemos ver que somente o método toPrimitive
é chamado:
teste 1
chamando toPrimitive
chamando toPrimitive
chamando toPrimitive
true
teste 2
chamando toPrimitive
false
chamando toPrimitive
false
Resumindo
Ao comparar um objeto com um número, primeiro o objeto é convertido para número:
- se o objeto possui o método
toPrimitive
, este é chamado e o seu retorno é usado na comparação
- caso
toPrimitive
não exista, verifica se o objeto possui o método valueOf
, e este é chamado e o seu retorno é usado na comparação
- caso
valueOf
não exista, verifica se o objeto possui o método toString
, e este é chamado e o seu retorno é usado na comparação
- se nenhum dos métodos existir, o resultado da comparação será
false