📚 Reference

• 공식 문서 1

📜 Chapter

Assertion Functions

• Assertion Functions
• 단언 함수
• 컴파일러에게 "이 조건이 통과했다면, 이후의 타입은 이것으로 간주해라"라고 확신을 주는 역할을 한다.

asserts condition - 기본 원리

• 일반적인 함수는 값을 반환하지만, asserts가 붙은 함수는 특정 조건이 참임을 보장하며, 만약 거짓이면 예외를 던져 프로그램 실행을 중단시킨다.

function assert(condition: any, msg?: string): asserts condition {
  if (!condition) {
    throw new AssertionError(msg);
  }
}

• 여기서 : asserts condition은 "이 함수가 정상적으로 리턴된다면, 인자로 넘어온 condition은 무조건 true다"라는 뜻이다.

왜 그냥 if문보다 좋을까? (타입 좁히기)

• 컴파일러는 assert 함수 이후의 코드에서 변수의 타입을 자동으로 추론(Type Narrowing)해준다.

function processInput(input: string | null) {
  // 선행 조건 계약: input은 절대 null일 수 없음
  assert(input !== null, "입력값이 null입니다.");

  // 여기서부터 TypeScript는 input이 'string'임을 100% 확신합니다.
  // 별도의 null 체크 없이 메서드를 호출할 수 있습니다.
  console.log(input.toUpperCase()); 
}