TS-L4-081 / 컴파일 진단

any 누수 탐지 타입

고급

문제

IsAny<T>가 any에만 true, 나머지에는 false인 타입이 되게 정의하세요.

요구한 타입·변수 이름을 유지하세요. 각 타입 계약이 컴파일되는지를 확인합니다. 코드를 실행하는 문제는 아닙니다.

any 탐지

type Check = Expect<Equal<IsAny<any>, true>>;

unknown 제외

type Check = Expect<Equal<IsAny<unknown>, false>>;

never 제외

type Check = Expect<Equal<IsAny<never>, false>>;

힌트

any와의 교차 타입이 모든 값을 받아들이는 특성을 이용하세요.

해설·정답 보기

1 & any는 any이므로 0이 대입 가능합니다. unknown이나 never에는 같은 조건이 성립하지 않습니다.

type IsAny<T> = 0 extends (1 & T) ? true : false;

answer.ts타입 확인

풀이 코드

코드는 이 브라우저에 자동 저장돼요.

코드를 작성하고 채점하기를 눌러보세요.

학습용으로 제공된 조건을 확인해요. 알고리즘 사용 방식·설계 의도는 해설과 함께 비교해보세요.