TypeScript Academy · 강의

오류를 발생시키는 문제

예외가 타입 시스템에서 실패를 숨기는 이유를 알아봅니다.

오류를 발생시키는 문제은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 1번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

예외는 보이지 않습니다

함수가 throw를 실행해도 함수 시그니처에는 그 사실이 나타나지 않습니다. 타입 시스템은 실패할 수 있는 함수가 무엇인지 알 수 없으므로, 호출자에게 오류를 처리하라는 컴파일러의 안내가 제공되지 않습니다.

예외를 발생시키는 함수

이 함수는 항상 숫자를 반환하는 것처럼 보이지만 예외를 발생시킬 수 있습니다. 반환 타입인 number는 실패하는 경우를 완전히 숨깁니다.

function parsePort(s: string): number {
  const n = Number(s);
  if (Number.isNaN(n)) throw new Error("bad port");
  return n;
}
console.log(parsePort("8080")); // 8080

호출자는 예외 처리를 잊습니다

호출자가 호출을 try/catch로 감싸도록 강제하는 것은 아무것도 없습니다. 이 실수는 문제없이 컴파일되고 실행 시점에 충돌로만 드러납니다.

const port = parsePort("oops");
// No compile error; throws at runtime, possibly crashing the app.

예외 처리는 타입을 잃게 합니다

예외를 처리하더라도 잡힌 값의 타입은 unknown(또는 any)입니다. 오류의 형태가 추적되지 않으므로 어떻게 처리할지 추측해야 합니다.

try {
  parsePort("x");
} catch (e) {
  // e: unknown -> you must narrow it manually
}

오류를 값으로 다루기

대안은 실패를 예외로 발생시키는 대신 함수가 반환하는 일반적인 값으로 만드는 것입니다. 그러면 반환 타입에 두 결과가 모두 정확하게 나타납니다.

값을 반환하는 예시

예외를 발생시키는 대신 성공 또는 실패를 설명하는 태그가 붙은 객체를 반환하십시오. 호출자는 값을 사용하기 전에 그 객체를 검사해야 합니다.

type ParseResult =
  | { ok: true; value: number }
  | { ok: false; error: string };

이제 타입이 사실을 나타냅니다

ParseResult를 반환하는 함수는 실패할 수도 있음을 명시합니다. 그러면 컴파일러가 호출자에게 실패 분기를 처리하도록 요구합니다.

function parsePort(s: string): ParseResult {
  const n = Number(s);
  return Number.isNaN(n)
    ? { ok: false, error: "bad port" }
    : { ok: true, value: n };
}

처리를 강제하기

값이 어느 분기든 될 수 있으므로 먼저 ok를 확인하지 않고는 value를 읽을 수 없습니다. 컴파일러는 확인이 끝난 뒤에만 타입을 좁힙니다.

const r = parsePort("oops");
if (r.ok) console.log(r.value);
else console.log("failed:", r.error);

예외가 필요한 경우도 있습니다

정말 예상할 수 없고 복구할 수 없는 실패(프로그래머 오류, 메모리 부족)는 여전히 예외를 발생시켜도 됩니다. 오류를 값으로 다루는 방식은 구문 분석이나 유효성 검사처럼 예상 가능한 실패에서 특히 효과적입니다.

암묵적인 방식보다 명시적인 방식

오류를 반환하면 실패 경로가 타입에 명시되고 호출 위치에서 보이며, 숨겨진 throw와 달리 실수로 무시할 수 없습니다.

결과 타입과 선택지 타입으로

이 태그가 붙은 성공 또는 실패 형태는 재사용 가능한 결과 타입으로 일반화되고, 값이 있음과 없음은 선택지 타입으로 일반화됩니다. 두 내용은 다음에서 다룹니다.

간단 확인

이 레슨을 간단히 확인해 보겠습니다.

복습

발생한 오류는 타입에 보이지 않습니다. 시그니처가 실패를 숨기므로 호출자는 예외 처리를 잊습니다. 실패를 명시적인 값(성공 또는 오류를 나타내는 태그가 붙은 객체)으로 반환하면 실패 경로가 타입에 드러나고 무시할 수 없게 되며, 결과 타입과 선택지 타입으로 이어집니다.

자주 묻는 질문

“오류를 발생시키는 문제” 강의는 무료인가요?

네 — “오류를 발생시키는 문제” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“오류를 발생시키는 문제”에서 뭘 배우나요?

예외가 타입 시스템에서 실패를 숨기는 이유를 알아봅니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 1번째 강의입니다.

“오류를 발생시키는 문제” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← TypeScript Academy(으)로 돌아가기