TypeScript的类型约束以及类型别名-JXin的博客

温馨提示

该文章距离上次更新已经过去了 1320 天，文章内容可能已经过时。

一、数字类型（number）
二、字符串类型（string）
三、布尔类型（boolean）
四、数组类型（Array）
五、对象类型（object）
六、null和undefined类型
七、联合类型
八、void和never类型
九、字面量类型
十、元祖类型（Tuple）
十一、任意类型（any）
十二、函数
类型别名

TypeScript是一个可选的静态的类型系统，也就是不一定要进行类型约束

一、数字类型（number）

let ts: number = 1234;

二、字符串类型（string）

let ts: string = 'hello';

三、布尔类型（boolean）

let ts: boolean = true;

四、数组类型（Array）

在定义数组类型的同时，还需要对数组里面的内容进行定义，例如：

let ts: number[] = [1, 2, 3];
// 或
let ots: Array<number> = [1, 2, 3];

1
2
3

两种方法都可以，number[]是Array<number>的语法糖

如果数组中既有数字类型又有字符串类型，可以使用：

let ts: (number | string)[] = [1, 2, 3, "abc"];
// 或
let ots: Array<number | string> = [1, 2, 3, 'sts'];

1
2
3

五、对象类型（object）

let ts: object = {
 a: 1,
 b: 2,
};

1
2
3
4

六、null和undefined类型

null和undefined类型比较特殊，它们是所有类型的子类型，可以赋值给其他的类型，例如：

let ts: string = undefined;

但是如果需要对立面的字符串进行处理，可能因为值为undefined而出错，可以在tsconfig.json中配置strictNullChecks：true（默认为false），这样null和undefined就只能赋值给自身

七、联合类型

如果当前的值可能是字符串也可能是undefined，那就可以用到联合类型，例如：

let ts: string | undefined = undefined;
ts = "abc";

1
2

八、void和never类型

viod和never通常用于约束函数的返回值，void表示该函数没有任何返回，而never表示该函数永远不会结束，例如：

// 该函数只用于打印info 没有任何返回值
function v(info: string): void {
 console.log(info);
}

// 该函数永远不会结束
function n(): never {
 while (true) {
 // ...
  }
}

1
2
3
4
5
6
7
8
9
10
11

九、字面量类型

字面量类型是一种强力的约束，约束了什么，之后的赋值就必须是什么，例如：

let ts: "男" | "女";

ts = "女"; // ts现在只能赋值为男或者女

1
2
3

十、元祖类型（Tuple）

元祖类型是一个固定长度的数组，并且数组中的每一项的类型确定，例如：

let ts: [number, string];

ts = [1, "hello"]; // 现在数组必须为两项，且第一项为数字类型，第二项为字符创类型

1
2
3

十一、任意类型（any）

any类型可以绕过类型检查，可以赋值给任意类型，例如：

let ts: any = 222;

let st: string = ts;

1
2
3

st是字符串类型，ts现在是一个数字，但是依然可以赋值给st，这就是any类型。any类型不建议使用。

十二、函数

函数重载：在函数实现之前，对函数调用的多种情况进行声明

function combine(a: number, b: number): number;
function combine(a: string, b: string): string;
function combine(a: number | string, b: number | string): number | string {
	if (typeof a === "number" && typeof b === "number") {
		return a * b;
	} else if (typeof a === "string" && typeof b === "string") {
		return a + b;
	}
	throw new Error("a和b必须是相同类型");
}

1
2
3
4
5
6
7
8
9
10

可选参数：可以在某些参数名后加上问号，表示该参数可以不用传递（可选参数必须在参数列表的末尾）

function sum(a: number, b: number, c?: number) {
	if (c) {
		return a + b + c;
	} else {
		return a + b;
	}
}

1
2
3
4
5
6
7

类型别名

在某些类型约束可能需要进行较细的具体约束，例如一个对象中有多个值需要进行约束，且该约束还需要复用，这时可以使用type来定义类型约束，例如：

type Obj = {
 a: string;
 b: number;
};

let ts: Obj = {
 a: "hello",
 b: 123,
};

1
2
3
4
5
6
7
8
9