타입스크립트 제네릭 매개변수 타입 추론 흐름

Question

안녕하세요. 타입스크립트 관련해서 이해가 안되는 부분을 앓다가 질문을 올려봅니다.타입스크립트를 3년간 단순히 쓰다 최근 타입 추론 관련해서 공부를 다시하고 있는데, 제가 타입 추론의 흐름을 잘 못이해 하고 있는 것 같아서 질문드립니다.예제는 다음과 같습니다.함수 제네릭에 대한 것인데, 매개변수에 단순 제네릭이 아니라 추가적인 제네릭이 더 붙었을 때가 이해가 되지 않습니다.WithPrefix 를 봤을 때는 전달 되는 제네릭T는 자연스럽게 매개변수의 리터럴 타입이 들어간다고 생각합니다.하지만 두번째 예제는 작동하지 않습니다.보시면 AC에서의 T는 tmp의 리터럴 타입인 { he: number; hello: number } 가 되고 이는 T extends Record에 충족됩니다.실제로 매개변수의 aa: AC 를 aa: T 로 바꾸면 정상적으로 작동합니다.여기서 1번 예제에서 도출된 매개변수에 존재하는 제네릭은 다른 제네릭으로 전달되어도 매개변수의 타입으로 인정된다. 가 틀린 명제가 됩니다.전달이 되지 않고 순수하게 바로 제네릭이 존재한다면 이는 매개변수의 리터럴이 되는 것이 확실하지만, 제네릭이 전달되었을 때에 대해서 혼란스럽습니다.1번과 2번을 모두 충족하는 논리를 찾을 수 없습니다.제가 오개념을 같고 있는 건지... 대체 왜 안되는지 납득할 수 없습니다.고수님들 부디 도와주셨으면 좋겠습니다 ㅠㅠtype WithPrefix = T extends string ? `/${T}` : never; function aa(aa: WithPrefix) { } aa('w') // failed aa('/w') // ok // 매개변수가 제네릭 혹은 제네릭으로 전달되는 제네릭이라도 매개변수의 타입으로 인정되는듯 type AC = T extends Record ? Omit : never function aca(aa: AC):AC { return aa } const tmp={ he: 1, hello: 2 } const acc =aca(tmp) // why never?? // 왜 이건 인정이 안되는가? console.log(acc.he) // why failed?

타입스크립트 제네릭 매개변수 타입 추론 흐름

0개의 답변

Q&A 목록