TypeScript
快速入门
手动编译
1
2npm i typescript -g # 全局安装ts
tsc index.ts # 编译ts文件自动化编译
1
2tsc --init # 初始化配置
tsc --watch # 监控目录下ts文件变更
变量声明/推断
1 |
|
类型总览
js中的数据类型
简单数据类型
- number
- string
- boolean
- null
- undefined
复杂数据类型
- Object(包括Array、Function、Date等)
ts中的数据类型
ts的数据类型包括上面js的类型,同时新增了几个类型:
- any
- unknown
- never
- void
- tuple
- enum
另外还有两个用于自定义类型的方式:
- type
- interface
类型声明中的大小写问题
1 |
|
在JS中的这些内置构造函数:Number、String、Boolean,它们用于创建对应的包装对象,在日常开发时很少使用,在TS中也是同理,所以在TS中进行类型声明时,通常都是用小写的number、string、boolean
额外补充:包装对象、自动装箱
常用类型与语法
any
any
表任意类型,一旦将变量类型设置为any
,那就意味着放弃了对该变量的类型检查。
1 |
|
注意:any
类型的变量,可以赋值给任意类型的变量
1 |
|
unknown
unknown
的含义是个未知类型
它可以理解为一个类型安全的
any
,适用于:不确定数据的具体类型。1
2
3
4
5
6
7
8let a: unknown
// 以下均正常
a = 100
a = false
a = '你好'
let x: string
x = a // 警告:不能将类型“unknown”分配给类型“string”它会强制开发者在使用之前进行类型检查,从而提供更强的类型安全性。
1
2
3
4
5
6
7// 方式一
if(typeof a === 'string'){
x = a
}
// 方式二(断言)
x = a as string
x = <string>a读取
any
类型数据的任何属性都不会报错,而unknown
正好与之相反。1
2
3
4
5
6
7
8
9
10
11let str1: string
str1 = 'hello'
str1.toUpperCase() // 无警告
let str2: any
str2 = 'hello'
str2.toUpperCase() // 无警告
let str3: unknown
str3 = 'hello'
str3.toUpperCase() // 警告:”str3“类型为”unknown“
never
never
的含义是任何值都不是,简言之就是不能有值,undefined
、null
、''
、0
都不行。
几乎不用
never
去直接限制变量,因为没有意义1
2
3
4
5
6
7let a: never
// 下方都会有警告
a = 1
a = true
a = undefined
a = nullnever
一般是TS主动推断出来的1
2
3
4
5
6
7
8let a: string
a = 'hello'
if(typeof a === 'string'){
console.log(a.toUpperCase())
}else{
console.log(a) // TS会推断此处的a是never,因为没有任何一个值符合此处的逻辑
}never
也可用于限制函数的返回值1
2
3
4// 限制throwError函数不需要有任何返回值,任何值都不行,包括undefined、null
function throwError(str: string): never {
throw new Error('异常退出:' + str)
}
void
void
通常用于函数返回值声明,含义:函数不返回任何值,或者说函数返回空,调用者也不应该依赖其返回值进行任何操作。1
2
3
4function logMessage(msg: string):void{
console.log(msg)
}
logMessage("你好")注意:虽然没有return显示指定返回值,但会有一个隐式返回值,就是
undefined
。所以,虽然函数返回类型为void
,但也是可以接受undefined
的。总结:
undefined
是void
可以接受的一种“空”。以下写法均符合规范
1
2
3
4
5
6
7
8
9
10
11
12
13function logMessage(msg:string):void{
console.log(msg)
}
function logMessage(msg:string):void{
console.log(msg)
return;
}
function logMessage(msg:string):void{
console.log(msg)
return undefined;
}理解
void
和undefined
1
2
3
4
5
6
7
8
9
10
11
12
13function logMessage(msg:string):void{
console.log(msg)
}
let result = logMessage("你好")
if(result){} // 警告
function logMessage(msg:string):undefined{
console.log(msg)
}
let result = logMessage("你好")
if(result){} // 无警告void
是一个广泛的概念,用来表示“空”,而undefined
是这种“空”的具体实现之一- 因此可以说
undefined
是void
可以接受“空”状态的一种具体形式。 - 话句话说:
void
包含undefined
,但void
表达的语义超越了单纯的undefined
,它是一种意图上的约定,而不仅仅是特定值的限制。
总结:若函数返回类型为
void
,那么:- 从语法上讲,函数是可以返回
undefined
的,无论是显示返回还是隐式返回。 - 从语义上讲,函数调用者不应该关心函数返回的值,也不应依赖返回值进行任何操作,即使返回了
undefined
值。
object
关于object和Object,实际开发中用的相对较少,因为范围太大了。
object的含义是:所有非原始对象,可存储:对象、函数、数组等,由于限制的范围比较宽泛,在实际开发中使用的相对较少。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17let a:object
// 以下无警告
a={}
a={name:"张三"}
a=[1,3,5,7,9]
a=function(){}
a=new String("123")
class Person {}
a = new Person()
// 以下有警告
a = 1
a = true
a = '你好'
a = null
a = undefinedObject的含义是:所有可以调用Object方法的类型。
简单记忆:除了
undefined
和null
的任何值。由于限制范围太大,所以实际开发中使用频率极低。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17let a:Object
// 以下无警告
a={}
a={name:"张三"}
a=[1,3,5,7,9]
a=function(){}
a=new String("123")
class Person {}
a = new Person()
a = 1
a = true
a = '你好'
// 以下有警告
a = null
a = undefined
既然object和Object限制都太宽泛,那么该如何声明一个对象呢?
声明对象类型
实际开发中,限制一般对象,通常使用以下形式
1
2
3
4
5
6
7
8
9
10
11
12// 限制person对象必须有name属性,age为可选属性
let person1: {name: string, age?: number}
// 含义同上,也能用分号做分隔
let person2: {name: string; age?: number}
// 含义同上,也能用换行做分隔
let person3: {
name: string
age?: number
}
person1 = {name:'Tom',age:18}
person2 = {name:'Tom'}索引签名
允许定义对象可以具有任意数量的属性,这些属性的键和类型是可变的,常用于:描述类型不确定的属性(具有动态属性的对象)
1
2
3
4
5
6
7
8
9
10
11let person: {
name: string
age?: number
[key:string]:any // 索引签名,完全可以不用key这个单词,换成其他的也可以
}
person = {
name:'张三',
age:18,
gender:"男"
}
声明函数类型
1 |
|
- TypeScript 中的
=>
在函数类型声明时表示函数类型,描述其参数类型和返回类型。 - JavaScript 中的
=>
是⼀种定义函数的语法,是具体的函数实现。 - 函数类型声明还可以使⽤:接⼝、⾃定义类型等⽅式,下⽂中会详细讲解。
声明数组类型
1 |
|
上述代码中的 Array 属于泛型,下⽂会详细讲解。
tuple
元组 (Tuple) 是⼀种特殊的数组类型,可以存储固定数量的元素,并且每个元素的类型是已知的且可以不同。元组⽤于精确描述⼀组值的类型, ?
表示可选元素。
1 |
|
enum
枚举(enum)可以定义⼀组命名常量,它能增强代码的可读性,也让代码更好维护。
如下代码的功能是:根据调⽤ walk 时传⼊的不同参数,执⾏不同的逻辑,存在的问题是调⽤ walk 时传参时没有任何提示,编码者很容易写错字符串内容;并且⽤于判断逻辑的up、down、left、right是连续且相关的⼀组值,那此时就特别适合使⽤ 枚举(enum)。
1 |
|
数组枚举
数字枚举⼀种最常⻅的枚举类型,其成员的值会⾃动递增,且数字枚举还具备反向映射的特点,在下⾯代码的打印中,不难发现:可以通过值来获取对应的枚举成员名称 。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28// 定义⼀个描述【上下左右】⽅向的枚举Direction
enum Direction {
Up,
Down,
Left,
Right
}
console.log(Direction) // 打印Direction会看到如下内容
/*
{
0:'Up',
1:'Down',
2:'Left',
3:'Right',
Up:0,
Down:1,
Left:2,
Right:3
}
*/
// 反向映射
console.log(Direction.Up)
console.log(Direction[0])
// 此⾏代码报错,枚举中的属性是只读的
Direction.Up = 'shang'也可以指定枚举成员的初始值,其后的成员值会⾃动递增。
1
2
3
4
5
6
7
8
9enum Direction {
Up = 6,
Down,
Left,
Right
}
console.log(Direction.Up); // 输出: 6
console.log(Direction.Down); // 输出: 7使⽤数字枚举完成刚才 walk 函数中的逻辑,此时我们发现: 代码更加直观易读,⽽且类 型安全,同时也更易于维护。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23enum Direction {
Up,
Down,
Left,
Right,
}
function walk(n: Direction) {
if (n === Direction.Up) {
console.log("向【上】⾛");
} else if (n === Direction.Down) {
console.log("向【下】⾛");
} else if (n === Direction.Left) {
console.log("向【左】⾛");
} else if (n === Direction.Right) {
console.log("向【右】⾛");
} else {
console.log("未知⽅向");
}
}
walk(Direction.Up)
walk(Direction.Down)字符串枚举
枚举成员的值是字符串
1
2
3
4
5
6
7
8
9enum Direction {
Up = "up",
Down = "down",
Left = "left",
Right = "right"
}
let dir: Direction = Direction.Up;
console.log(dir); // 输出: "up"注意:字符串枚举会丢失反向映射
常量枚举
官⽅描述:常量枚举是⼀种特殊枚举类型,它使⽤ const 关键字定义,在编译时会被内联,避免⽣成⼀些额外的代码。
何为编译时内联?
所谓“内联”其实就是 TypeScript 在编译时,会将枚举成员引⽤替换为它们的实际值,⽽不是⽣成额外的枚举对象。这可以减少⽣成的 JavaScript 代码量,并提⾼运⾏时性能。
使⽤普通枚举的 TypeScript 代码如下:
1
2
3
4
5
6
7
8enum Directions {
Up,
Down,
Left,
Right
}
let x = Directions.Up;编译后⽣成的 JavaScript 代码量较⼤ :
1
2
3
4
5
6
7
8
9
10"use strict";
var Directions;
(function (Directions) {
Directions[Directions["Up"] = 0] = "Up";
Directions[Directions["Down"] = 1] = "Down";
Directions[Directions["Left"] = 2] = "Left";
Directions[Directions["Right"] = 3] = "Right";
})(Directions || (Directions = {}));
let x = Directions.Up;使⽤常量枚举的 TypeScript 代码如下:
1
2
3
4
5
6
7
8const enum Directions {
Up,
Down,
Left,
Right
}
let x = Directions.Up;编译后⽣成的 JavaScript 代码量较⼩:
1
2"use strict";
let x = 0 /* Directions.Up */;
type
type
可以为任意类型创建别名,让代码更简洁、可读性更强,同时能更⽅便地进⾏类型复⽤和扩展。
基本用法
类型别名使⽤ type 关键字定义, type 后跟类型名称,例如下⾯代码中 num 是类型别名。
1 |
|
联合类型
联合类型是⼀种⾼级类型,它表示⼀个值可以是⼏种不同类型之⼀。
1 |
|
交叉类型
交叉类型(Intersection Types)允许将多个类型合并为⼀个类型。合并后的类型将拥有所有被合并类型的成员。交叉类型通常⽤于对象类型。
1 |
|
特殊情况
先观察下面两段代码:
代码1(正常)
在函数定义时,限制函数返回值为 void ,那么函数的返回值就必须是空。
1
2
3
4
5
6
7
8
9
10
11
12function demo():void{
// 返回undefined合法
return undefined
// 以下返回均不合法
return 100
return false
return null
return []
}
demo()代码2(特殊)
使⽤类型声明限制函数返回值为 void 时, TypeScript 并不会严格要求函数返回空。
1
2
3
4
5
6
7
8
9type LogFunc = () => void
const f1: LogFunc = () => {
return 100; // 允许返回⾮空值
};
const f2: LogFunc = () => 200; // 允许返回⾮空值
const f3: LogFunc = function () {
return 300; // 允许返回⾮空值
};
为什么会这样?
是为了确保如下代码成⽴,我们知道Array.prototype.push
的返回值是⼀个数字,⽽Array.prototype.forEach
⽅法期望其回调的返回类型是 void 。
1 |
|
类
1 |
|
继承
1 |
|
属性修饰符
修饰符 | 含义 | 具体规则 |
---|---|---|
public |
公开的 | 可以被:类内部、子类、类外部访问 |
protected |
受保护的 | 可以被:类内部、子类访问 |
private |
私有的 | 可以被:类内部访问 |
readonly |
只读属性 | 属性无法修改 |
public修饰符
1 |
|
1 |
|
属性的简写形式:
1 |
|
protected修饰符
1 |
|
1 |
|
private修饰符
1 |
|
readonly修饰符
1 |
|
抽象类
概述:抽象类是⼀种⽆法被实例化的类,专⻔⽤来定义类的结构和⾏为,类中可以写抽象⽅法,也可以写具体实现。抽象类主要⽤来为其派⽣类提供⼀个基础结构,要求其派⽣类必须实现其中的抽象⽅法。
简记:抽象类不能实例化,其意义是可以被继承,抽象类⾥可以有普通⽅法、也可以有抽象⽅法。
1 |
|
1 |
|
总结:何时使⽤抽象类?
定义通用接口:为⼀组相关的类定义通⽤的⾏为(⽅法或属性)时。
提供基础实现:在抽象类中提供某些⽅法或为其提供基础实现,这样派⽣类就可以继承这 些实现。
确保关键实现:强制派⽣类实现⼀些关键⾏为。
共享代码和逻辑:当多个类需要共享部分代码时,抽象类可以避免代码重复。
interface
interface 是⼀种定义结构的⽅式,主要作⽤是为:类、对象、函数等规定⼀种契约,这样可以确保代码的⼀致性和类型安全,但要注意 interface 只能定义格式,不能包含任何实现 !
定义类结构
1 |
|
定义对象结构
1 |
|
定义函数结构
1 |
|
接口继承
⼀个 interface 继承另⼀个 interface ,从⽽实现代码的复⽤
1 |
|
接口合并
接口可重复定义,相同接口名会自动合并。
1 |
|
总结:何时使⽤接⼝?
定义对象的格式:描述数据模型、API响应格式、配置对象……等等,是开发中⽤的最多的场景。
类的契约:规定⼀个类需要实现哪些属性和⽅法。
自动合并:⼀般⽤于扩展第三⽅库的类型, 这种特性在⼤型项⽬中可能会⽤到。
一些相似概念的区别
interface和type的区别
相同点:
interface
和type
都可以⽤于定义对象(函数)结构,在定义对象结构时两者可以互换。
不同点:
interface
更关注定义对象和类的结构,支持继承、合并。type
可以定义类型别名、联合类型、交叉类型,但不⽀持继承和⾃动合并。
1 |
|
1 |
|
1 |
|
interface和抽象类的区别
相同点:
- 都可以定义一个类的格式(定义类应遵循的契约)
不同点:
- 接口只能描述结构,不能有任何实现代码,⼀个类可以实现多个接⼝。
- 抽象类既可以包含抽象⽅法,也可以包含具体⽅法,⼀个类只能继承⼀个抽象类。
1 |
|
泛型
泛型允许我们在定义函数、类或接⼝时,使⽤类型参数来表示未指定的类型,这些参数在具体使⽤时,才被指定具体的类型,泛型能让同⼀段代码适⽤于多种类型,同时仍然保持类型的安全性。
1 |
|
1 |
|
1 |
|
1 |
|
1 |
|
类型声明文件
类型声明⽂件是 TypeScript 中的⼀种特殊⽂件,通常以 .d.ts
作为扩展名。它的主要作⽤是为现有的 JavaScript 代码提供类型信息,使得 TypeScript 能够在使⽤这些 JavaScript 库或模块时进⾏类型检查和提示。
1 |
|
1 |
|
1 |
|
装饰器
简介
- 装饰器本质是一种特殊的函数,它可以对:类、属性、方法、参数进行扩展,同时能让代码更简洁。
- 装饰器自
2015
年在ECMAScript-6
中被提出到现在,已将近10年。 - 截止目前,装饰器依然是实验性特性 ,需要开发者手动调整配置,来开启装饰器支持。
- 装饰器有 5 种:
- 类装饰器
- 属性装饰器
- 方式装饰器
- 访问器装饰器
- 参数装饰器
备注:虽然
TypeScript5.0
中可以直接使用类装饰器
,但为了确保其他装饰器可用,现阶段使用时,仍建议使用experimentalDecorators
配置来开启装饰器支持,而且不排除在来的版本中,官方会进一步调整装饰器的相关语法!
参考:《TypeScript 5.0发版公告》
类装饰器
类装饰器是一个应用在类声明上的函数,可以为类添加额外的功能,或添加额外的逻辑。
1 |
|