16

Объясните, пожалуйста, почему из трех алертов ниже исполняется только последний? Вроде как во всех трёх случаях идет мягкое сравнение на равенство к true

if (true == "0") alert('Тру равно нулю!');

if ("0" == true) alert('Ноль равен тру');

if ("0") alert('Как бы тоже тру, или как?');

1
  • в сравнении "0" преобразуется в false, в последней же строке сравнения нет, непустая строка преобразуется в true. Тут пишется - При сравнении с помощью «==» – численное преобразование, а в if – логическое, только и всего. 29 апр 2016 в 17:38

2 ответа 2

25

Стоит обратиться к спецификации
При вычислении равенства EqualityExpression == RelationalExpression получаются значения левой и правой части, и к ним применяется Abstract Equality Comparison.

Сравнение x == y, где x и y - значения, возвращает true or false. Такое сравнения производится следующим образом:
Если Type(x) тот же самый, что и Type(y), тогда возвращается результат выполнения Strict Equality Comparison x === y.
Если x является null и y является undefined, вернуть true.
Если x является undefined и y является null, вернуть true.
Если Type(x) - это Number и Type(y) - это String, вернуть результат выражения x == ToNumber(y).
Если Type(x) - это String и Type(y) - это Number, вернуть результат выражения ToNumber(x) == y.
Если Type(x) - это Boolean, вернуть результат выражения ToNumber(x) == y.
Если Type(y) - это Boolean, вернуть результат выражения x == ToNumber(y).
Если Type(x) один из следующих: String, Number, или Symbol и Type(y) это Object, вернуть значение выражения x == ToPrimitive(y).
Если Type(x) - это Object и Type(y) один из следующих: String, Number, или Symbol, вернуть значение выражения ToPrimitive(x) == y.
Вернуть false.

Рассмотрим первый пример:

true == "0"

Это выражении соответствует ветке

Если Type(x) - это Boolean, вернуть результат выражения ToNumber(x) == y.

При приведении к числу получаем выражение: 1 == "0"
попадаем в ветку

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

При приведении к числу получаем выражение: 1 == 0 и как результат: false.

Со вторым случаем происходит аналогичное.

Теперь рассмотрим третий случай.

Обратимся опять к спецификации:

К выражению внутри скобок применяется функция ToBoolean, которая в случае строки возвращает false если строка пустая(длина строки 0), и true - в противном случае.

Так как "0" - не пустая(длина строки 1), то условие считается выполненным.

1
  • Спасибо, отличное пояснение!
    – tekken
    29 апр 2016 в 18:19
2
  1. Строка таки преобразуется в ноль, что трактуется как ложь.
  2. То же самое, только наоборот аргументы.
  3. Это не пустая строка, трактуется как true.

Как оно происходит.

2
  • Ну вообще-то я оттуда и пришел. То, что Вы описали - это пересказ моего вопроса. Просто в том учебнике не указано, что при отсутствии оператора сравнения неявно вызывается toBoolean (ну или я не внимательно прочел). Но всеравно спасибо за внимание!
    – tekken
    29 апр 2016 в 18:23
  • @tekken, вроде ответ есть как оно, впрочем, ответ Grundy куда полнее. Рекомендую не использовать == - это потенциальный выстрел в ногу, всегда используйте ===; я ничего не потерял, зато обезопасил себя от загадочных лагов, т. к. преобразуются типы для сравнения весьма неоднозначно (это стоило бы поправить в новых спецификациях, конечно).
    – user207618
    29 апр 2016 в 18:35

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.