18、泛型约束

1、用法

// 泛型约束控制类型的范围 使用extends+类型
// 例1：
function add<T extends number>(a: T, b: T) { // 约束为number类型
  return a + b
}
add(2, 3)

// 例2：
interface Len {
  length: number
}
function fn<T extends Len>(a: T) {
  return a.length
}

console.log(fn('123')) // 3
console.log(fn(['123'])) // 1
// fn(123) // 报错，数字没有length

2、约束对象的key

// *keyof：把对象的key推断为一个联合类型
let obb6 = {
  name: 'huangzi',
  sex: '女',
  age: 25
}
type Keyobj = typeof obb6 // type Keyobj = {name: string;sex: string;}
type Key = keyof typeof obb6 // type Key = "name" | "sex"
function obFn<T extends object, K extends keyof T>(obb6: T, key: K) {
  return obb6[key] // 这样取值是一定安全的，不会出现前面报错的情况
}
obFn(obb6, 'name')

3、keyof高级用法

interface Data1 {
  name: string,
  age: number,
  id: string
}
// 做一个循环操作 for(let key in data)
type Option<T extends object> = {
  readonly [Key in keyof T]?: T[Key]
}
type D2 = Option<Data1>
/* 推断：
type D2 = {
    readonly name?: string | undefined;
    readonly age?: number | undefined;
    readonly id?: string | undefined;
} */