TypeScript
TypeScript简介
- TypeScript是JavaScript的超集。
- 它对JS进行了扩展,向JS中引入了类型的概念,并添加了许多新的特性。
- TS代码需要通过编译器编译为JS,然后再交由JS解析器执行。
- TS完全兼容JS,换言之,任何的JS代码都可以直接当成JS使用。
- 相较于JS而言,TS拥有了静态类型,更加严格的语法,更强大的功能;TS可以在代码执行前就完成代码的检查,减小了运行时异常的出现的几率;TS代码可以编译为任意版本的JS代码,可有效解决不同JS运行环境的兼容问题;同样的功能,TS的代码量要大于JS,但由于TS的代码结构更加清晰,变量类型更加明确,在后期代码的维护中TS却远远胜于JS。
全局安装:npm i -g typescript
创建一个ts文件,编译:tsc xxx.ts
基本类型
类型声明
类型声明是TS非常重要的一个特点
通过类型声明可以指定TS中变量(参数、形参)的类型
指定类型后,当为变量赋值时,TS编译器会自动检查值是否符合类型声明,符合则赋值,否则报错
简而言之,类型声明给变量设置了类型,使得变量只能存储某种类型的值
语法:
1
2
3
4
5
6
7let 变量: 类型;
let 变量: 类型 = 值;
function fn(参数: 类型, 参数: 类型): 类型{
...
}
自动类型判断
TS拥有自动的类型判断机制
当对变量的声明和赋值是同时进行的,TS编译器会自动判断变量的类型
所以如果你的变量的声明和赋值时同时进行的,可以省略掉类型声明
类型:
类型 例子 描述 number 1, -33, 2.5 任意数字 string ‘hi’, “hi”, hi
任意字符串 boolean true、false 布尔值true或false 字面量 其本身 限制变量的值就是该字面量的值 any * 任意类型(不建议,赋值时会影响别人) unknown * 类型安全的any void 空值(undefined) 没有值(或undefined) never 没有值 不能是任何值 object {name:’孙悟空’} 任意的JS对象 array [1,2,3] 任意JS数组 tuple [4,5] 元素,TS新增类型,固定长度数组 enum enum{A, B} 枚举,TS中新增类型 字面量
也可以使用字面量去指定变量的类型,通过字面量可以确定变量的取值范围
let color: 'red' | 'blue' | 'black'; let num: 1 | 2 | 3 | 4 | 5; <!--code1-->
void,一般是函数使用;
let unusable: void = undefined; <!--code2-->
object(没啥用),用来指定对象中包含的属性值,必须匹配。
let obj: object = {}; let obj: {name string} //表示任意类型的属性 let ovj:{name:string,{propName:string}:any} <!--code3-->
tuple
let x: [string, number]; x = ["hello", 10]; <!--code4-->
类型断言
有些情况下,变量的类型对于我们来说是很明确,但是TS编译器却并不清楚,此时,可以通过类型断言来告诉编译器变量的类型,断言有两种形式:
第一种
let someValue: unknown = "this is a string"; let strLength: number = (someValue as string).length; <!--code5-->
编译选项
自动编译文件
编译文件时,使用 -w 指令后,TS编译器会自动监视文件的变化,并在文件发生变化时对文件进行重新编译。
示例:
tsc xxx.ts -w <!--code6--> - 上述示例中,所有src目录和tests目录下的文件都会被编译
exclude
定义需要排除在外的目录
默认值:[“node_modules”, “bower_components”, “jspm_packages”]
示例:
"exclude": ["./src/hello/**/*"]
1
2
3
4
5
6
7
8
9
10
11
- 上述示例中,src下hello目录下的文件都不会被编译
- extends
- 定义被**继承的配置文件**
- 示例:
- ```json
"extends": "./configs/base"上述示例中,当前配置文件中会自动包含config目录下base.json中的所有配置信息
files
指定被编译文件的列表,只有需要编译的文件少时才会用到
示例:
"files": [ "core.ts", "sys.ts", "types.ts", "scanner.ts", "parser.ts", "utilities.ts", "binder.ts", "checker.ts", "tsc.ts" ]
- 如上设置,我们所编写的ts代码将会被编译为ES6版本的js代码 - **lib** - 指定**代码运行时所包含的库**(宿主环境) - 可选值: - ES5、ES6/ES2015、ES7/ES2016、ES2017、ES2018、ES2019、ES2020、ESNext、DOM、WebWorker、ScriptHost ...... - 示例: - ```json "compilerOptions": { "target": "ES6", "lib": ["ES6", "DOM"], "outDir": "dist", "outFile": "dist/aa.js" }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
- 列表中的文件都会被TS编译器所编译
- compilerOptions
- 编译选项是配置文件中非常重要也**比较复杂的配置选项**
- 在compilerOptions中包含多个子选项,用来完成对**编译的配置**
- 项目选项
- **target**
- 设置ts代码编译的**目标版本**
- 可选值:
- ES3(默认)、ES5、ES6/ES2015、ES7/ES2016、ES2017、ES2018、ES2019、ES2020、ESNext
- 示例:
- ```json
"compilerOptions": {
"target": "ES6"
}- **outDir** - **编译后文件的所在目录** - 默认情况下,编译后的js文件会和ts文件位于相同的目录,设置outDir后可以改变编译后文件的位置 - 示例: - ```json "compilerOptions": { "outDir": "dist" }1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
- **module**
- 设置编译后代码使用的**模块化系统**
- 可选值:
- CommonJS、UMD、AMD、System、ES2020、ESNext、None
- 示例:
- ```typescript
"compilerOptions": {
"module": "CommonJS"
}- **rootDir** - 指定**代码的根目录**,默认情况下编译后文件的目录结构会以最长的公共目录为根目录,通过rootDir可以手动指定根目录 - 示例: - ```json "compilerOptions": { "rootDir": "./src" }1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
- 设置后编译后的js文件将会生成到dist目录
- **outFile**
- 将**所有的文件编译为一个js文件**
- 默认会将所有的编写在全局作用域中的代码合并为一个js文件,如果module制定了None、System或AMD则会将模块一起合并到文件之中
- 示例:
- ```json
"compilerOptions": {
"outFile": "dist/app.js"
}- **removeComments** - 是否**删除注释** - 默认值:false - noEmit - **不对代码进行编译** - 默认值:false - sourceMap - 是否生成sourceMap, - 默认值:false1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
- allowJs
- **是否对js文件编译**
- checkJs
- 是否**对js文件进行检查**
- 示例:
- ```json
"compilerOptions": {
"allowJs": true,
"checkJs": true
}
- 严格检查
- strict
- 启用所有的严格检查,默认值为true,设置后相当于开启了所有的严格检查
- alwaysStrict
- 总是以严格模式对代码进行编译
- noImplicitAny
- 禁止隐式的any类型
- noImplicitThis
- 禁止类型不明确的this
- strictBindCallApply
- 严格检查bind、call和apply的参数列表
- strictFunctionTypes
- 严格检查函数的类型
- strictNullChecks
- 严格的空值检查
- strictPropertyInitialization
- 严格检查属性是否初始化
- 额外检查
- noFallthroughCasesInSwitch
- 检查switch语句包含正确的break
- noImplicitReturns
- 检查函数没有隐式的返回值
- noUnusedLocals
- 检查未使用的局部变量
- noUnusedParameters
- 检查未使用的参数
- 高级
- allowUnreachableCode
- 检查不可达代码
- 可选值:
- true,忽略不可达代码
- false,不可达代码将引起错误
- noEmitOnError
- 有错误的情况下不进行编译
- 默认值:false
webpack
通常情况下,实际开发中我们都需要使用构建工具对代码进行打包,TS同样也可以结合构建工具一起使用,下边以webpack为例介绍一下如何结合构建工具使用TS。
步骤:
初始化项目
- 进入项目根目录,执行命令
npm init -y
- 主要作用:创建package.json文件
- 进入项目根目录,执行命令
下载构建工具
npm i -D webpack webpack-cli webpack-dev-server typescript ts-loader clean-webpack-plugin
- 共安装了7个包
- webpack
- 构建工具webpack
- webpack-cli
- webpack的命令行工具
- webpack-dev-server
- webpack的开发服务器
- typescript
- ts编译器
- ts-loader
- ts加载器,用于在webpack中编译ts文件
- html-webpack-plugin
- webpack中html插件,用来自动创建html文件
- clean-webpack-plugin
- webpack中的清除插件,每次构建都会先清除目录
- webpack
- 共安装了7个包
根目录下创建webpack的配置文件webpack.config.js
//引入一个包 const path = require("path"); const HtmlWebpackPlugin = require("html-webpack-plugin"); const { CleanWebpackPlugin } = require("clean-webpack-plugin"); module.exports = { optimization:{ minimize: false // 关闭代码压缩,可选 }, //指定入口文件 entry: "./src/index.ts", devtool: "inline-source-map", devServer: { contentBase: './dist' }, //指定打包文件所在目录 output: { //打包文件目录 path: path.resolve(__dirname, "dist"), //打包后文件的文件 filename: "bundle.js", environment: { arrowFunction: false // 关闭webpack的箭头函数,可选 } }, //用来设置引用模块 resolve: { extensions: [".ts", ".js"] }, //webpack打包时要使用的模块 module: { rules: [ { test: /\.ts$/, //排除loader use: { loader: "ts-loader" }, exclude: /node_modules/ } ] }, plugins: [ new CleanWebpackPlugin(), new HtmlWebpackPlugin({ title:'TS测试' //根据模板实现 template:'./src/index.html' }), ] } <!--code12-->
修改package.json添加如下配置
{ ...略... "scripts": { "test": "echo \"Error: no test specified\" && exit 1", "build": "webpack", "start": "webpack serve --open chrome.exe" }, ...略... }
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
6. 在src下创建ts文件,并在并命令行执行```npm run build```对代码进行编译,或者执行```npm start```来启动开发服务器
## Babel
经过一系列的配置,使得TS和webpack已经结合到了一起,除了webpack,开发中还经常需要结合babel来对代码进行转换以使其可以兼容到更多的浏览器,在上述步骤的基础上,通过以下步骤再将babel引入到项目中。
1. 安装依赖包:
- ```npm i -D @babel/core @babel/preset-env babel-loader core-js```
- 共安装了4个包,分别是:
- **@babel/core**
- babel的**核心工具**
- **@babel/preset-env**
- babel的**预定义环境**
- **@babel-loader**
- babel在webpack中的**加载器**
- **core-js**
- core-js用来使**老版本的浏览器**支持新版ES语法
2. 修改webpack.config.js配置文件
- ```javascript
...略...
module: {
rules: [
{
test: /\.ts$/,
use: [
//配置babel
{
//指定加载器
loader: "babel-loader",
//设置babel
options:{
presets: [
[
"@babel/preset-env",
{
"targets":{
"chrome": "58",
"ie": "11"
},
//指定版本
"corejs":"3",
//按需加载
"useBuiltIns": "usage"
}
]
]
}
},
{
loader: "ts-loader",
}
],
exclude: /node_modules/
}
]
}
...略...如此一来,使用ts编译后的文件将会再次被babel处理,使得代码可以在大部分浏览器中直接使用,可以在配置选项的targets中指定要兼容的浏览器版本。
面向对象
- 操作浏览器要使用window对象
- 操作网页要使用document对象
- 操作控制台要使用console对象
在程序中所有的对象都被分成了两个部分数据和功能,以人为例,人的姓名、性别、年龄、身高、体重等属于数据,人可以说话、走路、吃饭、睡觉这些属于人的功能。数据在对象中被成为属性,而功能就被称为方法。所以简而言之,在程序中一切皆是对象。
类(class)
定义类:
1 | class 类名 { |
面向对象的特点
封装
对象实质上就是属性和方法的容器,它的主要作用就是存储属性和方法,这就是所谓的封装
默认情况下,对象的属性是可以任意的修改的,为了确保数据的安全性,在TS中可以对属性的权限进行设置
只读属性(readonly):
- 如果在声明属性时添加一个
readonly
,则属性便成了只读属性无法修改
- 如果在声明属性时添加一个
TS中属性具有三种修饰符:
- public(默认值),可以在类、子类和对象中修改
- protected ,可以在类、子类中修改
- private ,可以在类中修改
public:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23class Person{
public name: string; // 写或什么都不写都是public
public age: number;
constructor(name: string, age: number){
this.name = name; // 可以在类中修改
this.age = age;
}
sayHello(){
console.log(`大家好,我是${this.name}`);
}
}
class Employee extends Person{
constructor(name: string, age: number){
super(name, age);
this.name = name; //子类中可以修改
}
}
const p = new Person('孙悟空', 18);
p.name = '猪八戒';// 可以通过对象修改project:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24class Person{
protected name: string;
protected age: number;
constructor(name: string, age: number){
this.name = name; // 可以修改
this.age = age;
}
sayHello(){
console.log(`大家好,我是${this.name}`);
}
}
class Employee extends Person{
constructor(name: string, age: number){
super(name, age);
this.name = name; //子类中可以修改
}
}
const p = new Person('孙悟空', 18);
p.name = '猪八戒';// 不能修改private:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24class Person{
private name: string;
private age: number;
constructor(name: string, age: number){
this.name = name; // 可以修改
this.age = age;
}
sayHello(){
console.log(`大家好,我是${this.name}`);
}
}
class Employee extends Person{
constructor(name: string, age: number){
super(name, age);
this.name = name; //子类中不能修改
}
}
const p = new Person('孙悟空', 18);
p.name = '猪八戒';// 不能修改属性存取器
- 对于一些不希望被任意修改的属性,可以将其设置为private
- 直接将其设置为private将导致无法再通过对象修改其中的属性
- 我们可以在类中定义一组读取、设置属性的方法,这种对属性读取或设置的属性被称为属性的存取器
- 读取属性的方法叫做
setter
方法,设置属性的方法叫做getter
方法
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20class Person{
private _name: string;
constructor(name: string){
this._name = name;
}
get name(){
return this._name;
}
set name(name: string){
this._name = name;
}
}
const p1 = new Person('孙悟空');
console.log(p1.name); // 通过getter读取name属性
p1.name = '猪八戒'; // 通过setter修改name属性静态属性
- 静态属性(方法),也称为类属性。使用静态属性无需创建实例,通过类即可直接使用
- 静态属性(方法)使用static开头
1
2
3
4
5
6
7
8
9
10class Tools{
static PI = 3.1415926;
static sum(num1: number, num2: number){
return num1 + num2
}
}
console.log(Tools.PI);
console.log(Tools.sum(123, 456));this
- 在类中,使用this表示当前对象
继承
- 通过继承可以将其他类中的属性和方法引入到当前类中
- 通过继承可以在不修改类的情况下完成对类的扩展
- 重写
- 发生继承时,如果子类中的方法会替换掉父类中的同名方法,这就称为方法的重写
- 在子类中可以使用
super
来完成对父类的引用
- 抽象类(abstract class):抽象类是专门用来被其他类所继承的类,它只能被其他类所继承不能用来创建实例,使用abstract开头的方法叫做抽象方法,抽象方法没有方法体只能定义在抽象类中,继承抽象类时抽象方法必须要实现
接口(Interface)
接口中的所有方法和属性都是没有实值的,换句话说接口中的所有方法都是抽象方法。接口可以去限制一个对象的接口,对象只有包含接口中定义的所有属性和方法时才能匹配接口。同时,可以让一个类去实现接口,实现接口时类中要保护接口中的所有属性。接口可以在定义类的时候去限制类的结构。定义了一个标准,需要我们去实现。
1 | interface Person{ |
泛型(Generic)
定义一个函数或类时,有些情况下无法确定其中要使用的具体类型(返回值、参数、属性的类型不能确定),此时泛型便能够发挥作用。
1 | function test<T>(arg: T): T{ |
这里的<T>
就是泛型,T是我们给这个类型起的名字(不一定非叫T),设置泛型后即可在函数中使用T来表示该类型。所以泛型其实很好理解,就表示某个类型。
那么如何使用上边的函数呢?
方式一(直接使用):
test(10) <!--code22-->
也可以在函数后手动指定泛型
可以同时指定多个泛型,泛型间使用逗号隔开:
function test<T, K>(a: T, b: K): K{ return b; } test<number, string>(10, "hello"); <!--code23-->
也可以对泛型的范围进行约束
interface MyInter{ length: number; } //泛型T必须是Inter的实现类 function test<T extends MyInter>(arg: T): number{ return arg.length; }
使用T extends MyInter表示泛型T必须是MyInter的子类,不一定非要使用接口类和抽象类同样适用。