Примус типу - це процес перетворення значення з одного типу в інший (наприклад, рядок у число, об'єкт булевим тощо). Будь-який тип, будь то примітивний або об'єкт, є дійсним предметом для примусу типу. Нагадаємо, примітивами є: число, рядок, логічне значення, null, undefined + Symbol (додано в ES6).
Неявне проти явного примусу
Тип примусу може бути явним і неявним.
Коли розробник висловлює намір конвертувати між типами, написавши відповідний код, наприклад Number(value) , це називається явним примусом типу (або кастингом типу).
Оскільки JavaScript є слабко типованою мовою, значення також можуть автоматично перетворюватися між різними типами, і це називається примусовим неявним типом. Зазвичай це відбувається , коли ви застосовуєте оператори значень різних типів, як
1 == null, 2/’5', null + new Date()або він може бути викликаний навколишнім контекстом, як і з if (value) {…}, де значенням приводяться до булева.
Один оператор, який не викликає примусовий неявний тип, - ===це називається оператором суворої рівності. З ==іншого боку, оператор вільної рівності виконує примушення як порівняння, так і введення при необхідності.
Примусовий примус типу - це подвійний меч: це чудове джерело розчарування та дефектів, а також корисний механізм, який дозволяє нам писати менше коду, не втрачаючи читабельності.
Три типи конверсії
Перше правило, яке потрібно знати, є лише три типи перетворень у JavaScript:
- нанизувати
- булевим
- нумерувати
По-друге, логіка перетворення примітивів та об'єктів працює по-різному, але і примітиви, і об'єкти можуть бути перетворені лише трьома способами.
Почнемо спочатку з примітивів.
Перетворення рядків
Для явного перетворення значень у рядок застосуйте функцію String (). Неявний примус ініціюється оператором бінарних +, коли будь-який операнд є рядком:
String(123) // explicit
123 + '' // implicit
Усі примітивні значення природним чином перетворюються на рядки:
String(123) // '123'
String(-12.3) // '-12.3'
String(null) // 'null'
String(undefined) // 'undefined'
String(true) // 'true'
String(false) // 'false'
Перетворення символів є дещо складним, оскільки його можна перетворити лише явно, але не неявно.
String(Symbol('my symbol')) // 'Symbol(my symbol)'
'' + Symbol('my symbol') // TypeError is thrown
Булева конверсія
Для явного перетворення значення в булеве значення застосуйте Boolean()функцію. Неявне перетворення відбувається в логічному контексті або викликане логічними операторами ( || && !).
Boolean(2) // explicit
if (2) { ... } // implicit due to logical context
!!2 // implicit due to logical operator
2 || 'hello' // implicit due to logical operator
Примітка: Логічні оператори, такі як || and &&булева конверсія внутрішньо, але насправді повертають значення оригінальних операндів, навіть якщо вони не булеві.
// returns number 123, instead of returning true
// 'hello' and 123 are still coerced to boolean internally to calculate the expression
let x = 'hello' && 123; // x === 123
Щойно є лише 2 можливі результати булевого перетворення: істинне чи помилкове, просто простіше запам'ятати список хибних значень.
Boolean('') // false
Boolean(0) // false
Boolean(-0) // false
Boolean(NaN) // false
Boolean(null) // false
Boolean(undefined) // false
Boolean(false) // false
Будь-яке значення , яка не входить в список перетвориться в trueтому числі object, function, Array, Date, що визначається користувачем типу, і так далі. Символи - це правдиві значення. Порожній об'єкт і масиви є також істинними значеннями:
Boolean({}) // true
Boolean([]) // true
Boolean(Symbol()) // true
!!Symbol() // true
Boolean(function() {}) // true
Числове перетворення
Для явного перетворення просто застосуйте Number()функцію так само, як ви робили з Boolean()і String().
Неявне перетворення є складним, оскільки воно спрацьовує в більшості випадків:
оператори порівняння (>, <, <=,> =)
побітові оператори (| & ^ ~)
арифметичні оператори (- + * /%). Зауважте, що двійковий + не запускає числове перетворення, коли будь-який операнд є рядком.
унар + оператор
оператор вільної рівності == (включаючи! =).
Зауважте, що == не запускає числове перетворення, коли обидва операнди є рядками.
Число ('123') // явно + '123' // неявно 123! = '456' // неявно 4> '5' // неявно 5 / null // неявна правда | 0 // неявно
Ось як примітивні значення перетворюються на числа:
Number(null) // 0
Number(undefined) // NaN
Number(true) // 1
Number(false) // 0
Number(" 12 ") // 12
Number("-12.34") // -12.34
Number("\n") // 0
Number(" 12s ") // NaN
Number(123) // 123
(true == 1) => true/(true === 1) => false.