Явное безумие Javascript

Выражение [] ? 1 : 2 очень простое:

11.12 Условный оператор ( ? : )

• Пусть lref будет результатом вычисления LogicalOREExpression.
• If ToBoolean(GetValue(lref)) is true, then
  • Let trueRef be the result of evaluating the first AssignmentExpression.
  • Вернуть GetValue(trueRef).
• Else
  • Let falseRef be the result of evaluating the second AssignmentExpression.
  • Вернуть GetValue (falseRef)

9.2 ToBoolean

• Не определено: ложь
• Нуль: ложь
• Логический: результат равен входному аргументу (без преобразования).
• Число: результат ложный, если аргумент равен +0, -0 или NaN; в противном случае результат верен.
• Строка: результат ложный, если аргументом является пустая строка (ее длина равна нулю); в противном случае результат верен.
• Объект: правда

Так что это правда.

Теперь о том, что происходит, когда вы используете оператор двойного равенства. Возможно, это поможет объяснить, почему вы никогда не должны этого делать.

Поведение == объясняется в разделе 11.9.3: Алгоритм сравнения абстрактного равенства.

Для x == y, где x = [] и y = false, это происходит:

11.9.3: Алгоритм сравнения абстрактного равенства

Если Type(y) имеет логическое значение, вернуть результат сравнения x == ToNumber(y)

9.3 ToNumber

Результат +0, если аргумент false.

Теперь у нас есть [] == 0

11.9.3: Алгоритм сравнения абстрактного равенства

Если Type(x) — это Object, а Type(y) — это String или Number, вернуть результат сравнения ToPrimitive(x) == y.

9.1 ToPrimitive

Возвращает значение по умолчанию для объекта. Значение объекта по умолчанию извлекается путем вызова внутреннего метода объекта [[DefaultValue]] с передачей необязательной подсказки PreferredType. Поведение внутреннего метода [[DefaultValue]] определяется этой спецификацией для всех собственных объектов ECMAScript в версии 8.12.8.

8.12.8 Значение по умолчанию:

Когда внутренний метод [[DefaultValue]] O вызывается без подсказки, он ведет себя так, как если бы подсказка была Number.

• Пусть valueOf будет результатом вызова внутреннего метода [[Get]] объекта O с аргументом «valueOf».
• If IsCallable(valueOf) is true then,
  • Let val be the result of calling the [[Call]] internal method of valueOf, with O as the this value and an empty argument list.
  • Если val является примитивным значением, вернуть val
• Пусть toString будет результатом вызова внутреннего метода [[Get]] объекта O с аргументом "toString".
• If IsCallable(toString) is true then,
  • Let str be the result of calling the [[Call]] internal method of toString, with O as the this value and an empty argument list.
  • Если str является примитивным значением, возвратить str.

Я предполагаю, что это сначала пытается использовать valueOf, а затем отклоняет его, потому что результатом является тот же массив, с которого вы начали. Затем он вызывает toString для массива, который, по-видимому, повсеместно реализуется как список значений, разделенных запятыми. Для пустых массивов, подобных этому, это приводит к пустой строке.

Теперь у нас есть '' == 0

11.9.3: Алгоритм сравнения абстрактного равенства

Если Type(x) — это String, а Type(y) — это Number, вернуть результат сравнения ToNumber(x) == y

9.3.1 ToNumber, применяемый к типу String

StringNumericLiteral, который пустой или содержит только пробелы, преобразуется в +0.

Теперь у нас есть 0 == 0

11.9.3: Алгоритм сравнения абстрактного равенства

Если x является тем же числовым значением, что и y, вернуть true

Потрясающий. Это верно. Однако довольно запутанный способ добраться сюда.