2023-09-24T22:38:53.787Z

2023-09-24T22:38:13.158Z

1

넵 문제의 의도는 이해했습니다🙂

제가 의문스러운 건

<T extends  object | [...any]> ...

const result1 = inferItemLiteral([1,2,3]) // { output: number[] }
const result2 = inferItemLiteral({aaa:'abcd'}); // { output: { aaa: string } }

{ output: [1,2,3] }으로 기대했는데 { output: number[] }가 결과값으로 나온 게 왜 그런건지 궁금해서 질문을 드렸습니다🙂

강의 진도를 더 나가다보면 왜 그런지 이해가 될까요?

1

아하 질문하신 의도를 이제 알았습니다! 제가 생각나는 방법은 여러가지가 있는데

첫번째 방법

tuple로 추론하게 하고 싶은 거라면 가장 간단한 방법은 다음과 같이 할 수 있겠네요.

<T extends  object | [any, ...any]>

이렇게 하시면 원하는 의도대로 추론이 될 것입니다. 그런데 이 방법의 단점은

const result1 = inferItemLiteral([1,2,"hello"])

위와 같이 number 뿐만 아니라 string "hello" 이 들어올 수 있게 허용해준다는 것이 있을 것 같네요.

두번째 방법

<T extends  object | [...any]>
const result1 = inferItemLiteral([1,2,3] as [number, number, number])

type asserts 를 이용해서 array가 아니라 명시적으로 tuple 이라는 것을 알려줄 수 있는 방법도 있습니다.

세번째 방법

<T extends  object | [...any]>
const error2 = inferItemLiteral([1, 2] as const);

뒤에 as const 를 붙이게 되면 두번째 방법보다 더욱 쉽게 해결할 수 있겠네요

1

감사합니다 이해했습니다!