泛型

泛型可以在保证类型安全的前提下，让函数等多个类型一起工作，从而实现复用，常用于：函数、接口、class 中。

泛型函数

// 定义
function foo<T>(value: T): T {
  return value
}

const foo = <T>(value: T): T => {
  return value
}

// 使用泛型函数
const str = foo < string > 'a' // const str: string
const num = foo < number > 1 // const num: number
const bool = foo < boolean > false // const bool: boolean

const str_1 = foo('a') // 自动推断为 'a'
let str_2 = foo('a') // 自动推断为 string

// 更复杂的定义
function swap<T, U>(tuple: [T, U]): [U, T] {
  return [tuple[1], tuple[0]]
}

泛型约束

默认情况下，泛型函数的类型变量可以代表多个类型，这会导致无法访问任何类型属性，比如：当参数为数组类型时，无法获取 length 属性。

// 方式1：指定更加具体的类型来获取属性
function foo<T>(value: T[]): T[] {
  console.log(value.length)
  return value
}

// 方式2：通过 extends 继承来获取属性
interface ILength {
  length: number
}
function foo<T extends ILength>(value: T): T {
  console.log(value.length)
  return value
}

多个泛型变量

function getProp<T, K extends keyof T>(obj: T, key: K) {
  return obj[key]
}

泛型接口

interface IFoo<T> {
  id: T
}

泛型类

class Foo<T> {
  id: T

  constructor(id: T) {
    this.id = id
  }
}