# 基础知识
# 原始数据类型
# boolean
let isBoole: boolean = false;
# number
let num: number = 6;
// 二进制
let binaryLiteral: number = 0b1010;
// 八进制
let octalLiteral: number = 0o744;
let notANumber: number = NaN;
let infinityNumber: number = Infinity;
# string
let myName: string = 'Tom'
// 模板字符串
let sentence: string = `Hello, my name is ${myName}`
# void
function alertName(): void {
alert('MyName is Tome')
}
// 声明一个 void 类型的变量没有什么用,因为你只能将它赋值为 undefined 和 null:
let unusable: void = undefined
# Null 和 Undefined
在 TypeScript 中,可以使用 null 和 undefined 来定义这两个原始数据类型:
let u:undefined = undefined
let n: null = null;
与 void的区别,undefined 和 null 是所有类型的子类型。也就是说 undefined 类型的变量可以赋值给 number 类型的变量
let num: number = undefined;
let u: undefined;
let num: number = u;
而 void 类型的变量不能赋值给 number 类型的变量
let u: void;
let num: number = u;
// Type 'void' is not assignable to type 'number'.
# 任意值
任意值(Any)用来表示允许赋值为任意类型
什么是任意值类型? 如果是一个普通类型,在赋值过程中改变类型是不允许的:
let num: string = 'tom';
num = 7;
// Type 'number' is not assignable to type 'string'.
但如果是 any 类型,则允许被赋值为任意类型
let num: any = 'tom';
num = 7;
任意值的属性和方法
在任意值上访问任何属性都是允许的:
let anyThing: any = 'hello';
console.log(anyThing.myName);
console.log(anyThing.myName.firstName);
也允许调用任何方法:
let anyThing: any = 'Tom';
anyThing.setName('Jerry');
anyThing.setName('Jerry').sayHello();
anyThing.myName.setFirstName('Cat');
声明一个变量为任意值之后,对它的任何操作,返回的内容的类型都是任意值。
未声明类型的变量
变量如果在声明的时候,未指定其类型,那么它会被识别为任意值类型:
let something;
// 等价于
let something:any
如果定义的时候没有赋值,不管之后有没有赋值,都会被推断成 any 类型而完全不被类型检查:
# 联合类型
联合类型 表示取值可以为多种类型中的一种。🌰
let myFavoriteNumber: string | number;
myFavoriteNumber = 'seven';
myFavoriteNumber = 7;
# 类型保护
当我们使用联户类型的时候,我们需要主要要做类型的保护
interface Brid {
fly: boolean,
sing: () => {}
}
interface Dog {
wang: boolean,
bark: () => {}
}
# 类型断言
// 类型断言的方式
function trainAnial(animal: Brid | Dog) {
if (animal.fly) {
(animal as Brid).sing()
} else {
(animal as Dog).bark()
}
}
如上,animal 为联合类型 Brid |Dog,我们使用了as做了类型断言区别然后去调用对应的方法
# in 语法
// in 语法做类型保护
function trainAnialSecond(animal: Brid | Dog) {
if ("sing" in animal) {
animal.sing()
} else {
animal.bark()
}
}
如上使用了 in 来区分类型,达到正确的调用
# typeof保护
// typeof 做类型保护
function add(first: string | number, second: string | number) {
if (typeof first === "string" || typeof second === "string") {
return `${first} ${second}`
}
return first + second
}
使用了 typeof 来判断类型然后做对应的操作
# 数组
在 TypeScript 中,数组类型有多种定义方式,比较灵活。
# 「类型 + 方括号」
最简单的方法是使用「类型 + 方括号」来表示数组:
let fibonacci: number[] = [1, 1, 2, 3, 5];
数组中不允许出现其他的类型
let fibonacci: number[] = [1, '1', 2, 3, 5];
// Type 'string' is not assignable to type 'number'.
# 数组泛型
let fibonacci: Array<number> = [1, 1, 2, 3, 5];
# 函数
# 函数申明
两种常见的定义函数的方式——函数声明(Function Declaration)和函数表达式(Function Expression)
一个函数有输入和输出,要在 TypeScript 中对其进行约束,需要把输入和输出都考虑到,其中函数声明的类型定义较简单:
function sum(x: number, y: number): number {
return x + y;
}
注意,输入多余的(或者少于要求的)参数,是不被允许的:
# 函数表达式
写一个对函数表达式(Function Expression)的定义,可能会写成这样:
let mySum = function (x: number, y: number): number {
return x + y;
};
# 可选参数
与接口中的可选属性类似,我们用 ? 表示可选的参数:
function buildName(firstName: string, lastName?: string) {
// do
}
let tomcat = buildName('Tom', 'Cat');
let tom = buildName('Tom');
需要注意的是,可选参数必须接在必需参数后面。换句话说,可选参数后面不允许再出现必需参数了:
# 默认参数
在 ES6 中,我们允许给函数的参数添加默认值,TypeScript 会将添加了默认值的参数识别为可选参数
function buildName(firstName: string, lastName: string = 'Cat') {
return firstName + ' ' + lastName;
}
let tomcat = buildName('Tom', 'Cat');
let tom = buildName('Tom');
# 剩余参数
ES6 中,可以使用 ...rest 的方式获取函数中的剩余参数(rest 参数):
function push(array: any[], ...items: any[]) {
// do
}
let a = [];
push(a, 1, 2, 3);
# 重载
重载允许一个函数接受不同数量或类型的参数时,作出不同的处理。
// 上边是声明
function add(arg1: string, arg2: string): string
function add(arg1: number, arg2: number): number
// 因为我们在下边有具体函数的实现,所以这里并不需要添加 declare 关键字
// 下边是实现
function add(arg1: string | number, arg2: string | number) {
// 在实现上我们要注意严格判断两个参数的类型是否相等,而不能简单的写一个 arg1 + arg2
if (typeof arg1 === 'string' && typeof arg2 === 'string') {
return arg1 + arg2
} else if (typeof arg1 === 'number' && typeof arg2 === 'number') {
return arg1 + arg2
}
}
# 接口
在 TypeScript 中,我们使用接口(Interfaces)来定义对象的类型。
# 什么是接口
在面向对象语言中,接口(Interfaces)是一个很重要的概念,它是对行为的抽象,而具体如何行动需要由类(classes)去实现(implement)。
TypeScript 中的接口是一个非常灵活的概念,除了可用于对类的一部分行为进行抽象以外,也常用于对「对象的形状(Shape)」进行描述。
# 定义接口
如下,我们定义一个接单的接口
interface Person {
name: string;
age: number;
}
let tom: Person = {
name: 'Tom',
age: 25
};
赋值的时候,变量的形状必须和接口的形状保持一致
# 可选属性
有时我们希望不要完全匹配一个形状,那么可以用可选属性:
interface Person {
name: string;
age?: number;
}
let tom: Person = {
name: 'Tom'
};
可选属性的含义是该属性可以不存在。这时仍然不允许添加未定义的属性
interface Person {
name: string;
age?: number;
}
let tom: Person = {
name: 'Tom',
age: 25,
gender: 'male'
};
// 报错 'gender' does not exist in type 'Person'.
# 任意属性
有时候我们希望一个接口允许有任意的属性,可以使用如下方式:
interface Person {
name: string;
age?: number;
[propName: string]: any;
}
let tom: Person = {
name: 'Tom',
gender: 'male'
};
使用 [propName: string] 定义了任意属性取 string 类型的值
需要注意的是,一旦定义了任意属性,那么确定属性和可选属性的类型都必须是它的类型的子集,如下:
interface Person {
name: string;
age?: number;
[propName: string]: string;
}
let tom: Person = {
name: 'Tom',
age: 25,
gender: 'male'
};
// 报错 Type 'number' is not assignable to type 'string'.
上例中,任意属性的值允许是 string,但是可选属性 age 的值却是 number,number 不是 string 的子属性,所以报错了。
一个接口中只能定义一个任意属性。如果接口中有多个类型的属性,则可以在任意属性中使用联合类型:
interface Person {
name: string;
age?: number;
[propName: string]: string | number;
}
let tom: Person = {
name: 'Tom',
age: 25,
gender: 'male'
}
# 只读属性
有时候我们希望对象中的一些字段只能在创建的时候被赋值,那么可以用 readonly 定义只读属性:
interface Person {
readonly id: number;
name: string;
age?: number;
[propName: string]: any;
}
let tom: Person = {
id: 89757,
name: 'Tom',
gender: 'male'
};
tom.id = 9527;
// index.ts(14,5): error TS2540: Cannot assign to 'id' because it is a constant or a read-only property.
上例中,使用 readonly 定义的属性 id 初始化后,又被赋值了,所以报错了。
注意,只读的约束存在于第一次给对象赋值的时候,而不是第一次给只读属性赋值的时候:
interface Person {
readonly id: number;
name: string;
age?: number;
[propName: string]: any;
}
let tom: Person = {
name: 'Tom',
gender: 'male'
};
tom.id = 89757;
// index.ts(13,5): error TS2540: Cannot assign to 'id' because it is a constant or a read-only property.
上例中,报错信息有两处,第一处是在对 tom 进行赋值的时候,没有给 id 赋值。
第二处是在给 tom.id 赋值的时候,由于它是只读属性,所以报错了。