Как посчитать странное выражение (из теста с UpWork)?

Question

[klinnov]

Здравствуйте! Сдал тест на 2.5. Есть неадекватные тесты или я чего-то не понимаю.
Как вот это считать?
++[[]][+[]]+[+[]]
Это выводит 10...
Почти год работаю с JS но этого еще не видел

Answer 1

[Kovalsky]

UPD: разбор именно вашего случая

TLDR - комментированный jjencode

Описание порядка действий, type conversion table

++[[]][+[]]+[+[]]

Два слагаемых: ++[[]][+[]] и [+[]]

Первое слагаемое равно единице, т.к. первая пара квадратных скобок это литерал массива с единственным элементом - пустым массивом, вторая пара - обращение к этому массиву по индексу +[], то есть 0. По индексу 0 лежит пустой массив, в виду инкремента он приводится к числу (получается 0) и добавляется единица, получается 1

Второе слагаемое это литерал массива с единственным элементом 0.

То есть складываются единица и [0], 1+[0].

Единственная загадка это почему в этой операции [0] приводится к строке. Было бы логично если бы в операции сложения единицы и массива массив приводился к примитиву с PreferredType равным "number", но почему-то получается строка. Большое спасибо было бы тому человеку, который бы объяснил этот момент в спецификации.

Comments

[Антон]

7.1.1 toPrimitive -> OrdinaryToPrimitive шаги 3,4,5 - приведение к числу или строке отличается только порядком вызова методов toString и valueOf. В случае приведения [0] к number сначала вызывается valueOf, но согласно 19.1.3.7->7.1.13 он возвращает объект, поэтому результат игнорируется и вызывается toString, который и возвращает строку. Вот такая динамическая типизация - ожидаешь число, а получаешь строку )

[Антон]

Если вот так переопределить поведение приведения объекта, то получится как раз логичный результат ++[[]][+[]]+[+[]] === Number(1)
Object.prototype[Symbol.toPrimitive] = function (hint) {
var number = Number(this.toString());
return number === number ? number : this.toString();
}
(Фу-фу-фу так делать...)

[Kovalsky]

Антон: бтв, если приводить [0] к числу: +[0], то в Object.prototype[Symbol.toPrimitive] hint равен "number", а если сложить с единицей, то hint равен "default". Этому есть объяснение?

[Антон]

ну так унарный плюс вызывает приведение к number - 12.5.9, а бинарный плюс вызывает toPrimitive без PreferredType, отсюда и default

[Kovalsky]

Антон: бинарный плюс - это который инициирует сложение, когда a + b?

То есть независимо от первого операнда, сначала для [0] вызывается toPrimitive без PreferredType, это возвращает строку, потом первый операнд приводится к строке?

[Антон]

(+[]) === Number([0]) //true

[Антон]

Никита Полевой: Да, сначала оба операнда приводятся к примитивам, а потом в зависимости от их типов интерпретатор решает, суммировать их или конкатенировать. Если хоть один из них - string, то по необходимости второй операнд приводится к string и конкатенируются. Если ни один из них не sting, то они оба приводятся к Number(даже если они и так number) и суммируются.

Answer 2

[Ярослав Иванов]

https://habrahabr.ru/post/279507/
www.jsfuck.com
Проще говоря тут просто строка со значением 10.
++[[]][+[]]+[+[]]

Comments

[Kovalsky]

Нет, это не число

[Ярослав Иванов]

Никита Полевой: А что тогда ? по-моему обычное число.

[Kovalsky]

Ярослав Иванов: зачем вы спрашиваете меня, спросите в консоли, просьба в формате typeof something

[Ярослав Иванов]

Никита Полевой: Диалог поддержать.

[Kovalsky]

Ярослав Иванов: ну в общем это строка

[Ярослав Иванов]

Никита Полевой: typeof как раз и пишет, что это число.

[Kovalsky]

Ярослав Иванов: то есть typeof (++[[]][+[]]+[+[]]) возвращает number?

[Ярослав Иванов]

Никита Полевой: Скобки забыл. строка. а почему без скобок число ?

[Kovalsky]

Ярослав Иванов: потому что typeof приоритетней сложения: сначала вычисляется typeof ++[[]][+[]], получается number, к этой строке прибавляется 0, который тоже приводится к строке. Получается "number0"

Answer 3

[Дима Павлов]

вот еще код посложнее: pastebin.com/F7QYajdu
вот разбор к нему: https://habrahabr.ru/post/312172/