TypeScript基本类型、类、接口、泛型
Typescript
TypeScript简介
TypeScript是一种由微软开发的自由和开源的编程语言。它是JavaScript的一个超集，而且本质上TypeScript扩展了JavaScript的语法解决JavaScript的“痛点”：弱类型和没有命名空间，导致很难模块化。
TypeScript是JavaScript的超集。
它对JS进行了扩展，向JS中引入了类型的概念，并添加了许多新的特性。
TS代码需要通过编译器编译为JS，然后再交由JS解析器执行。
TS完全兼容JS，换言之，任何的JS代码都可以直接当成JS使用。
相较于JS而言，TS拥有了静态类型，更加严格的语法，更强大的功能；TS可以在代码执行前就完成代码的检查，减小了运行时异常的出现的几率；TS代码可以编译为任意版本的JS代码，可有效解决不同JS运行环境的兼容问题；同样的功能，TS的代码量要大于JS，但由于TS的代码结构更加清晰，变量类型更加明确，在后期代码的维护中TS却远远胜于JS。
为什么要用TypeScript
开源
简单
TypeScript 是 JavaScript 的超集，这意味着他支持所有的 JavaScript 语法。
兼容性好
TScript 是 JS的强类型版本。然后在编译期去掉类型和特有语法，生成纯粹的 JavaScript 代码。由于最终在浏览器中运行的仍然是 JS，所以 TScript 并不依赖于浏览器的支持，也并不会带来兼容性问题。任何现有的JS程序可以不加改变的在TScript下工作。
TypeScript 开发环境搭建
下载Node.js
安装Node.js
使用npm全局安装typescript
- 进入命令行
- 输入：npm i -g typescript
- tsc空格-v命令用来测试是否安装成功
创建一个ts文件
使用tsc对ts文件进行编译
- 进入命令行
- 进入ts文件所在目录
- 执行命令：tsc xxx.ts
通过配置编译
每次写完ts文件都要输入一次命令是不是很麻烦呢，能不能保存文件时就自动编译运行ts文件呢
- cd到项目下
- 使用 tsc -init 会生成tsconfig.json 文件 （ tsconfig.json文件与TypeScript编译器(tsc)的配置相对应 是 TypeScript 使用 tsconfig.json 文件作为其配置文件 用来 指定待编译文件和定义编译选项。 ）
- 直接使用tsc命令即可编译
为什么要使用这个文件
通常我们可以使用 tsc 命令来编译少量 TypeScript 文件
但如果实际开发的项目，很少是只有单个文件，当我们需要编译整个项目时，就可以使用 tsconfig.json 文件，将需要使用到的配置都写进 tsconfig.json 文件，这样就不用每次编译都手动输入配置，另外也方便团队协作开发。
常见配置
1 | { |
常见配置
compilerOptions
编译选项是配置文件中非常重要也比较复杂的配置选项
在compilerOptions中包含多个子选项，用来完成对编译的配置
项目选项
target
设置ts代码编译的目标版本
可选值：
- ES3（默认）、ES5、ES6/ES2015、ES7/ES2016、ES2017、ES2018、ES2019、ES2020、ESNext
示例：
1
2
3"compilerOptions": {
"target": "ES6"
}- 如上设置，我们所编写的ts代码将会被编译为ES6版本的js代码
lib
指定代码运行时所包含的库（宿主环境）
可选值：
- ES5、ES6/ES2015、ES7/ES2016、ES2017、ES2018、ES2019、ES2020、ESNext、DOM、WebWorker、ScriptHost ……
示例：
1
2
3
4
5
6"compilerOptions": {
"target": "ES6",
"lib": ["ES6", "DOM"],
"outDir": "dist",
"outFile": "dist/aa.js"
}
module
设置编译后代码使用的模块化系统
可选值：
- CommonJS、UMD、AMD、System、ES2020、ESNext、None
示例：
1
2
3"compilerOptions": {
"module": "CommonJS"
}
outDir
编译后文件的所在目录
默认情况下，编译后的js文件会和ts文件位于相同的目录，设置outDir后可以改变编译后文件的位置
示例：
1
2
3"compilerOptions": {
"outDir": "dist"
}- 设置后编译后的js文件将会生成到dist目录
outFile
将所有的文件编译为一个js文件
默认会将所有的编写在全局作用域中的代码合并为一个js文件，如果module制定了None、System或AMD则会将模块一起合并到文件之中
示例：
1
2
3"compilerOptions": {
"outFile": "dist/app.js"
}
rootDir
指定代码的根目录，默认情况下编译后文件的目录结构会以最长的公共目录为根目录，通过rootDir可以手动指定根目录
示例：
1
2
3"compilerOptions": {
"rootDir": "./src"
}
allowJs
- 是否对js文件编译
checkJs
是否对js文件进行检查
示例：
1
2
3
4"compilerOptions": {
"allowJs": true,
"checkJs": true
}
removeComments
- 是否删除注释
- 默认值：false
noEmit
- 不对代码进行编译
- 默认值：false
sourceMap
- 是否生成sourceMap
- 默认值：false
严格检查
- strict
- 启用所有的严格检查，默认值为true，设置后相当于开启了所有的严格检查
- alwaysStrict
- 总是以严格模式对代码进行编译
- noImplicitAny
- 禁止隐式的any类型
- noImplicitThis
- 禁止类型不明确的this
- strictBindCallApply
- 严格检查bind、call和apply的参数列表
- strictFunctionTypes
- 严格检查函数的类型
- strictNullChecks
- 严格的空值检查
- strictPropertyInitialization
- 严格检查属性是否初始化
- strict
额外检查
- noFallthroughCasesInSwitch
- 检查switch语句包含正确的break
- noImplicitReturns
- 检查函数没有隐式的返回值
- noUnusedLocals
- 检查未使用的局部变量
- noUnusedParameters
- 检查未使用的参数
- noFallthroughCasesInSwitch
高级
- allowUnreachableCode
- 检查不可达代码
- 可选值：
- true，忽略不可达代码
- false，不可达代码将引起错误
- noEmitOnError
- 有错误的情况下不进行编译
- 默认值：false
- allowUnreachableCode
自动编译
vscode 自动编译
需要 监视tsconfig.json文件:
1.点击终端运行任务
选择typescript:
选择监视tsconfig.json文件
命令自动编译
编译文件时，使用 -w 指令后，TS编译器会自动监视文件的变化，并在文件发生变化时对文件进行重新编译。
示例：
1
tsc xxx.ts -w
监控全部文件
1
tsc -w
基本类型
变量
注意：let变量不能重复声明
注意：const它拥有与 let相同的作用域规则，但是不能对它们重新赋值。
注意:除了下划线 _ 和美元 $ 符号外，不能包含其他特殊字符，包括空格
类型声明
类型声明是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 | * | 任意类型，不需要检查类型（没有类型检查就没有意义了，跟写JS一样。很不安全） |
| unknown | * | 类型安全的any |
| void | 空值（undefined） | 没有值（或undefined） |
| never | 没有值 | 类型表示永远不会有值的一种类型。 |
| object | {name:’孙悟空’} | 任意的JS对象 |
| array | [1,2,3] | 任意JS数组 |
| tuple(元组) | [4,5] | 元组，TS新增类型，元组类型用来表示已知元素数量和类型的数组，各元素的类型不必相同，对应位置的类型需要相同（赋值的顺序不能变） |
| enum | enum{A, B} | 枚举，TS中新增类型 使用枚举类型可以为一组数值赋予友好的名字。枚举表示的是一个命名元素的集合值 |
number
1 | let decimal: number = 6; |
boolean
1 | let isDone: boolean = false; |
string
1 | let color: string = "blue"; |
any
在一些情况下，如果我们无法确定变量的类型时（或者无需确认类型时），我们可以将其指定为 any 类型。 TS中对于被标记为 any 类型的变量，是没有进行类型检查而直接通过编译阶段的检查。 在我们的系统中还是应当尽量避免使用 any 类型，以尽可能的保证系统健壮性。
1 | let d: any = 4; |
unknown
TypeScript 3.0 引入了新的unknown 类型，它是 any 类型对应的安全类型。 unknown 和 any 的主要区别是 unknown 类型会更加严格：
1 | let demo:unknown="你好"; |
void
没有返回值的函数，其返回值类型为 void
1 | function fun(): void { |
申明为 void 类型的变量，只能赋予 undefined 和 null
1 | let unusable: void = undefined; |
never
类型表示永远不会有值的一种类型。
object
1 | let obj: object = {}; |
array
1 | let list: number[] = [1, 2, 3]; |
tuple元组
已知数量与数据类型的数组
1 | let x: [string, number]; |
enum 枚举
TS中新增类型 使用枚举类型可以为一组数值赋予友好的名字。枚举表示的是一个命名元素的集合值
就是给一组数据起一个友好的名字
数字枚举类型和字符串枚举类型；
1 | enum user{xiaoming,xiaohong,xiaobai} |
类型别名
类型别名用来给一个类型起个新名字，使用 type 创建类型别名，类型别名常用于联合类型。
在实际应用中，有些类型名字比较长或者难以记忆，重新命名是一个较好的解决方案。
1 | // 创建一个String别名 |
联合类型-Union Type
联合类型表示的值可能是多种不同类型当中的某一个。 联合类型放宽了类型的取值的范围，也就是说值的范围不再限于某个单一的数据类型。同时，它也不是无限制地放宽取值的范围，如果那样的话，完全可以使用 any 代替。
1 | // 给多个类型创建一个名字 |
类型断言
类型断言（Type Assertion）可以用来手动指定一个值的类型。
语法：
值 as 类型 或 <类型>值
1 | function fun(text:string|number):void{ |
面向对象
面向对象是程序中一个非常重要的思想，它被很多同学理解成了一个比较难，比较深奥的问题，其实不然。面向对象很简单，简而言之就是程序之中所有的操作都需要通过对象来完成。
- 举例来说：
- 操作浏览器要使用window对象
- 操作网页要使用document对象
- 操作控制台要使用console对象
一切操作都要通过对象，也就是所谓的面向对象，那么对象到底是什么呢？这就要先说到程序是什么，计算机程序的本质就是对现实事物的抽象，抽象的反义词是具体，比如：照片是对一个具体的人的抽象，汽车模型是对具体汽车的抽象等等。程序也是对事物的抽象，在程序中我们可以表示一个人、一条狗、一把枪、一颗子弹等等所有的事物。一个事物到了程序中就变成了一个对象。
在程序中所有的对象都被分成了两个部分数据和功能，以人为例，人的姓名、性别、年龄、身高、体重等属于数据，人可以说话、走路、吃饭、睡觉这些属于人的功能。数据在对象中被成为属性，而功能就被称为方法。所以简而言之，在程序中一切皆是对象。
类（class）
要想面向对象，操作对象，首先便要拥有对象，那么下一个问题就是如何创建对象。要创建对象，必须要先定义类，所谓的类可以理解为对象的模型，程序中可以根据类创建指定类型的对象，举例来说：可以通过Person类来创建人的对象，通过Dog类创建狗的对象，通过Car类来创建汽车的对象，不同的类可以用来创建不同的对象。
定义类：
1
2
3
4
5
6
7
8
9
10
11
12class 类名 {
属性名: 类型;
//constructor 方法是类的构造函数，是一个默认方法，通过 new 命令创建对象实例时，自动调用该方法。一个类必须有 constructor 方法，如果没有显式定义，一个默认的 consructor 方法会被默认添加。所以即使你没有添加构造函数，也是会有一个默认的构造函数的。
constructor(参数: 类型){
this.属性名 = 参数;
}
方法名(){
....
}
}示例：
1
2
3
4
5
6
7
8
9
10
11
12
13class Person{
name: string;
age: number;
constructor(name: string, age: number){
this.name = name;
this.age = age;
}
sayHello(){
console.log(`大家好，我是${this.name}`);
}
}使用类：
1
2
3//通过new关键字可以方便的生产一个类的实例对象，这个生产对象的过程叫实例化
const p = new Person('孙悟空', 18);
p.sayHello();
面向对象的特点
封装
对象实质上就是属性和方法的容器，它的主要作用就是存储属性和方法，这就是所谓的封装
默认情况下，对象的属性是可以任意的修改的，为了确保数据的安全性，在TS中可以对属性的权限进行设置
只读属性（readonly）：
- 如果在声明属性时添加一个readonly，则属性便成了只读属性无法修改
TS中属性具有三种修饰符：
- public（默认值）， 公开的，谁都能用 (默认public) 可以在类、子类和对象中修改
- protected ， 受保护的，仅仅类和类的子类能使用
- private ， 私有的，仅类自己里头才能使用
示例：
public
1
2
3
4
5
6
7class a{
public name:String="xiaoyang"
}
let demoa=new a()
// 因为name属性是使用public 谁都可以修改
demoa.name="haha"
console.log(demoa.name)protected
1
2
3
4
5
6
7
8
9
10
11class a{
protected name:String="xiaoyang"
public showname(){
console.log("因为name是使用protected修饰的只能在当前类和类的子类中使用"+this.name)
}
}
let demoa=new a()
demoa.showname()
// 在外部是不能使用的
// console.log(demoa.name)private
1
2
3
4
5
6
7
8
9
10
11class a{
private name:String="xiaoyang"
public showname(){
console.log("因为name是使用private仅类自己里头才能使用"+this.name)
}
}
let demoa=new a()
demoa.showname()
// 在外部是不能使用的
// console.log(demoa.name)
静态属性
静态属性（方法），也称为类属性。使用静态属性无需创建实例，通过类即可直接使用
静态属性（方法）使用static开头
示例：
1
2
3
4
5
6
7
8
9
10class Tools{
static PI:Number = 3.1415926;
static sum(num1: number, num2: number){
return num1 + num2
}
}
console.log(Tools.PI);
console.log(Tools.sum(123, 456));
继承
继承时面向对象中的又一个特性
通过继承可以将其他类中的属性和方法引入到当前类中
示例：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19class Animal{
name: string;
age: number;
constructor(name: string, age: number){
this.name = name;
this.age = age;
}
}
class Dog extends Animal{
bark(){
console.log(`${this.name}在汪汪叫！`);
}
}
const dog = new Dog('旺财', 4);
dog.bark();
通过继承可以在不修改类的情况下完成对类的扩展
重写
发生继承时，如果子类中的方法会替换掉父类中的同名方法，这就称为方法的重写
示例：
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
27class Animal{
name: string;
age: number;
constructor(name: string, age: number){
this.name = name;
this.age = age;
}
run(){
console.log(`父类中的run方法！`);
}
}
class Dog extends Animal{
bark(){
console.log(`${this.name}在汪汪叫！`);
}
run(){
console.log(`子类中的run方法，会重写父类中的run方法！`);
}
}
const dog = new Dog('旺财', 4);
dog.bark();- 在子类中可以使用super来完成对父类的引用
super
1
2
3
4
5
6
7class A {}
class B extends A {
constructor() {
super(); // ES6 要求，子类的构造函数必须执行一次 super 函数，否则会报错。在 constructor 中必须调用 super 方法，因为子类没有自己的 this 对象，而是继承父类的 this 对象，然后对其进行加工,而 super 就代表了父类的构造函数。super 虽然代表了父类 A 的构造函数，但是返回的是子类 B 的实例，即 super 内部的 this 指的是 B
console.log(this)
}
}
接口（Interface）
接口的作用类似于抽象类，不同点在于接口中的所有方法和属性都是没有实值的，换句话说接口中的所有方法都是抽象方法。接口主要负责定义一个类的结构，接口可以去限制一个对象的接口，对象只有包含接口中定义的所有属性和方法时才能匹配接口。同时，可以让一个类去实现接口，实现接口时类中要保护接口中的所有属性。
接口是一种规范的定义，它定义了行为和动作的规范，在程序设计里面，接口起到一种限制和规范的作用
使用interface关键字定义 接口一般首字母大写 有的编程语言中会建议接口的名称加上 I 前缀
示例（检查对象类型）：
1
2
3
4interface IUser{
name:String,
showname():void
}示例（实现）
接口使用：使用：号接口名来进行使用
注意：定义的变量比接口少了一些属性是不允许的，多一些属性也是不允许的。赋值的时候，变量的形状必须和接口的形状保持一致。1
2
3
4
5
6
7
8
9
10
11
12interface IUser{
name:String,
showname():void
}
let user:IUser={
name:"xiaoyang",
showname(){
console.log(`名字是${this.name}`)
}
}
console.log(user.name)
user.showname()可选属性
可选属性：可选属性的含义是该属性可以不存在 有时候不要完全匹配一个接口，那么可以用可选属性。使用？号
1
2
3
4
5
6
7
8
9
10
11
12interface IUser{
name?:String,
showname():void
}
let user:IUser={
// 因为name是可选属性所以可以不用定义
showname(){
console.log(`名字是${this.name}`)
}
}
console.log(user.name)
user.showname()
泛型（Generic）
定义一个函数或类时，有些情况下无法确定其中要使用的具体类型（返回值、参数、属性的类型不能确定），此时泛型便能够发挥作用。
泛型（Generics）是指在定义函数、接口或类的时候，不预先指定具体的类型，而在使用的时候再指定类型的一种特性。
举个例子：
1
2
3function test(arg: any): any{
return arg;
}上例中，test函数有一个参数类型不确定，但是能确定的时其返回值的类型和参数的类型是相同的，由于类型不确定所以参数和返回值均使用了any，但是很明显这样做是不合适的，首先使用any会关闭TS的类型检查，其次这样设置也不能体现出参数和返回值是相同的类型
类中使用泛型：
1
2
3
4
5
6
7class MyClass<T>{
prop: T;
constructor(prop: T){
this.prop = prop;
}
}这里的
<T>就是泛型，T是我们给这个类型起的名字（不一定非叫T），设置泛型后即可在使用T来表示该类型。所以泛型其实很好理解，就表示某个类型。
