TypeScript 高级类型

【TypeScript 高级类型】前面我们学的数字类型、字符串类型、布尔类型、数组类型等等可能都是我们比较熟悉的数据类型,在其他计算机语言中也能经常见到。而本节我们要学习的是 TypeScript 中的高级类型,例如交叉类型、联合类型、类型别名、字面量类型等。
交叉类型 交叉类型是将多个类型合并为一个类型。可以通过 & 来实现合并,生成的新类型包含了所需的所有类型的特性。
举一个例子,假设 ABC 是三种不同的数据类型, 我们将三种类型合并为一个新的交叉类型 A & B & C ,那么使用这个交叉类型声明的对象可以同时包含 A、B、C 这个三种类型的成员。
一般交叉类型大多用于混入(mixins),或其他不适合典型面向对象模型的地方使用。在 JavaScript 里发生这种情况的场合很多。
示例: 我们来看一个简单的例子,下面 UserStudent 是我们定义好的两个接口:

interface User { id: number, username: string, age: number }interface Student{ id: number, score: number[], }let cross: User & Student; // 交叉类型// 变量cross拥有两个接口中的所有属性 cross.id; cross.username; cross.age; cross.score;

交叉类型 User & Student 就包含了上述两个接口中的所有属性,而通过交叉类型声明的变量 cross,拥有两个接口中的所有的属性。
但是这种方式也需要注意一个问题,就是如果两个接口中有相同的属性,但是属性的类型不同,这样就会造成冲突,不可以赋值。例如:
TypeScript 高级类型
文章图片

联合类型 联合类型可以通过管道将变量设置多种类型,赋值时可以根据设置的类型来赋值。也就是说联合类型的变量可以是指定的几种数据类型中的一种,我们可以通过竖线 | 来分隔不同的类型。
语法格式:
Type1|Type2|Type3

需要注意的是,声明为联合类型的变量,只能赋值指定的类型的值,如果赋值其他类型的值也会报错哟。
示例: 例如我们声明一个联合类型的变量 our
let our:number|string|boolean; our = 18; our = 'xkd'; our = true;

上述的代码表示变量 our 的值可以是 number 类型、string 类型或者 boolean 类型中的一种。如果我们给变量 our 赋值为这三个指定数据类型以外的类型值,则会导致报错哟。
类型别名 我们在使用类型时,可以通过 type 关键字为类型起一个别名,类型别名较多应用于联合类型、交叉类型这种复合类型,这样可以避免我们重复它们的定义。
起别名并不会新建一个类型,只是创建了一个新的名字来引用那个类型。
示例: 例如给一个自定义的联合类型加上一个类型别名 admix,然后我们在使用这个联合类型来声明变量的时候,就只需要指定变量为 admix 类型即可。这样我们就不需要多次定义 number|string|boolean ,而直接使用别名 admix 来引用此类型就行了:
type admix = number|string|boolean; // 给联合类型加上别名let a:admix = 100; let b:admix = 'xkd'; let c:admix = true; console.log(a); console.log(b); console.log(c);

编译成 JavaScript 代码:
var a = 100; var b = 'xkd'; var c = true; console.log(a); console.log(b); console.log(c);

输出:
100 xkd true

字面量类型 在 TypeScript 中,字面量类型允许我们指定必须的固定值,通过分隔符 | 将不同字面量分隔,且也可以通过 type 关键字为自定义的字面量类型加上别名。
示例: 例如当变量的值为”小飞侠”就是“水星仔”其中之一,那我们就可以将这两个值构成一个联合类型字面量,:
type names = '小飞侠' | '水星仔'; let a:names = '小飞侠'; let b:names = '水星仔';

上述代码中通过别名 names 将变量 ab 声明为我们自定义的字面量,那么这两个变量的值仅能为“小飞侠” 或者 “水星仔” 其中之一,否则会报错。
一般我们是很少直接这样使用的,在一些特殊情况下,例如使用字符串字面量类型来区分函数重载,或用于缩小范围调试 bug 等,可以这样使用。
访问联合类型的属性或者方法 当 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候,我们只能访问此联合类型的所有类型里共有的属性或方法。
示例: 例如我们在一个函数 info 中定义两个参数,参数 username 的类型为 string 类型,而 age 的类型为一个联合类型,可以是 string 类型或 number 类型:
function info( username: string, age : string | number) { console.log(age.length); // 报错 }

我们在使用 age 来访问属性 length 时会导致报错,这是因为只有字符串类型中才有属性 length,数字类型没有这个属性。 由于 length 并不是数字类型和字符串类型的共有属性,所以被声明为这个联合类型的变量 age 不能访问这个属性。
function info( username: string, age : string | number) { console.log(age.toString()); }

通过 age 来访问 toString() 方法不会报错,这是因为 toString() 方法是数字类型和字符串类型共有的方法,所以被声明为联合类型的 age 可以访问这个方法。

    推荐阅读