kakasoo

배열의 첫 번째 값을 가리키는 타입 본문

프로그래밍/TypeScript

배열의 첫 번째 값을 가리키는 타입

카카수(kakasoo) 2023. 2. 7. 22:17
반응형

type First<T extends any[]> = T['length'] extends 0 ? never : T[0];


type A = First<[3, 2, 1]>; // 3
type B = First<[() => 123, { a: string }]>; // () => 123
type C = First<[]>; // never

 

어떤 배열 T에 대해 T의 length가 0일 경우에는 어떠한 값도 없어야 하기 때문에 never, 그 외의 경우에는 T의 0번째 값을 반환한다.

타입 치고는 배열을 다루기 때문인지 무척이나 간단한 형태를 띄고 있다.

반응형

'프로그래밍 > TypeScript' 카테고리의 다른 글

Omit type 정의하기 & Type level에서 as문 사용하기  (0) 2023.02.10
타입 레벨에서 포함 관계를 검사하는 Includes 타입 구현하기  (0) 2023.02.09
Exclude은 왜 T extends U ? never : T 인가?  (0) 2023.01.27
TypeScript type level에서의 in의 의미  (0) 2023.01.25
조건에 따라 다른 response type이 추론되게 하기  (0) 2023.01.24
'프로그래밍/TypeScript' Related Articles more