TypeScript 可以进行类型编程，这会极大提高 TypeScript 在复杂场景下的应用场景。

我们来看一下 TypeScript 中的泛型，这也是很多同学觉得 TypeScript 很难的最大原因。

首先我们看下面的代码，我们定一个 idientity0 函数，这个函数逻辑非常简单，就是直接返回参数，那么我们怎么确定返回值的类型呢？

因为输入值可以是任意属性，所以我们只能写出 identity0 这个函数，参数和返回值类型都是 any，但是明显不能满足我们的需求。我们需要返回值的类型和参数一致，所以我们在函数名之后使用 <> 定一个泛型 T，你可以理解这个 T 的意思就是给函数参数定义了一个类型变量，会在后面使用，相当于【type T = arg 的类型】，返回值使用 T 这个类型就完成了这个需求。

function identity0(arg: any): any {
    return arg
}
// 相当于type T = arg的类型
function identity(arg: T): T {
    return arg
}
identity('玩转vue 3全家桶') // 这个T就是string，所以返回值必须得是string
identity(1)

有了泛型之后，我们就有了把函数参数定义成类型的功能，我们就可以实现类似高阶函数的类型函数。下面的代码中我们使用 keyof 语法获得已知类型 VueCourse5 的属性列表，相当于 ‘name’|‘price’：

interface VueCourse5 {
    name:string,
    price:number
}
type CourseProps &