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 高级类型_第1张图片

联合类型

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

语法格式:

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 可以访问这个方法。

你可能感兴趣的