Результаты и почему (сжатo, с ключевыми шагами преобразований JS):
1) $0={=}^{\prime }{0}^{\prime }$ — true.
Алгоритм: при абстрактном равенстве, если типы разные и один — строка, строка приводится к числу: ${}^{\prime }{0}^{\prime }\to 0$. Сравниваем $0==0$ → true.
2) $0=={=}^{\prime }{0}^{\prime }$ — false.
Строгое равенство ($\overline{=}=$) не делает приведения типов: разные типы (Number vs String) → сразу false.
3) $[]==![]$ — true (удивляет). Разбор:
- Сначала вычисляется $![]$. Пустой массив — truthy, значит $![]\to false$.
- Получаем $[]==false$.
- При сравнении Boolean с другим типом булевое значение приводится к числу: $false\to 0$. Значит $[]==0$.
- Объект (массив) приводится к примитиву: пустой массив даёт строку ${}^{\prime \prime }$ (пустая строка). Затем строка приводится к числу: ${}^{\prime \prime }\to 0$.
- Итого $0==0$ → true.
4) $null==undefined$ — true.
Специальное правило в спецификации: при абстрактном равенстве null и undefined считаются равными друг другу и только друг другу. Другие сравнения с null (например $null==0$) дают false.
Почему это вводит в заблуждение:
- Операция $\overline{=}$ делает много неочевидных неявных приводений (ToPrimitive, ToNumber, ToString, ToBoolean) по разным правилам в зависимости от типов; есть специальные исключения (null/undefined). Это даёт множество сюрпризов (пример с $[]==![]$, $null==0$ и т.д.).
Рекомендуемые практики:
- Используйте строгое сравнение $\overline{=}=$ и $==$ по умолчанию.
- Для явных преобразований типов используйте Number(), String(), Boolean() перед сравнением, если нужно (не полагайтесь на неявное приведение).
- Если нужно проверить «null или undefined», можно явно писать $(x===null||x===undefined)$ или намеренно использовать $(x==null)$ как идиому, но документируйте это правило и включите правило lint (eslint rule eqeqeq) с нужными исключениями.
- Для особых случаев сравнения (NaN, -0/+0) используйте Object.is: $\text{Object.is}(NaN,NaN)$ → true, $\text{Object.is}(-0,+0)$ → false.
Кратко: избегайте $\overline{=}$ без крайней необходимости — предпочитайте явные преобразования и $\overline{=}=$.