软件工程的主要目的是构建不仅仅明确和一致的API，还要让你的代码具有很强的可重用性：

比如我们可以通过函数来封装一些API，通过传入不同的函数参数，让函数帮助我们完成不同的操作；

但是对于参数的类型是否也可以参数化呢？

什么是类型的参数化？

我们来提一个需求：封装一个函数，传入一个参数，并且返回这个参数；

如果我们是TypeScript的思维方式，要考虑这个参数和返回值的类型需要一致：

// 传入number类型, 返回number类型
function foo(arg: number): number {
  return arg
}

上面的代码虽然实现了，但是不适用于其他类型，比如string、 boolean、 Person等其他类型：

为了适用于其他类型, 我们可以定义为any类型

// 传入number类型, 返回number类型
function foo(arg: any): any {
  return arg
}

虽然any是可以的，但是定义为any的时候，我们其实已经丢失了类型信息：

比如我们传入的是一个number，那么返回的也是是any类型, 我们并不是希望它返回number类型，我们希望返回number类型；

我们想要做到在函数中可以捕获到参数的类型是number，并且同时使用它来作为返回值的类型；

我们需要在这里使用一种特性的变量 - 类型变量（ type variable），它作用于类型，而不是值：

我们可以将它看做额外的一个参数;

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

function foo<Type>(arg: Type): Type {
  return arg
}

这里我们可以使用两种方式来调用它：

• 方式一：通过 <类型> 的方式将类型传递给函数；

foo<number>(123) // 传入number类型
foo<{name: string}>({ name: "chenyq" }) // 传入有name属性的对象类型
foo<number[]>([10, 20]) // 传入number类型的数组

• 方式二：通过类型推导，自动推导出我们传入变量的类型：

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

foo(50)
foo("aaa")
foo({ name: "kaisa" })

当然我们也可以传入多个类型：

function foo<T, E>(arg1: T, arg2: E) {
  console.log(arg1, arg2)
}

foo<number, string>(123, "abc")

平时在开发中我们可能会看到一些常用的名称：

T： Type的缩写，类型

K、 V： key和value的缩写，键值对

E： Element的缩写，元素

O： Object的缩写，对象

🎲泛型接口的使用

在定义接口的时候我们也可以使用泛型：

// 定义泛型接口
interface IPerson<T1, T2> {
  name: T1
  age: T2
}

const p: IPerson<string, number> = {
  name: "chenyq",
  age: 18
}

泛型接口是没有类型推导的, 但是可以有默认值类型的

// 泛型接口定义默认类型
interface IPerson<T1 = string, T2 = number> {
  name: T1
  age: T2
}

const p: IPerson = {
  name: "chenyq",
  age: 123
}

🎲泛型类的使用

我们也可以编写一个泛型类

class Point<T> {
  x: T
  y: T
  z: T

  constructor(x: T, y: T, z: T) {
    this.x = x
    this.y = y
    this.z = z
  }
}

// 泛型类是可以自动推导类型的
const p1 = new Point("1.22", "3.56", "7.32")
// 也可以自己指定类型, 有下面两种方式
const p2 = new Point<number>(10, 20, 30)
const p3: Point<string> = new Point("1.22", "3.56", "7.32")

🎲泛型的类型约束

有时候我们希望传入的类型有某些共性，但是这些共性可能不是在同一种类型中：

比如string和array都是有length的，或者某些对象也是会有length属性的, 但是此时使用泛型, 编译阶段是会报错的, 因为不能保证泛型的所有类型都是有length属性的；

那么只要是拥有length的属性都可以作为我们的参数类型，而没有length属性的不允许作为参数, 那么应该如何操作呢？

我们可以使用接口定义一个对象类型, 对象类型要求必须有length属性, 在让泛型继承自这个接口

interface ILength {
  length: number
}

// 泛型继承自接口
function getLength<T extends ILength>(arg: T) {
  console.log(arg.length)
}

// 测试
// getLength(123) // 123没有length无法传入
getLength("abc") // 3
getLength([10, 20, 30]) // 3
getLength({ length: 10 }) // 10