ts实现各种类型工具

2023年4月24日#ts134

AI 生成的摘要

1. 实现Partial：定义了一个类型Partial，它可以将另一个类型T的所有属性变为可选。 2. 实现Pick：定义了一个类型Pick，它可以从另一个类型T中提取指定属性。 3. 实现Extract：定义了一个类型Extract，它可以从类型T中提取满足条件的子类型。 4. 实现Exclude：定义了一个类型Exclude，它可以从类型T中排除满足条件的子类型。 5. 实现Record：定义了一个类型Record，它可以将一组属性和对应的值组成一个新的类型。

1. 实现 Parital：

typeA={name:string,age:string}

type Parital<T>={
[p in keyof T]?:T[p]
}
//即 type C=Parital<A>

2. 实现 pick 提取部分类型

type example={name:string,age:number,address:string}
type Pick<T,U extends keyof T>={
  [P in U]=T[P]
}
const tiqu:Pick<example,"name"|"age">={}

3. 实现 Extract

type Extract<T,U>=T extends U? T: never

type A=string | number | boolean
type B=string | number

type C=Extract<A,B>
const result:C="214214"
const result2:C=444

4. 实现 Exclude，与 Extract 思路一样

type Exclude<T,U>=T extends U?never :T
type A=string | number | boolean
type B=string | number

type C=Exclude<A,B>
const result:C="214214"  //错误
const result2:C=true

5. 实现 Record

type Record<K extends string|number|symbol,V>={
[P in K]:V
}
type EX=Record<'name'|'age',string|number>
const res:EX={name:"张三"，age:999}