泛型

泛型

有时书写函数的时候，会丢失一些类型信息，多个位置的类型应该保持一致或者有关联的信息。
泛型是指，附属于函数、类、接口、类型别名之上的类型

在函数中使用泛型

// 随便取一个名字，一般用 T，表示类型
function take<T>(arr: T[], n: number) :T[]{
 if(n >= arr.length) {
  return arr
 }
 const newArr: T[] = []
 for(let i = 0; i < n; i++) {
  newArr.push(arr[i])
 }
}
const newArr = take<number>([2, 3, 4, 5], 2) // 如果不指定类型，那么会根据参数的类型来决定，前提是参数使用了泛型
new.forEach(item => {})

这样我们就可以动态的指定一些类型，以便于在函数内部用正确的类型。

在类、接口、类型别名中使用

可以直接在类、接口、类型别名后面加上泛型即可

// 类型别名中使用泛型
type callback<T> = (n: T, i: T) => boolean
function filter<T>(arr: T[], callback: callback<T>): T[] {
	const newArr: T[] = []
	arr.forEach((n, i) => {
		if(callback(n, i)) {
			newArr.push(n);
		}
	})
}
// 接口中使用泛型
interface callback<T> {
	(n: T, i: number): boolean
}
// 类中使用的泛型
class ArrayHelper<T> {
	constructor(){private arr: T[]}
	take (n:number): T[] {}
}

泛型约束

用于限制泛型的取值

interface hasNameProperty {
	name: string
}
function nameToUpperCase<T extends hasNameProperty>(obj: T) :T {
	obj.name = obj.name.split(" ").map(s => s[0].toUpperCase() + s.substr(1)).join(" ")
	return obj
}