인프런 커뮤니티 질문&답변

// 1번 코드
 
 function test<T>(a: T) {
    type R<T> = T extends string ? T : T;
    const b: R<T> = a; // Type 'T' is not assignable to type 'R<T>'.
  }

[책 내용중...]

여기서 문제는 R<T> 타입이 T가 될거라고 생각하는 것

타입스크립트는 제네릭이 들어 있는 컨디셔널 타입을 판단할 때 값의 판단을 뒤로 미룬다.

즉, 변수 b에 매개변수 a를 대입할 때까지도 타입스크립트는 R<T>가 T라는 것을 알지 못한다.

그래서 T를 R<T>에 대입할 수 없다는 에러가 발생하는 것이다.따라서 이떄도 타입스크립트가 판단을 뒤로 미루지 못하도록 배열로 제네릭을 감싸면 된다

//2번 코드

  function test<T extends [T] extends [string] ? string : never>(a: T) {
    type R<T> = [T] extends [string] ? T : T;
    const b: R<T> = a;
  }

질문)

1번 코드의 경우, 판단을 미뤄서 에러가 발생한다는 것은 이해가 되었습니다.

그래서 해결책으로 나온게 2번 코드인데,

2번 처럼 작성하면 함수 몸체 {} 의 코드가 순서대로 실행된다는거고,

1번 코드의 경우는 type R<T> = T extends string ? T:T;

이 부분은 마지막에 실행되고 const b: R<T> =a; 이게 먼저 실행된다는걸까요??