Se dividirmos, a bagunça é igual a:
++[[]][+[]]
+
[+[]]
Em JavaScript, é verdade isso +[] === 0. +converte algo em um número e, nesse caso, será reduzido a +""ou 0(consulte os detalhes das especificações abaixo).
Portanto, podemos simplificá-lo ( ++tem precedência sobre +):
++[[]][0]
+
[0]
Porque [[]][0]significa: obter o primeiro elemento [[]], é verdade que:
[[]][0]retorna a matriz interna ( []). Devido às referências, é errado dizer [[]][0] === [], mas vamos chamar a matriz interna Apara evitar a notação errada.
++antes de seu operando significa "incrementar por um e retornar o resultado incrementado". Então ++[[]][0]é equivalente a Number(A) + 1(ou +A + 1).
Novamente, podemos simplificar a bagunça em algo mais legível. Vamos substituir []novamente por A:
(+[] + 1)
+
[0]
Antes de +[]poder coagir a matriz no número 0, ela precisa ser coagida em uma cadeia primeiro, ou seja "", novamente. Por fim, 1é adicionado, o que resulta em 1.
(+[] + 1) === (+"" + 1)(+"" + 1) === (0 + 1)(0 + 1) === 1
Vamos simplificar ainda mais:
1
+
[0]
Além disso, isso é verdade no JavaScript: [0] == "0"porque está juntando uma matriz com um elemento. A junção concatenará os elementos separados por ,. Com um elemento, você pode deduzir que essa lógica resultará no próprio elemento.
Nesse caso, +vê dois operandos: um número e uma matriz. Agora, ele está tentando coagir os dois no mesmo tipo. Primeiro, o array é coagido na string "0"; em seguida, o número é coagido em uma string ( "1"). Number +String ===String .
"1" + "0" === "10" // Yay!
Detalhes da especificação para +[]:
Este é um labirinto, mas, para fazer +[], primeiro ele está sendo convertido em uma string, porque é o que +diz:
11.4.6 Unário + Operador
O operador unary + converte seu operando no tipo Number.
A produção UnaryExpression: + UnaryExpression é avaliada da seguinte maneira:
Expr seja o resultado da avaliação da UnaryExpression.
Retornar ToNumber (GetValue (expr)).
ToNumber() diz:
Objeto
Aplique as seguintes etapas:
Deixe primValue ser ToPrimitive (argumento de entrada, dica String).
Retorne ToString (primValue).
ToPrimitive() diz:
Objeto
Retorne um valor padrão para o objeto. O valor padrão de um objeto é recuperado chamando o método interno [[DefaultValue]] do objeto, passando a dica opcional PreferredType. O comportamento do método interno [[DefaultValue]] é definido por esta especificação para todos os objetos nativos do ECMAScript na versão 8.12.8.
[[DefaultValue]] diz:
8.12.8 [[DefaultValue]] (dica)
Quando o método interno [[DefaultValue]] de O é chamado com a dica String, são executadas as seguintes etapas:
Permita que toString seja o resultado da chamada do método interno [[Get]] do objeto O com o argumento "toString".
Se IsCallable (toString) for verdadeiro,
uma. Seja str o resultado da chamada do método interno [[Call]] de toString, com O como este valor e uma lista de argumentos vazia.
b. Se str for um valor primitivo, retorne str.
O .toStringde uma matriz diz:
15.4.4.2 Array.prototype.toString ()
Quando o método toString é chamado, as seguintes etapas são executadas:
Deixe a matriz ser o resultado da chamada de ToObject neste valor.
Seja func como resultado da chamada do método interno [[Get]] da matriz com o argumento "join".
Se IsCallable (func) for false, permita que func seja o método interno padrão Object.prototype.toString (15.2.4.2).
Retorne o resultado da chamada do método interno [[Call]] da função de fornecimento de funções como o valor this e uma lista de argumentos vazia.
Então tudo +[]se resume a +"", porque [].join() === "".
Novamente, o +é definido como:
11.4.6 Unário + Operador
O operador unary + converte seu operando no tipo Number.
A produção UnaryExpression: + UnaryExpression é avaliada da seguinte maneira:
Expr seja o resultado da avaliação da UnaryExpression.
Retornar ToNumber (GetValue (expr)).
ToNumberé definido ""como:
O MV do StringNumericLiteral ::: [vazio] é 0.
Então +"" === 0e assim +[] === 0.
+[]lança uma matriz vazia para0... depois desperdice uma tarde ...;)