TS — 泛型
最后更新于:2022-04-02 08:11:19
>[success] # 什么是泛型
部分内容摘自:[TS入门教程 ](https://ts.xcatliu.com/advanced/generics.html)
~~~
1.泛型(Generics)是指在定义函数、接口或类的时候,不预先指定具体的
类型,而在使用的时候再指定类型的一种特性。
2.就是一种不确定的数据类型,可以把运行时的问题提前到编译时期(java
里是这么说的 我觉得在ts 应该同理的)
3.简单粗暴的说不想丢失'ts' 的类型检查
~~~
>[info] ## 举个例子
~~~
1.现在有个方法,这个方法有两个参数,一个参数是用来占位数组的项的占位
参数'value',一个是当前数组长度的'items'
~~~
>[danger] ##### js 中的写法
~~~
1.下面我们又做了一个操作: 我们想将当前传入参数的长度重新返回一个数
组,但是这时候疏忽传入了数字,其实按照js逻辑思想我们会对类型做判断
然后强大我的代码,本质上这种 错误对'前端人员'来说避免是正常操作
~~~
~~~
function getArray(value,items){
return new Array(items).fill(value)
}
getArray(1,1).map((items)=>{
return items.length
})
~~~
* 打印结果
~~~
[undefined]
~~~
>[danger] ##### Ts -- 中如何来写(any)
~~~
1.直接将上面代码转译成ts 写法如下
2.下面的写法是直接按照'ts' 思路简单转译,因为不确定'value' 是什么类型以
及不确定,返回类型这里用了'any'
3.这么做之后和'js'没区别
~~~
~~~
function getArray(value:any,items:number = 5):any[]{
return new Array(items).fill(value)
}
getArray(1,1).map((items)=>{
return items.length
})
~~~
* 打印结果
~~~
[undefined]
~~~
>[danger] ##### Ts -- 中如何来写(联合类型)
~~~
1.然后想到了联合类型写法,返回值是联合类型不就解决了么,你返回的可
能是'string' 也可能是'number' 不就好了么
2.实践后发现,在编写的过程这个联合类型只承认双方共有属性举个下面的
案例说明
~~~
~~~
function getArray(value:any,items:number = 5):(string|number)[]{
return new Array(items).fill(value)
}
getArray("1",1).map((items)=>{
return items.length
})
~~~
* 编写过程帮我们校验了,但是length 不是两个类型共有的
![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/9a600de2ebd3f8252d4a3f0a489f14e9_587x181.png)
* 能改么 答案是能,但是改了还不如第一种
~~~
// 自信的程序员 我就断言你传入的是 字符
getArray("1",1).map((items)=>{
return (items as string).length
})
~~~
>[danger] ##### Ts -- 中如何来写(函数重载)
~~~
1.按照现阶段的知识储备只能用这个了函数的重载
~~~
~~~
function getArray(value:string,items:number):string[]
function getArray(value:number,items:number):number[]
function getArray(value:any,items:number = 5):(string|number)[]{
return new Array(items).fill(value)
}
getArray("1",1).map((items)=>{
return items.length
})
~~~
* 上面的案例传的是字符串那么我们串数字呢
~~~
1.传数字的话整个代码在我们编写的时候就给提示了真的好棒(我的内心是无
力吐槽)
~~~
![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/99a275b94f3c6a14d1c57a37aa3366e4_669x265.png)
>[info] ## 正式使用泛型
~~~
1.上面的案例我们虽然找到了解决方法,但有没有更好的方法来解决呢,别
忘了开篇说的
'泛型是一种不确定的数据类型,可以把运行时的问题提前到编译时期'
~~~
>[danger] #### 泛型的写法
~~~
1.我们在函数名后添加了 ,其中 T 用来指代任意输入的类型,在后面
的输入 value: T 和输出 Array 中即可使用了。
2.'下面案例也可以不用T表示','A,B,C...' 随意
~~~
* 用泛型 --- 也能实心函数重载的效果
~~~
function getArray(value:T,items:number = 5):T[]{
return new Array(items).fill(value)
}
// 缩写 可以将明确的类型省略,编译器会给传参来判断
getArray("1",1).map((items)=>{
return items.length
})
// 不缩写
// getArray("1",1).map((items)=>{
// return items.length
// })
~~~
>[danger] ##### 泛型传入多个不同类型参数
~~~
1.泛型传入多个不同类型参数
~~~
~~~
function getArray(value1:T,value2:U,items:number = 5):Array<[T,U]>{
return new Array(items).fill([value1,value2])
}
getArray("1",1,1).forEach((items)=>{
console.log(items[0].length)
console.log(items[1].length) // 帮我们自动检测数字没有length 属性
})
~~~
>[danger] ##### 函数表达式/函数别名/接口 --配合泛型写法
* 函数表达式的定义方式
~~~
let getArray: (arg: T, times: number) => T[]
getArray = (arg: any, times: number) => {
return new Array(times).fill(arg)
}
getArray(123, 3).map((item) => item.length) // 报错帮你自动检测了
~~~
* 函数别名
~~~js
type GetArray = (arg: T, times: number) => T[]
let getArray: GetArray = (arg: any, times: number) => {
return new Array(times).fill(arg)
}
~~~
* 接口类型
~~~
interface GetArray {
(arg: T, times: number): T[],
array: T[]
}
//泛型和 interface
interface KeyPair {
key: T;
value: U;
}
let kp1: KeyPair = { key: 1, value: "str"}
let kp2: KeyPair = { key: "str", value: 123}
~~~
>[danger] ##### 泛型约束 -- 来约束泛型参数
~~~
1.现在泛型会根据你传入的值还进行动态类型,问题来了有一些不具备我们代码中属性的值传入,会导致编译
阶段报错如图一,这时候需要对泛型传入的参数加以约束,这时候使用泛型约束
2.思路就是让泛型类型去继承接口或者一些类,让在编译过程去检测传入的,泛型约束需要关键字('extends')
泛型是具有当前指定的属性
3.简单的说泛型约束解决在函数内部使用泛型变量的时候,由于事先不知道它是哪种类型,所以不能随意的操
作它的属性或方法
4.有些更详细的案例可以看一下开篇文章的地址
~~~
* 图一
![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/bf/34/bf34f39b7fc6c6f4873bbeefa7ab06af_500x78.png)
~~~
interface ValueWithLength {
length: number
}
const getArray = (arg: T, times): T[] => {
return new Array(times).fill(arg)
}
getArray([1, 2], 3)
getArray('123', 3)
getArray({
length: 2,
}, 3)
getArray(1, 3) // 报错 数字类型没有length
~~~
>[danger] ##### 泛型约束结合索引类型的使用
~~~
1. 下面的案例 实现的是,泛型参数必须是传入对象key中存在的,这是一个
继承了 keyof 一个属性
~~~
~~~
const getProps = (object: T, propName: K) => {
return object[propName]
}
const objs = {
a: 'a',
b: 'b',
}
getProps(objs, 'a')
~~~
>[danger] ##### 防止思维定式
~~~
function getExcludeProp(obj:T){
return obj
}
// getExcludeProp({name:'w'}) // 报错
getExcludeProp({name:'w',props:'w'})
~~~
>[danger] ##### 泛型和类
~~~
class Queue {
private data = [];
push(item) {
return this.data.push(item)
}
pop() {
return this.data.shift()
}
}
const queue = new Queue()
queue.push(1)
queue.push('str')
console.log(queue.pop().toFixed())
console.log(queue.pop().toFixed())
// 在上述代码中存在一个问题,它允许你向队列中添加任何类型的数据,当然,当数据被弹出
// 队列时,也可以是任意类型。在上面的示例中,看起来人们可以向队列中添加string 类型的数据
// 但是那么在使用的过程中,就会出现我们无法捕捉到的错误,
class Queue {
private data = [];
push(item: T) {
return this.data.push(item)
}
pop(): T {
return this.data.shift()
}
}
const queue = new Queue()
~~~
';