Помогите разобраться

[rash]

Попался мне недавно любопытный (для меня, при моей неопытности) фрагмент java script:

alert([] == ![])

Хотелось бы разобраться, почему в этом случае получаем значение true?

С одной стороны мне понятно, что в правой части сравнения массив в логическом контексте рассматривается как объект, преобразуется в true и после отрицания в правой части сравнения получаем false.

Интересует, как интерпретируется левая часть. В ней также должно получиться значение false. Из пустого массива оно может быть получено путем преобразования его в строку или число, а затем — в логическое значение.

Подскажите, как именно в этом случае интерпретатор разбирае выражение?

[s0rr0w]

Попался мне недавно любопытный (для меня, при моей неопытности) фрагмент java script:

alert([] == ![])

Хотелось бы разобраться, почему в этом случае получаем значение true?

С одной стороны мне понятно, что в правой части сравнения массив в логическом контексте рассматривается как объект, преобразуется в true и после отрицания в правой части сравнения получаем false.

Интересует, как интерпретируется левая часть. В ней также должно получиться значение false. Из пустого массива оно может быть получено путем преобразования его в строку или число, а затем — в логическое значение.

Подскажите, как именно в этом случае интерпретатор разбирае выражение?

http://www.ecma-international.org/publicat...ST/ECMA-262.pdf

Сначала читаем на странице 72 (82я страница pdf'а)

11.4.9 Logical NOT Operator ( ! )

Выражение ![] даст нам false

Читаем на странице 80 (90я страница pdf'а)

11.9.3 The Abstract Equality Comparison Algorithm

If Type(y) is Boolean, return the result of the comparison x == ToNumber(y).

булеан даст 0, а приведение массива к числу даст тоже 0

[Veseloff]

Напомнило недавний пост на хабре http://habrahabr.ru/blogs/javascript/84311/

[rash]

Спасибо, я сразу пошел в спецификацию, но оказалось, что искал не в том разделе — старательно читал приведение типов.

И за пдф-ку спасибо, ее хоть распечатать можно нормально…

[e1f]

булеан даст 0, а приведение массива к числу даст тоже 0

Ага, а тогда почему будет так:

[1] == ![] //false

Там не приведение массива к числу, а

([]).toString() // ""
ToNumber("") // 0

В моем примере, очевидно:

([1]).toString() // "1"
ToNumber("1") // 1

[rash]

Ага, а тогда почему будет так:

[1] == ![] //false

Так приведение массива к числу возвращает его длину, это непустой массив, длина — 1, 1 != false, вроде всё верно, не?

[e1f]

Нет, не длину!

Возвращает

(ToNumber)([].toString())
([1,2,3]).toString() == "1,2,3"

Например:

[0] == ![] // true
[""] == ![] // true

[rash]

Нет, не длину!

Возвращает

(ToNumber)([].toString())
([1,2,3]).toString() == "1,2,3"

Так здесь приведение к строке, а не к числу.

[e1f]

Да, к строке, а потом к числу. К строке потому, что для ARRAY valueOf возвращает массив, поэтому к числу привести его мы не можем (я имею в виду ToPrimitive с подсказкой Number). Надо аккуратно пройтись по всем шагам в спецификации, и станет понятно.

[s0rr0w]

Ага, а тогда почему будет так:

[1] == ![] //false

![] в данном условии равно 0.

1 != 0

[e1f]

s0rr0w, я имел в виду, что "приведение массива к числу даст тоже 0" неверно. Не приводится массив к числу. Приводится к строке. А она потом уже приводится к числу.

[s0rr0w]

s0rr0w, я имел в виду, что "приведение массива к числу даст тоже 0" неверно. Не приводится массив к числу. Приводится к строке. А она потом уже приводится к числу.

Я пропустил промежуточные варианты. Это описано в условиях приведения к числу объекта.