类型系统按照「是否允许隐式类型转换」来分类,可以分为强类型和弱类型。TypeScript 是弱类型。
数学运算符中的类型转换
由于JS并没有类型声明,所以任意两个变量或字面量,都可以做加减乘除。
1. 减、乘、除
我们在对各种非 Number 类型运用数学运算符 (减、乘、除)时,会先将非 Number 类型转换为 Number 类型。
1 - true // 0, 首先把 true 转换为数字 1, 然后执行 1 - 1
1 - null // 1, 首先把 null 转换为数字 0, 然后执行 1 - 0
1 * undefined // NaN, undefined 转换为数字是 NaN
2 * ['5'] // 10, ['5']首先会变成 '5', 然后再变成数字 5
2. 加法的特殊性
加法要区别对待,因为JS中的+还可以用来拼接字符串。
- 当一侧为 String 类型,会被识别为字符串拼接,并会优先将另一侧转换为字符串类型。
- 当一侧为 Number 类型,另一侧为原始类型,会将原始类型转换为 Number 类型。
- 当一侧为 Number 类型,另一侧为引用类型,将引用类型和 Number 类型转换成字符串后拼接。
123 + '123' // 123123 (规则1)
123 + null // 123 (规则2)
123 + true // 124 (规则2)
123 + {} // 123[object Object] (规则3)
逻辑语句中的类型转换
当我们使用 if while for 语句时,我们期望表达式是一个 Boolean,所以一定伴随着隐式类型转换。
1. 单个变量
如果只有单个变量,会先将变量转换为 Boolean 值。
只有 null undefined '' NaN 0 false 这几个是 false,其他的情况都是 true,比如 {} , []。
2. 使用 == 比较中的 5 条规则
-
- NaN 和其他任何类型相比 永远返回 FALSE (包括和他自己)
NaN == NaN // false
NaN === NaN // false
-
- Boolean 和其他任何类型比较,Boolean 首先被转换为 Number 类型。
true == 1 // true
true == '2' // false, 先把 true 变成 1,而不是把 '2' 变成 true
true == ['1'] // true, 先把 true 变成 1, ['1']拆箱成 '1', 再参考规则3
true == ['2'] // false, 同上
undefined == false // false ,首先 false 变成 0,然后参考规则4
null == false // false,同上
-
- String 和 Number 比较,先将 String 转换为 Number 类型。
123 == '123' // true, '123' 会先变成 123
'' == 0 // true, '' 会首先变成 0
-
- null == undefined 比较结果为 true,除此之外,null、undefined 和其他任何结果的比较值都为 FALSE。
null == undefined // true
null == '' // false
null == 0 // false
null == false // false
undefined == '' // false
undefined == 0 // false
undefined == false // false
-
- 原始类型和引用类型做比较时,引用类型会依照 ToPrimitive 规则转换为原始类型。
ToPrimitive 规则,是引用类型向原始类型转变的规则,它遵循先 valueOf 后 toString 的模式期望得到一个原始类型。
如果还是没法得到一个原始类型,就会抛出 TypeError。
'[object Object]' == {}
// true, 对象和字符串比较,对象通过 toString 得到一个基本类型值
'1,2,3' == [1, 2, 3]
// true, 同上 [1, 2, 3]通过 toString 得到一个基本类型值
练习
- [] == ![]
- 第一步,![] 会变成 false
- 第二步,应用 规则2 ,题目变成: [] == 0
- 第三步,应用 规则5 ,[]的valueOf是0,题目变成: 0 == 0
- 所以, 答案是 true !//
- [undefined] == false
- 第一步,应用 规则5 ,[undefined]通过toString变成 '',
题目变成 '' == false
- 第二步,应用 规则2 ,题目变成 '' == 0
- 第三步,应用 规则3 ,题目变成 0 == 0
- 所以, 答案是 true !
// 但是 if([undefined]) 又是个true!
附录:类型转换表
https://chinese.freecodecamp.org/news/javascript-implicit-type-conversion/