Skip to main content

invariant

주어진 조건이 참인지 확인하고, 거짓일 경우 에러를 발생시키는 런타임 타입 체크 함수입니다.

이 함수는 TypeScript의 타입 좁히기(type narrowing)를 지원합니다.


🔗 실제 구현 코드 확인

Interface​

typescript
function invariant(value: boolean, message: string): asserts value;

function invariant<T>(
  value: T | null | undefined,
  message: string
): asserts value is T;

Usage​

typescript
invariant(user.isAdmin, "관리자 권한이 필요합니다");
// 이후 코드에서 user.isAdmin는 true가 보장됩니다.
typescript
invariant(user, "사용자가 존재하지 않습니다");
// 이후 코드에서 user는 User 타입이 보장됩니다.