深入理解 TypeScript：二代教程 - 泛型基础应用详解

2.1 泛型函数示例

在定义一个函数时，不决定这些参数的类型，而是让调用者以参数的形式告知函数参数应该是什么类型。

function sum<T>(num: T): T {
  return num
}

我们可以把Type看做额外的一个参数，把类型参数化。

它可以做到, 在定义这个函数时, 不决定这些参数的类型, 而是让调用者以参数的形式告知, 这里的函数参数应该是什么类型。

2.2 传入泛型的方式

函数定义时，<>的位置就是之后泛型的传入位置，比如上面函数的<T>。

传入泛型时，只要把具体的泛型传递给<T>即可。

这样函数定义时的，函数参数，和函数返回值的T类型，都会变成传入的具体参数类型。

1）通过 <类型> 的方式将泛型传递给函数

sum<number>(100) 						// 声明sum函数的泛型为number类型，并传递number类型的参数
sum<{name: string}>({ name: "zs" }) 	// 声明sum函数的泛型为{name: string}类型
sum<number[]>([15, 25]) 				// 声明sum函数的泛型为number类型的数组

2）通过类型推导，自动推到出我们传入变量的类型

在这里会推导出它们是 字面量类型的，因为字面量类型对于我们的函数也是适用的

sum(100)
sum("test")