TypeScript
1 类型基础
1.1 原始数据类型
boolean、string、number、void、null、undefined、Symbol、BigInt
注意:
1、null与undefined是所有类型的子集。
2、由构造函数创建的对象本质是一个对象。如下代码便会报错。
let createdByNewBoolean: boolean = new Boolean(1);
// Type 'Boolean' is not assignable to type 'boolean'.
// 'boolean' is a primitive, but 'Boolean' is a wrapper object. Prefer using 'boolean' when possible.
3、void用于定义无返回值的函数,若用于定义变量,则只能赋值undefined/null,并无太大意义。
2.2 定义对象类型
ts中使用接口(interface)来定义对象,一方面约束了对象属性的类型,一方面约束了对象的形状(必须完全遵循接口属性的数量)。
interface Person {
name: string;
age: number;
}
let tom: Person = {
name: 'Tom',
age: 25
};
1、可选属性:属性名后加问号即可。
2、任意属性:定义了任意属性后,确定属性与可选属性必须是它的子集。
3、只读属性:readonly放于属性名前即可。约束了属性无法被重新赋值,但需注意的是,只读的约束存在于第一次给对象赋值的时候,而不是第一次给只读属性赋值的时候。
注意:接口一般首字母大写,官方推荐接口名以I开头更清晰
2.3 定义数组类型
1、类型+方括号定义。
2、数组泛型:Array<类型>
3、接口表示数组:数组的本质是对象,定义index为number即可。
interface NumberArray {
[index: number]: number;
}
let fn: NumberArray = [1, 1, 2, 3, 5];
该定义方法多存在于类数组中,如函数的arguments,就是类数组,可以使用数组的length、使用下标获取到项,但是却无法使用任何数组的方法,如arr.sort(),且其本身有一个属性callee,指向当前的函数。此时就需要使用接口来定义。
interface IArgs{
[index: number]: number;
length: number;
callee: Function;
}
function sum() {
let args: IArgs = arguments;
}
2.4 定义函数类型
1、需要对函数的参数及返回值进行类型约束。
let mySum: (x: number, y: number) => number = function (x: number, y: number): number {
return x + y;
};
往往左边的类型声明可以省略,因为它会通过类型推断自动得出类型。
2、可以用接口来定义函数
interface SearchFunc {
(source: string, subString: string): boolean;
}
let mySearch: SearchFunc;
mySearch = function(source: string, subString: string) {
return source.search(subString) !== -1;
}
3、注意:
(1)可以写可选参数,也是后面加问号即可。但是必须按必须参数>可选参数的顺序来写。若参数设置了默认值,则将其认定为可选参数,且不受必须参数>可选参数的限制。
(2)剩余参数为一个数组,采用数组的方式定义即可
(3)函数的重载对于参数的类型限制可以采用联合类型声明的方式
function reverse(x: number): number;
function reverse(x: string): string;
function reverse(x: number | string): number | string | void {
if (typeof x === 'number') {
return Number(x.toString().split('').reverse().join(''));
} else if (typeof x === 'string') {
return x.split('').reverse().join('');
}
}
前两句代码的意义是为了明确当输入为number的时候、输出也必须为number等。TypeScript 会优先从最前面的函数定义开始匹配,所以多个函数定义如果有包含关系,需要优先把精确的定义写在前面。
2 基础概念
2.1 类型推论
变量在定义时只赋了初值但没有指定类型,ts会自动推断类型并在后续的操作中校验。当然,若定义时并没有赋值,则会默认为any而不被校验。
2.2 联合类型
取值可以为多种中的一种,不同的类型用|分隔。
若变量未被赋值而不确定是哪一种类型时,只能访问所有类型共有的属性或方法。
2.3 类型断言
值 as 类型
可以跳过编译器的校验,即编辑者明确此处为何类型,通知ts以这种类型看待它而不去校验值。用途:明确此处断言类型后不会发生语法错误。
- 联合类型可以被断言为其中一个类型
- 父类可以被断言为子类
- 任何类型都可以被断言为 any
- any 可以被断言为任何类型
- 要使得 A 能够被断言为 B,只需要 A 兼容 B 或 B 兼容 A 即可