讲给初学者的typescript泛型

Posted 2021-03-30 nashaofu在路上

什么是泛型呢？

泛型，简单来说就是类型变量。在ts中存在类型，类型如number、string、boolean等，泛型就是使用一个类型变量来表示一种类型，类型值通常是在使用的时候才会设置。泛型的使用场景非常多，可以在函数、类甚至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