TypeScript学习拾遗——TS中的包装类型、Object、object以及{}

前言

在JS中，字符串、数字、布尔值都有对应的包装类型：

• String
• Number
• Boolean

在某些情况下，JS会隐式的对原始类型进行“装箱”，例如：

const str = 'abcde'
str.slice(1, 3)

字符串本身并不是对象，但是却可以调用函数，因为JS自动将其转换为了包装类对象。

那么在TS中是如何处理这个问题的呢？本文将探讨：

• String和string

• Number和number

• Boolean和boolean

• Object、object以及{}

TS中的包装类

Number、String、Boolean是类似的，这里以String为例——

通过new String()方式创建的就是String类型的值：

const str: String = new String('abc')

原始类型string可以赋值给包装类型String：

const str: String = 'abc'

但包装类型String不能赋值给原始类型string：

const str: string = new String('abc') // Error: 不能将类型“String”分配给类型“string”。

其原因是：string类型是String类型的子类型，TS只允许子类型的值赋值给父类型的值，反过来不行。

验证二者的关系：

type t1 = string extends String ? true : false
//   ^? type t1 = true
type t2 = String extends string ? true : false
//   ^? type t2 = false

包装类型String本质上也是一个对象，因此String可以赋值给object类型：

const o: object = new String('a')

JS中的String类是继承自Object类，因此String类型必然也属于Object类型：

const o: Object = new String('a')

而对于string，由于它只表示原始类型，不能赋值给object类型：

const str: object = 'a' // Error: 不能将类型“string”分配给类型“object”。

但由于string可以隐式的转换为String类型，因此string类型可以赋值给Object类型：

const str: Object = 'a'

包装类与Obejct、object的关系

String、string和Object、object之间关系如下：

• string是String的子类型

type t1 = string extends String ? true : false
//   ^? type t1 = true

• String是object的子类型

type t2 = String extends object ? true : false
//   ^? type t2 = true

• string不是object的子类型

type t3 = string extends object ? true : false
//   ^? type t3 = false

• String是Object的子类型

type t4 = String extends Object ? true : false
//   ^? type t4 = true

• string是Object的子类型

type t5 = string extends Object ? true : false
//   ^? type t5 = true

• object和Object互为子类型

type t6 = Object extends object ? true : false
//   ^? type t6 = true
type t7 = object extends Object ? true : false
//   ^? type t7 = true

Object、object以及{}

看到这里，我估计有人头都大了，包装类型和原始类型、对象类型之间，关系错综复杂，例如：

• string是String的子类型，String是object的子类型，但string不是object的子类型。
• object和Object互为子类型，但二者并不是同一个类型。

但其实，如果我们忽略object，其他类型之间的关系是非常明确的：

• Object --> String --> string

• Object --> Number --> number

• Object --> Boolean --> boolean

箭头表示继承方向，后者是前者是子类型，这意味着后者可以赋值给前者。

至于object，其实也不难理解，它表示的是“纯对象类型”或“非原始类型”——除原始类型以外，所有对象类型，都是object的子类型，当然也包括包装类型。因此就有：

• object --> String

• object --> Number

• object --> Boolean

• object --> Object

另外，所有对象类型本质上都是由Object构造函数创建的，所以object必然是Objcet类的实例，于是：

• Object --> object

最后顺便一提{}这个特殊类型，它表示的是不含自有属性的Object类型，其实它基本等同于Object：

• {} --> Object
• Object --> {}
• {} --> String --> string
• {} --> Number --> number
• {} --> Boolean --> boolean