typescript学习笔记
一、安装TypeScript运行环境
npm i -g typescript
（一）第一个TypeScript程序
文件名为hello.ts，代码如下：
console.log('hello world')
let age:number=18
console.log(age);
编译代码：
C:\test>tsc hello.ts
编译后会出现一个以js为扩展名的同名文件hello.js，执行代码：
C:\test>node hello.js
（二）使用ts-node
上面运行代码要手动执行两个命令，较为繁琐，可以使用ts-node直接运行ts文件。方法如下：
1、安装ts-node
C:\test>npm i -g ts-node
2、执行js代码
继续使用上面的代码hello.ts
C:\test> ts-node .\hello.ts
hello world
18
[!NOTE]
node23以上运行环境下执行上述代码会报如下错误：
PS C:\test> ts-node hello.ts (node:28388) ExperimentalWarning: Type Stripping is an experimental feature and might change at any time (Use `node --trace-warnings ...` to show where the warning was created)解决办法：
执行如下代码
C:\test> tsc -init执行上述命令后会在hello.ts同级目录下生成一个tsconfig.json文件，再执行ts-node hello.ts就可以看到结果了
二、基础数据类型
（一）类型注解
let age:number=18
let name:string='simon'
在变量后跟一个数据类型，并用冒号分隔。这就是typescript中声明类型的基本格式。
（二）常用数据类型
可以将TS中的常用基础类型细分为两类：1、JS已有类型 2、TS新增类型。
1、JS 已有类型
- 原始类型：number、string、boolean、null、undefined、symbol。
- 对象类型：object（数组、对象、函数）。
2、TS新增类型
- 联合类型、自定义类型（类型别名）、接口、元组、字面量类型、枚举、void、any等。
1、原始类型
特点：简单。这些类型，完全按照JS中类型的名称来书写。
2、数组类型
[!NOTE]
对象类型：object（包括，数组、对象、函数等对象）。
特点：对象类型，在TS中更加细化，每个具体的对象都有自己的类型语法。
数组类型的两种写法：（推荐使用number写法）
let numbers: number[] = [1, 3, 5]
let strings: Array<string> = ['a','b','c']
需求：数组中既有number类型，又有string类型，这个数组的类型应该如何写？
let arr:(number | string)] = [1,"b",3,'c']
解释：|（竖线）在TS中叫做联合类型（由两个或多个其他类型组成的类型，表示可以是这些类型中的任意一种）。
注意：这是TS中联合类型的语法，只有一根竖线，不要与JS中的或（II）混淆了。
// 添加小括号，表示：首先是数组，然后，这个数组中能够出现number 或 string 类型的元素
let arr:（number|string）[]=[1,3,5,'a','b']
// 不添加小括号，表示：arr1 既可以是 number 类型，又可以是 string[]
let arrl:number | string[]=['a','b']
Let arr1:number | string[]=123
3、类型别名
类型别名（自定义类型）：为任意类型起别名。
使用场景：当同一类型（复杂）被多次使用时，可以通过类型别名，简化该类型的使用。
type CustomArray=(number | string)[]
let arr1: CustomArray=[1,'a',3,'b']
let arr2: CustomArray=['x','y',6,7]
[!NOTE]
解释：
1、使用type关键字来创建类型别名。
2、类型别名（比如，此处的CustomArray），可以是任意合法的变量名称。
3、创建类型别名后，直接使用该类型别名作为变量的类型注解即可。
4、函数类型
函数的类型实际上指的是：函数参数和返回值的类型。
为函数指定类型的两种方式：1.单独指定参数、返回值的类型 2.同时指定参数、返回值的类型。
1.单独指定参数、返回值的类型：
（1）、函数声明形式
function add(num1:number,num2:number):number{
return num1 + num2
}
（2）、表达式形式
const add =（num1:number,num2:number):number=>{
return num1 + num2
}
2.同时指定参数、返回值的类型：
const add: (num1: number, num2: number) => number = (num1, num2) => {
return num1 + num2
}
解释：当函数作为表达式时，可以通过类似箭头函数形式的语法来为函数添加类型
注意：这种形式只适用于函数表达式。
5、void类型
如果函数没有返回值，那么，函数返回值类型为：void
function greet(name: string): void{
console.log('Hello', name)
}
6、可选参数
使用函数实现某个功能时，参数可以传也可以不传。这种情况下，在给函数参数指定类型时，就用到可选参数了。
比如，数组的slice方法，可以slice()也可以slice(1)还可以slice(1，3)。
function myslice（start?:number,end?:number):void {
console.log（‘起始索引l:'，start，‘结束索引l:‘，end）
myslice()
mySlice(1)
mySlice(1,3)
[!IMPORTANT]
可选参数：在可传可不传的参数名称后面添加？（问号）。
注意：可选参数只能出现在参数列表的最后，也就是说可选参数后面不能再出现必选参数。
7、对象类型
JS中的对象是由属性和方法构成的，而TS中对象的类型就是在描述对象的结构（有什么类型的属性和方法）。
对象类型的写法：
let person: { name: string; age: number; sayHi(): void }={
name: 'jack',
age: 19,
sayHi()
}
[!IMPORTANT]
解释：
1.直接使用{}来描述对象结构。属性采用属性名：类型的形式；方法采用方法名()：返回值类型的形式。
2.如果方法有参数，就在方法名后面的小括号中指定参数类型（比如：greet(name:string):void）。
3.在一行代码中指定对象的多个属性类型时，使用；（分号）来分隔。
- 如果一行代码只指定一个属性类型（通过换行来分隔多个属性类型），可以去掉；（分号）。
- 方法的类型也可以使用箭头函数形式（比如：{sayHi:（)=>void}）。
1、多行形式可以去掉每个属性后的分号
let person:{
name:string
age:number
sayHi():void
greet(name:string):void
}={
name:'刘老师',
age:18,
sayHi(){},
greet(name){
console.log(name);
}
}
person.greet('simon')
对象的可选属性
对象的属性或方法，也可以是可选的，此时就用到可选属性了。
比如，我们在使用axios（{...}）时，如果发送GET请求，method属性就可以省略。
function myAxios(config: { url: string; method?: string }) {
console.log(config)
}
可选属性的语法与函数可选参数的语法一致，都使用？（问号）来表示。
8、接口类型
（1）基本概念
当一个对象类型被多次使用时，一般会使用接口（interface）来描述对象的类型，达到复用的目的。
[!IMPORTANT]
解释：
1.使用interface关键字来声明接口。
2.接口名称（比如，此处的IPerson），可以是任意合法的变量名称。
3.声明接口后，直接使用接口名称作为变量的类型。
4.因为每一行只有一个属性类型，因此，属性类型后没有；（分号）。
interface IPerson{
name: string
age: number
sayHiiO:void
}
let person:IPerson={
name:jack
age: 119,
sayHi(){}
}
（2）接口和类型别名的区别
相同点：都可以给对象指定类型。
不同点：
- 接口，只能为对象指定类型。
- 类型别名，不仅可以为对象指定类型，实际上可以为任意类型指定别名。
（3）接口继承
如果两个接口之间有相同的属性或方法，可以将公共的属性或方法抽离出来，通过继承来实现复用。
比如，这两个接口都有×、y两个属性，重复写两次，可以，但很繁琐。
interface Point2D { x:number;y:number}
interface Point3D {x:number; y: number;z:number}
解释：
1.使用extends（继承）关键字实现了接口Point3D继承Point2D。
2.继承后，Point3D就有了Point2D的所有属性和方法（此时，Point3D同时有x、y、z三个属性）。
interface Point2D{ x: number; y: number }
interface Point3D extends Point2D {z:number}
9、元组
场景：在地图中，使用经纬度坐标来标记位置信息。
可以使用数组来记录坐标，那么，该数组中只有两个元素，并且这两个元素都是数值类型。
let position: number[] =[39.5427,116.2317]
使用number[]的缺点：不严谨，因为该类型的数组中可以出现任意多个数字。
更好的方式：元组（Tuple）
元组类型是另一种类型的数组，它确切地知道包含多少个元素，以及特定索引对应的类型
let position: [number, number] = [39.5427, 116.2317]
解释：
- 元组类型可以确切地标记出有多少个元素，以及每个元素的类型。
- 该示例中，元素有两个元素，每个元素的类型都是number。
10、类型推论
在TS中，某些没有明确指出类型的地方，TS的类型推论机制会帮助提供类型。
换句话说：由于类型推论的存在，这些地方，类型注解可以省略不写！
发生类型推论的2种常见场景：
- 声明变量并初始化时
- 决定函数返回值时。
注意：这两种情况下，类型注解可以省略不写！
推荐：能省略类型注解的地方就省略（偷懒，充分利用TS类型推论的能力，提升开发效率）。
技巧：如果不知道类型，可以通过鼠标放在变量名称上，利用VSCode的提示来查看类型。
[!IMPORTANT]
1、注意：如果声明变量但没有立即初始化值，此时，还必须手动添加类型注解
Let a:number
11、类型断言
有时候你会比TS更加明确一个值的类型，此时，可以使用类型断言来指定更具体的类型，
比如：
注意：getElementByld方法返回值的类型是HTMLElement，该类型只包含所有标签公共的属性或方法，不包含a标签特有的href等属性。
因此，这个类型太宽泛（不具体），无法操作href等a标签特有的属性或方法。
解决方式：这种情况下就需要使用类型断言指定更加具体的类型。
方法一：使用as关键字实现类型断言
const aLink:HTMLAnchorElement
const aLink = document.getElementById('link') as HTMLAnchorElement
解释：
1.关键字as后面的类型是一个更加具体的类型（HTMLAnchorElement是HTMLElement的子类型）。
2.通过类型断言，aLink的类型变得更加具体，这样就可以访问a标签特有的属性或方法了。
方法二：使用<>语法，这种语法形式不常用，知道即可：
const aLink =<HTMLAnchorElement>document.getElementById('Link')
[!IMPORTANT]
技巧：在浏览器控制台，通过console.dir(）打印DOM元素，在属性列表的最后面，即可看到该元素的类型
需要提前选中想要知道类型的元素，然后在console窗口使用console.dir($0)命令，在属性列表的最后可以看到_prototype_属性，即可知道元素具体是什么类型了
12、字面量类型
思考以下代码，两个变量的类型分别是什么？
let str1="HelloTS"
const str2 ="HelloTS"
通过TS类型推论机制，可以得到答案：
1.变量str1 的类型为：string。
2.变量str2的类型为：'HelloTS"。
解释：
1.str1是一个变量（let），它的值可以是任意字符串，所以类型为：string。
2.str2是一个常量（const），它的值不能变化只能是'HelloTS'，所以，它的类型为：'HelloTS"。
注意：此处的'HelloTS'，就是一个字面量类型。也就是说某个特定的字符串也可以作为TS中的类型。
除字符串外，任意的JS字面量（比如，对象、数字等）都可以作为类型使用。
例如：
const str2:'Hello TS'='Hello TS'
Let age:18=18
通过上面的代码可以看到，冒号后确实可以将字面量作为具体的类型，那么字面量类型到底有什么用呢？
[!IMPORTANT]
使用模式：字面量类型配合联合类型一起使用。
使用场景：用来表示一组明确的可选值列表。
比如，在贪吃蛇游戏中，游戏的方向的可选值只能是上、下、左、右中的任意一个。function changeDirection(direction:'up'|'down'|'left'|'right){ console.log(direction) }解释：参数direction的值只能是up、down、left、right中的任意一个。
优势：相比于string类型，使用字面量类型更加精确、严谨。
13、枚举类型
（1）枚举基础
枚举的功能类似于字面量类型+联合类型组合的功能，也可以表示一组明确的可选值。
枚举：定义一组命名常量。它描述一个值，该值可以是这些命名常量中的一个。
enum Direction { Up,Down,Left,Right }
function changeDirection(direction: Direction){
console.log(direction)
}
changeDirection(Direction.Up) //解释：类似于JS中的对象，直接通过点（.）语法访问枚举的成员。
解释：
- 使用enum关键字定义枚举。
- 约定枚举名称、枚举中的值以大写字母开头。
- 枚举中的多个值之间通过，（逗号）分隔。
- 定义好枚举后，直接使用枚举名称作为类型注解。
（2）数字枚举
解释：通过将鼠标移入Direction.Up，可以看到枚举成员Up的值为0。
注意：枚举成员是有值的，默认为：从0开始自增的数值。
我们把，枚举成员的值为数字的枚举，称为：数字枚举。
当然，也可以给枚举中的成员初始化值。
（3）字符串枚举
字符串枚举：枚举成员的值是字符串
enum Direction{
UP='UP',
LEFT='LEFT'
RIGHT='RIGHT'
DOWN='DOWN'
}
注意：字符串枚举没有自增长行为，因此，字符串枚举的每个成员必须有初始值。
枚举是TS为数不多的非JavaScript类型级扩展（不仅仅是类型）的特性之一。
因为：其他类型仅仅被当做类型，而枚举不仅用作类型，还提供值（枚举成员都是有值的）
也就是说，其他的类型会在编译为JS代码时自动移除。但是，枚举类型会被编译为JS代码！
说明：枚举与前面讲到的字面量类型+联合类型组合的功能类似，都用来表示一组明确的可选值列表。
一般情况下，推荐使用字面量类型+联合类型组合的方式，因为相比枚举，这种方式更加直观、简洁、高效。
14、any类型
原则：不推荐使用any！这会让TypeScript变为"AnyScript"（失去TS类型保护的优势）。
因为当值的类型为any时，可以对该值进行任意操作，并且不会有代码提示。
let obj: any{x:0}
obj.bar = 100
obj()
const n: number = obj
解释：以上操作都不会有任何类型错误提示，即使可能存在错误！
尽可能的避免使用any类型，除非临时使用any来“避免”书写很长、很复杂的类型！
[!IMPORTANT]
其他隐式具有any类型的情况：
1、声明变量不提供类型也不提供默认值
2、函数参数不加类型。
注意：因为不推荐使用any，所以，这两种情况下都应该提供类型！
15、typeof运算符
众所周知，JS中提供了typeof操作符，用来在JS中获取数据的类型。
实际上，TS也提供了typeof操作符：可以在类型上下文中引用变量或属性的类型（类型查询）
使用场景：根据已有变量的值，获取该值的类型，来简化类型书写。
[!IMPORTANT]
解释：
1.使用typeof操作符来获取变量p的类型，结果与第一种（对象字面量形式的类型）相同。
2.typeof出现在类型注解的位置（参数名称的冒号后面）所处的环境就在类型上下文（区别于JS代码）。
3.注意：typeof只能用来查询变量或属性的类型，无法查询其他形式的类型（比如，函数调用的类型）
三、高级数据类型
1、class类
（1）class基础
TypeScript全面支持ES2015中引l入的class关键字，并为其添加了类型注解和其他语法（比如，可见性修饰符等）。
class基本使用，如下：
class Person{}
const p: Person
const p=new Person()
解释：
1.根据TS中的类型推论，可以知道Person类的实例对象p的类型是Person。
2.TS中的class，不仅提供了class的语法功能，也作为一种类型存在。
实例属性初始化：
解释：
1.声明成员age，类型为number（没有初始值）。
2.声明成员gender，并设置初始值，此时，可省略类型注解（TS类型推论为string类型）
（2）构造函数
class Person{
age: number
gender: string
constructor(age: number, gender: string){
this.age=age
this.gender=gender
}
}
const p= new Person（18，'男'）I
console.log(p.age,p.gender)
解释：
1.成员初始化（比如，age：number）后，才可以通过this.age来访问实例成员。
2.需要为构造函数指定类型注解，否则会被隐式推断为any；构造函数不需要返回值类型。
（3）类继承
类继承的两种方式：1、extends（继承父类）2、implements（实现接口）。
说明：JS中只有extends，而implements是TS提供的。
1、类继承
class Animal{
move() {
console.log('Moving along!')
}
}
class Dog extends Animal{
bark(){
console.log('汪! ')
}
}
const dog = new Dog()
dog.move()
dog.bark()
[!IMPORTANT]
解释：
1、通过extends关键字实现继承。
2、子类Dog继承父类Animal，则Dog的实例对象dog就同时具有了父类Animal和子类Dog的所有属性和方法。
2、接口实现
class Person implements Singale{
name='jack'
sing(){
console.log（“你是我的小呀小苹果）
}
}
[!IMPORTANT]
解释：
1.通过implements关键字让class实现接口。
2.Person类实现接口Singable意味着，Person类中必须提供Singable接口中指定的所有方法和属性。
（4）类成员可见性
类成员可见性：可以使用TS来控制class的方法或属性对于class外的代码是否可见。
可见性修饰符包括：1、public（公有的）2、protected（受保护的）3、private（私有的）。
1、public：表示公有的、公开的，公有成员可以被任何地方访问，默认可见性。
class Animal{
public move(){
console.log('Moving along!')
}
}
let a=new Animal()
a.move() //类实例可以直接调用public修饰的成员属性和成员函数
[!IMPORTANT]
解释：
1.在类属性或方法前面添加public关键字，来修饰该属性或方法是共有的。
2.因为public是默认可见性，所以，可以直接省略。
2、protected：表示受保护的，仅对其声明所在类和子类中（非实例对象）可见。
class Animal{
protected move() { console.log('Moving along!') }
}
class Dog extends Animal{
bark{
console.log('汪!
this.move()
}
}
[!IMPORTANT]
解释：
1.在类属性或方法前面添加protected关键字，来修饰该属性或方法是受保护的。
2.在子类的方法内部可以通过this来访问父类中受保护的成员，但是，对实例不可见！
3、private：表示私有的，只在当前类中可见，对实例对象以及子类也是不可见的。
[!IMPORTANT]
解释：
1.在类属性或方法前面添加private关键字，来修饰该属性或方法是私有的。
2.私有的属性或方法只在当前类中可见，对子类和实例对象也都是不可见的！
（5）readonly修饰符
readonly：表示只读，用来防止在构造函数之外对属性进行赋值
class Person{
readonly age: number=18
constructor(age: number){
this.age=age
}
}
[!IMPORTANT]
解释：
1.使用readonly关键字修饰该属性是只读的，注意只能修饰属性不能修饰方法。
2.注意：属性age后面的类型注解（比如，此处的number）如果不加，则age的类型为18（字面量类型），而不是上面例子中的number类型。
也就是一个常量类型，常量一旦赋值后就不能继续再赋值了，所以在下面的代码中，在构造函数中继续给age赋值，就会出现错误：
class Person{ readonly age=18 //age的类型为字面量类型18，而不是number constructor(age: number){ this.age=age } }结论：如果类属性是readonly修饰的，并且有默认值时，一定要给该属性一个类型，否则会用默认值作为该属性的类型。
3.接口或者{}表示的对象类型，也可以使用readonly
2、类型兼容性
（1）类型兼容性概述
两种类型系统：
1、 StructuralType System（结构化类型系统）
2、NominalType System（标明类型系统）。
TS采用的是结构化类型系统，也叫做ducktyping（鸭子类型），类型检查关注的是值所具有的形状。也就是说，在结构类型系统中，如果两个对象具有相同的形状，则认为它们属于同一类型。
[!IMPORTANT]
解释：
1、Point和Point2D是两个名称不同的类。
2、变量p的类型被显示标注为Point类型，但是，它的值却是Point2D的实例，并且没有类型错误。
3、因为TS是结构化类型系统，只检查Point和Point2D的结构是否相同（相同，都具有x和y两个属性，属性类型也相同）。
4、但是，如果在NominalType System中（比如，C#、Java等），它们是不同的类，类型无法兼容。
（2）对象之间的类型兼容性
注意：在结构化类型系统中，如果两个对象具有相同的形状，则认为它们属于同一类型，这种说法并不准确。
更准确的说法：对于对象类型来说，y的成员至少与x相同，则×兼容y（成员多的可以赋值给少的，反之不行）。
[!IMPORTANT]
解释：
1、Point3D的成员至少与Point相同，则Point兼容Point3D。
2、所以，成员多的Point3D可以赋值给成员少的Point。
（3）接口之间的类型兼容性
除了class之外，TS中的其他类型也存在相互兼容的情况，包括：1、接口兼容性 2、函数兼容性等。
接口之间的兼容性，类似于class。并且，class和interface之间也可以兼容。
interface Point { x: number; y: number }
interface Point2D { x: number; y: number }
let p1: Point
let p2: Point2D = p1
interface Point3D { x: number; y: number; z: number }
let p3:Point3D
p2 = p3
class Point3D { x: number; y: number; z: number }
let p3:Point2D = new Point3D()
（4）函数之间的类型兼容性
函数之间兼容性比较复杂需要考虑：1、参数个数 2、参数类型 3、返回值类型
1、参数个数
参数个数，参数多的兼容参数少的（或者说，参数少的可以赋值给多的）
type F1= (a:number)=>void
type F2 = (a:: number, b: number)=>void
let f1: F1
let f2: F2 = f1
const arr=['a','b','c']
arr.forEach(()=>{})
arr.forEach((item)=>{})
[!IMPORTANT]
解释：
1、参数少的可以赋值给参数多的，所以，f1可以赋值给f2。
2、数组forEach方法的第一个参数是回调函数，该示例中类型为：(value:string,index:number,array:stringl)=>void。
3、在JS中省略用不到的函数参数实际上是很常见的，这样的使用方式，促成了TS中函数类型之间的兼容性。
4、并且因为回调函数是有类型的，所以，TS会自动推导出参数item、index、array的类型。
2、参数类型
相同位置的参数类型要相同（原始类型）或兼容（对象类型）
A:原始类型兼容（类型必须完全一致）
type F1=(a:number)=>string
type F2=(a:number)=>string
let f1:F1
let f2: F2 = f1
解释：函数类型F2兼容函数类型F1，因为F1和F2的第一个参数类型相同。
B：对象类型兼容
interface Point2D { x: number; y: number }
interface Point3D { x: number; y: number; z: number }
type F2 = (p: Point2D) =>void
type F3 = (p: Point3D) => void
let f2: F2
let f3:F3=f2
f2 = f3 //错误：参数多的不能赋值给参数少的，和接口兼容性概念相反
[!IMPORTANT]
解释：
1.注意，此处与前面讲到的接口兼容性冲突。
2.技巧：将对象拆开，把每个属性看做一个个参数，则，参数少的（f2）可以赋值给参数多的（f3）。
3、返回值类型
返回值类型，只关注返回值类型本身即可：
type F5:string
type F6:string
let f5: F5
let f6: F6=f5
type F7 =()=>{name: string}
type F8 =()=>{name: string; age: number }
let f7: F7
let f8: F8
f7 = f8 //成员多的赋值给成员少的
[!IMPORTANT]
1.如果返回值类型是原始类型，此时两个类型要相同，比如，左侧类型F5和F6。
2.如果返回值类型是对象类型，此时成员多的可以赋值给成员少的，比如，右侧类型F7和F8。
3、交叉类型
（1）基本概念
交叉类型（&）：功能类似于接口继承（extends），用于组合多个类型为一个类型（常用于对象类型）：
interface Person{name: string}
interface Contact{phone: string}
type PersonDetail = Person&Contact
let obj: PersonDetail = {
name:'jack',
phone: '133...'
}
[!IMPORTANT]
解释：使用交叉类型后，新的类型PersonDetail就同时具备了Person和Contact的所有属性类型
相当于，type PersonDetail = { name: string; phone: string}
（2）交叉类型和接口类型
交叉类型（&）和接口继承（extends）的对比：
相同点：都可以实现对象类型的组合。
不同点：两种方式实现类型组合时，对于同名属性之间，处理类型冲突的方式不同。
interfaceA{
fn: (value: number)=>string
}
interfaceB extends A{
fn: (value: string)=>string
}
说明：以上代码，接口继承会报错（类型不兼容）；
而交叉类型没有错误
interface A{
fn:（value:number)=>string
}
interface B{
fn:（value:string)=>string
}
type C=A&B
可以简单的理解为：
let c:c={
fn（value:number|string)
return ''
}
4、泛型和keyof
（1）泛型的基本概念
泛型是可以在保证类型安全前提下，让函数等与多种类型一起工作，从而实现复用，常用于：函数、接口、class中。
需求：创建一个id函数，传入什么数据就返回该数据本身（也就是说，参数和返回值类型相同）。
function id(value:number):number{return value}
比如，id（10)调用以上函数就会直接返回10本身。但是，该函数只接收数值类型，无法用于其他类型。
为了能让函数能够接受任意类型，可以将参数类型修改为any。但是，这样就失去了TS的类型保护，类型不安全。
function id(value:any):any {return value }
泛型在保证类型安全（不丢失类型信息）的同时，可以让函数等与多种不同的类型一起工作，灵活可复用。
实际上，在C#和JaVa等编程语言中，泛型都是用来实现可复用组件功能的主要工具之一。
1、创建泛型函数：
function id<Type>(value: Type): Type { return value}
[!IMPORTANT]
解释：
1.语法：在函数名称的后面添加<>（尖括号），尖括号中添加类型变量，比如此处的Type。
2.类型变量Type，是一种特殊类型的变量，它处理类型而不是值。
3.该类型变量相当于一个类型容器，能够捕获用户提供的类型（具体是什么类型由用户调用该函数时指定）。
4.因为Type是类型，因此可以将其作为函数参数和返回值的类型，表示参数和返回值具有相同的类型。
5.类型变量Type，可以是任意合法的变量名称。
2、调用泛型函数
[!IMPORTANT]
解释：
1、语法：在函数名称的后面添加<>（尖括号），尖括号中指定具体的类型，比如，此处的number。
2、当传入类型number后，这个类型就会被函数声明时指定的类型变量Type捕获到。
3、此时，Type的类型就是number，所以，函数id参数和返回值的类型也都是number。
同样，如果传入类型 string，函数id 参数和返回值的类型就都是string。
这样，通过泛型就做到了让id函数与多种不同的类型一起工作，实现了复用的同时保证了类型安全。
3、简化调用泛型函数
[!IMPORTANT]
解释：
1.在调用泛型函数时，可以省略<类型>来简化泛型函数的调用。
2.此时，TS内部会采用一种叫做类型参数推断的机制，来根据传入的实参自动推断出类型变量Type的类型。
3.比如，传入实参10，TS会自动推断出变量num的类型number，并作为Type的类型。
推荐：使用这种简化的方式调用泛型函数，使代码更短，更易于阅读。
说明：当编译器无法推断类型或者推断的类型不准确时，就需要显式地传入类型参数。
（2）泛型约束
泛型约束：默认情况下，泛型函数的类型变量Type可以代表多个类型，这导致无法访问任何属性。
比如，id('a')调用函数时获取参数的长度：
function id<Type>(value::Type): Type{
console.log(value.length)
return value
}
解释：Type可以代表任意类型，无法保证一定存在length属性，比如number类型就没有length。
此时，就需要为泛型添加约束来收缩类型（缩窄类型取值范围）。
添加泛型约束收缩类型，主要有以下两种方式：
1、指定更加具体的类型
function id<Type>(value: Type[]): Type[]{
console.log(value.length)
return value
}
比如，将类型修改为Type[]（Type类型的数组），因为只要是数组就一定存在length属性，因此就可以访问了。
2、添加约束。
interface ILength { length: number }
function id<Type extends ILength>(value: Type): Type{
console.log(value.length)
return value
}
（3）多个泛型类型变量
泛型的类型变量可以有多个，并且类型变量之间还可以约束（比如，第二个类型变量受第一个类型变量约束）。
比如，创建一个函数来获取对象中属性的值：
function getProp<Type,Key extends keyof Type>(obj: Type,key: Key){
return obj[key]
}
let person = { name: 'jack', age: 18 }
getProp(person，'name')
[!IMPORTANT]
解释：
1、添加了第二个类型变量Key，两个类型变量之间使用（，）逗号分隔。
2、keyof关键字接收一个对象类型，生成其键名称（可能是字符串或数字）的联合类型。
3、本示例中keyofType实际上获取的是person对象所有键的联合类型，也就是：'name''age'。
4、类型变量Key受Type约束，可以理解为：Key只能是Type所有键中的任意一个，或者说只能访问对象中存在的属性。
其他形式的代码：
getProp({name: 'jack', age: 18 }, 'age')
getProp({name:jack', age: 18 }, 'name')
getProp(18,'toFixed') //toFixed是number的成员函数
getProp('aabc','split') //split是字符串类型的成员函数
（4）泛型接口
泛型接口：接口也可以配合泛型来使用，以增加其灵活性，增强其复用性。
[!IMPORTANT]
解释：
1、在接口名称的后面添加<类型变量>，那么，这个接口就变成了泛型接口。
2、接口的类型变量，对接口中所有其他成员可见，也就是接口中所有成员都可以使用类型变量
3、使用泛型接口时，需要显式指定具体的类型（比如，此处的IdFunc）。
4、此时，id方法的参数和返回值类型都是number；ids方法的返回值类型是number。
（5）泛型类
class GenericNumber<NumType>{
defaultValue:NumType
add:(x: NumType,y: NumType） => NNumType
}
解释：
1.类似于泛型接口，在class名称后面添加<类型变量>，这个类就变成了泛型类。
2.此处的add方法，采用的是箭头函数形式的类型书写方式。
const myNumm=new GenericNumber<number>
myNum.defaultValue()
类似于泛型接口，在创建class实例时，在类名后面通过<类型>来指定明确的类型
浙公网安备 33010602011771号