Преобразование типов для примитивов

Система преобразования типов в JavaScript очень проста, но отличается от других языков. Поэтому она часто служит «камнем преткновения» для приходящих из других языков программистов.

Всего есть три преобразования:

1. Cтроковое преобразование.
2. Числовое преобразование.
3. Преобразование к логическому значению.

Эта статья описывает преобразование примитивных значений, объекты разбираются далее в учебнике.

Строковое преобразование

Строковое преобразование происходит, когда требуется представление чего-либо в виде строки. Например, его производит функция alert.

Можно также осуществить преобразование явным вызовом String(val):

Также для явного преобразования применяется оператор "+", у которого один из аргументов строка. В этом случае он приводит к строке и другой аргумент, например:

Численное преобразование

Численное преобразование происходит в математических функциях и выражениях, а также при сравнении данных различных типов (кроме сравнений ===, !==).

Для преобразования к числу в явном виде можно вызвать Number(val), либо, что короче, поставить перед выражением оператор унарный плюс "+":

Примеры:

• Логические значения:
     

  1	alert( +true ); // 1

  2	alert( +false); // 0

• Сравнение разных типов — значит численное преобразование:

   

     

  1	alert( "\n0\n" == 0 ); // true

   

  При этом строка "\n0\n" преобразуется к числу — начальные и конечные пробелы игнорируются, получается 0.

• Еще пример:

   

     

  1	alert( "\n" == false );

   

  Здесь сравнение == снова приводит обе части к числу. И слева и справа получается 0.

  По аналогичной причине верно равенство "1" == true.

Специальные значения

Посмотрим на поведение специальных значений более внимательно.

Интуитивно, значения null/undefined ассоциируются с нулем, но при преобразованиях ведут себя иначе.

Специальные значения преобразуются к числу так:

Это преобразование осуществляется при арифметических операциях и сравнениях > >= < <=, но не при проверке равенства ==. Алгоритм проверки равенства для этих значений в спецификации прописан отдельно (пункт 11.9.3). В нем считается, что null и undefined равны "==" между собой, но эти значения не равны никакому другому значению.

Это ведет к забавным последствиям.

Например, null не подчиняется законам математики — он «больше либо равен нулю»: null>=0, но не больше и не равен:

Значение undefined вообще вне сравнений:

Для более очевидной работы кода и во избежание ошибок лучше не давать специальным значениям участвовать в сравнениях > >= < <=.

Используйте в таких случаях переменные-числа или приводите к числу явно.

Логическое преобразование

Преобразование к true/false происходит в логическом контексте, таком как if(obj), while(obj)и при применении логических операторов.

Все значения, которые интуитивно «пусты», становятся false. Их несколько: 0, пустая строка, null,undefined и NaN.

Остальное, в том числе и любые объекты — true.

Полная таблица преобразований:

Для явного преобразования используется двойное логическое отрицание !!value или вызовBoolean(value).

Логическое преобразование интересно тем, как оно сочетается с численным.

Два значения могут быть равны, но одно из них в логическом контексте true, другое — false.

Например, равенства в следующем примере верны, так как происходит численное преобразование:

…А в логическом контексте левая часть даст false, правая — true:

Итого

В JavaScript есть три преобразования:

1. Строковое: String(value) — в строковом контексте или при сложении со строкой
2. Численное: Number(value) — в численном контексте, включая унарный плюс +value.
3. Логическое: Boolean(value) — в логическом контексте, можно также сделать двойным НЕ:!!value.

Сравнение не осуществляет преобразование типов в следующих случаях:

• При сравнении объектов. Две переменные, которые являются объектами равны только, когда ссылаются на один и тот же объект.
• При сравнении двух строк. Там отдельный алгоритм сравнения. А вот если хоть один операнд — не строка, то значения будут приведены: true > "000" станет 1 > 0.
• При проверке равенства с null и undefined. Они равны друг другу, но не равны чему бы то ни было еще, этот случай прописан особо в спецификации.