JavaScript模块会从运行时、文法和执行过程三个角度去剖析JS的知识体系,本篇我们就从运行时的角度去看JavaScript的类型系统。
运行时类型是代码实际执行过程中我们用到的类型。所有的类型数据都会属于7个类型之一。从变量、参数、返回值到表达式中间结果,任何JavaScript代码运行过程中产生的数据,都具有运行时类型
Undefined,Null
Undefined表示未定义,它的类型只有一个值undefined,任何变量在赋值前是Undefined类型,undefined值。一般我们可以用全局变量undefined来表达这个值,或者void运算来把任何一个表达式变成undefined值。 但是undefined是一个变量(不可修改),并非关键字,所以为了避免修改,建议使用void 0来获取undefined值。 null表示定义了但是为空,Null类型只有一个值就是null,null是关键字。
Boolean
Boolean有两个值:分别为true和false,表示逻辑真和逻辑假,同时又true和false两个关键字来表示两个值
String
String表示文本数据,有最大长度2^53 - 1,这个最大长度,并非是理解中的字符数。 String的意思并非字符串,而是字符串的UTF16编码,字符串的操作charAt,charCodeAt,length等都是针对UTF16标码。所以最大长度实际上是受字符串的编码长度影响。
Note:现行的字符集国际标准,字符是以 Unicode 的方式表示的,每一个 Unicode 的码点表示一个字符,理论上,Unicode 的范围是无限的。UTF是Unicode的编码方式,规定了码点在计算机中的表示方法,常见的有 UTF16 和 UTF8。 Unicode 的码点通常用 U+??? 来表示,其中 ??? 是十六进制的码点值。 0-65536(U+0000 - U+FFFF)的码点被称为基本字符区域(BMP)。
JavaScript 中的字符串是永远无法变更的,一旦字符串构造出来,无法用任何方式改变字符串的内容,所以字符串具有值类型的特征。
JavaScript 中的字符串是永远无法变更的,一旦字符串构造出来,无法用任何方式改变字符串的内容,所以字符串具有值类型的特征。
let a = 'java';
a = a + 'script';
实际上字符串'java'开辟了内存空间存储,'javascript'又开辟了新的空间存储,
再把a指向'javascript',所以'java'并没有改变
Number
Number类型有 18437736874454810627(即2^64-2^53+3) 个值。 JavaScript 中的 Number 类型基本符合 IEEE 754-2008 规定的双精度浮点数规则,但是JavaScript为了表达几个额外的语言场景(比如不让除以0出错,而引入了无穷大的概念),规定了几个例外情况:
JavaScript中有 +0 和 -0,在加法类运算中它们没有区别,但是除法的场合则需要特别留意区分,“忘记检测除以-0,而得到负无穷大”的情况经常会导致错误,而区分 +0 和 -0 的方式,正是检测 1/x 是 Infinity 还是 -Infinity。
同样根据浮点数的定义,非整数的Number类型无法用 ==(===也不行) 来比较,一段著名的代码,为什么在JavaScript中,0.1+0.2不能=0.3:
0.1 + 0.2 == 0.3 // false
浮点数运算的精度问题导致等式左右的结果并不是严格相等,而是相差了个微小的值。所以实际上,这里错误的不是结论,而是比较的方法,正确的比较方法是使用JavaScript提供的最小精度值:
Math.abs(0.1 + 0.2 - 0.3) <= Number.EPSILON // true
Symbol
在ES6中,整个对象系统被用Symbol重塑 我们创建 Symbol 的方式是使用全局的 Symbol 函数
var mySymbol = Symbol("my symbol");
注意,并不需要new
我们可以使用 Symbol.iterator 来自定义 for…of 在对象上的行为:
const o = {}
o[Symbol.iterator] = function () {
let index = 0
return {
next: function () {
return {
value: index ++,
done: index > 10
}
}
}
}
for (let v of o) {
console.log(v)
}
// 0 1 2 3 4 5 6 7 8 9
Object
Object是最复杂的类型,也是JS核心机制之一 Number、String和Boolean,三个构造器是两用的,当跟 new 搭配时,它们产生对象,当直接调用时,它们表示强制类型转换。
Symbol 函数比较特殊,直接用 new 调用它会抛出错误,但它仍然是 Symbol 对象的构造器。
JavaScript 语言设计上试图模糊对象和基本类型之间的关系,我们日常代码可以把对象的方法在基本类型上使用,比如:
'abc'.charAt(0) // a
甚至我们在原型上添加方法,都可以应用于基本类型,比如以下代码,在 Symbol 原型上添加了hello方法,在任何 Symbol 类型变量都可以调用。
Symbol.prototype.hello = () => console.log("hello");
const a = Symbol("a");
console.log(typeof a); //symbol,a并非对象
a.hello(); //hello,有效