vlambda博客
学习文章列表

讲给初学者的typescript泛型

什么是泛型呢?

泛型,简单来说就是类型变量。在ts中存在类型,类型如numberstringboolean等,泛型就是使用一个类型变量来表示一种类型,类型值通常是在使用的时候才会设置。泛型的使用场景非常多,可以在函数、类甚至interface中使用。

如:我们编写一个类似lodash.find的方法

function find<T>(items: T[], callback: (item: T, index: number) => boolean): T | undefined { for (let i = 0, length = items.length; i < length; i++) { if (callback(items[i], i)) { return items[i] } }}
const items = [{ a: 1 }, { a: 2 }, { a: 4 }, null ]const result = find(items, (item, index) => item.a === 2)

首先<T>是给函数声明了一个类型变量T,后面要求items是一个T类型的数组,然后后面的callback函数的参数item是一个T类型的变量,index为数字,然后callback返回boolean类型结果,整个find函数返回T类型结果或者undefined

如上,我们就能准确定义函数的每一个参数了,参数与参数,参数与返回结果之间就形成了约束关系

在使用的时候,由于定义了数组的元素必须是同一种类型,所以编译时就会提示错误

如果没有使用泛型,我们就只能使用any定义每一个参数了,如下

function find(items: any[], callback: (item: any, index: number) => boolean): any { for (let i = 0, length = items.length; i < length; i++) { if (callback(items[i], i)) { return items[i] } }}
const items = [{ a: 1 }, { a: 2 }, { a: 4 }, null ]const result = find(items, (item, index) => item.a === 2)

以上代码,ts编译是可以通过的,但很明显是非常不严谨的,对于items的定义就可以很宽泛了,然而使用泛型的时候就限制了只能是某一种类型的数组,这样就可以把可能出现的错误在开发时就找出来

简单总结心得,有不正确的地方还请指正。

欢迎关注我:https://github.com/nashaofu