Type Challenges 645-Diff

[kscory]

답안을 작성해주세요.

[bananana0118]

type Diff<F, L> = Omit<F & L , keyof (F|L)>

| 객체의 union 은 F와 L 둘다에 있다는게 확실시 되는 것만 들어감
ex)
F {name : string, age: number}
L{name:string, email:string}
일경우 F|L은 name:string

F&L은 각각의 타입을 합침 공통되는 타입은 합쳐짐 즉
{name:string, age:number, email:string}

[wogha95]

• 왜 이건 안되는지... SOS

type Diff<O, O1> = {
  [key in keyof O | keyof O1]: key extends keyof O
    ? key extends keyof O1
      ? never
      : O[key]
    : key extends keyof O1
      ? O1[key]
      : never;
}

[kscory]

type Diff<O, O1> = {
    [P in keyof O | keyof O1 as P extends keyof O & keyof O1 ? never : P]: P extends keyof O ? O[P]
        : P extends keyof O1 ? O1[P]
        : never
}

[kscory]

type Diff<F, L> = Omit<F & L , keyof (F|L)>

| 객체의 union 은 F와 L 둘다에 있다는게 확실시 되는 것만 들어감 ex) F {name : string, age: number} L{name:string, email:string} 일경우 F|L은 name:string

F&L은 각각의 타입을 합침 공통되는 타입은 합쳐짐 즉 {name:string, age:number, email:string}

허무....

[bananana0118]

• 왜 이건 안되는지... SOS

type Diff<O, O1> = {
  [key in keyof O | keyof O1]: key extends keyof O
    ? key extends keyof O1
      ? never
      : O[key]
    : key extends keyof O1
      ? O1[key]
      : never;
}

제생각엔 key in keyof O | keyof O1 이거 할 시에 공통되는 공통되는 KEYㄱ값만 들어가서 그런것 같긴한데 ..

• 경석님처럼 조건문을 key 값에다가 써줘야 하는거 아닌가 싶어요

근데 지피티가 뻥치는 걸 수도 있음ㅋㅎㅎ

ㅎ[

[bananana0118]

 type Diff<O, O1> = {
  [key in keyof (O & O1) as key extends keyof (O | O1) ? never : key]: key extends keyof O
    ? O[key]
    : key extends keyof O1 ?
    O1[key]
    :never;
}

이것도 답이 되네요

[bananana0118]

공통 필드를 갖는 유니언 (Unions with Common Fields)
https://typescript-kr.github.io/pages/unions-and-intersections.html

참고하세용