0Pricing
TypeScript Academy · 강의

satisfies가 존재하는 이유

satisfies가 채워 주는 주석과 추론 사이의 간극을 알아봅니다.

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

서로 충돌하는 두 목표

config를 선언할 때는 일반적으로 두 가지를 원합니다. 알려진 형태에 대한 검증과 리터럴 값에 대한 정확한 추론입니다. 이 목표는 서로 충돌하는 경우가 많습니다.

type Color = "red" | "green" | "blue";
// We want both: check the values AND remember exactly which ones.

타입 주석은 리터럴 좁히기를 잃게 함

타입 주석을 추가하면 객체는 검증되지만 값은 확장됩니다. 컴파일러는 작성한 exact 리터럴을 잊습니다.

type Config = { color: string; retries: number };
const cfg: Config = { color: "red", retries: 3 };
// cfg.color is string, not "red" anymore.
console.log(cfg.color.toUpperCase());

확장이 문제가 되는 이유

color가 string으로 확장되면 다른 타입의 인덱스로 접근하는 것처럼 특정 리터럴이 필요한 곳에서 사용할 수 없게 됩니다.

const cfg = { color: "red" } as { color: string };
// const exact: "red" = cfg.color; // Error: string not assignable to "red"
console.log(cfg.color);

타입 주석이 없으면 검증을 잃음

타입 주석을 제거하면 정확한 추론은 유지되지만 안전망이 사라집니다. 오타와 잘못된 형태를 알아채지 못하게 됩니다.

const cfg = { color: "rad", retries: 3 };
// No error on the typo "rad" because nothing validates it.
console.log(cfg.color);

검증의 공백

검사가 없으면 철자가 틀린 색상처럼 잘못된 값이 프로그램을 조용히 흘러가며, 실수가 발생한 곳에서 멀리 떨어진 지점에서 문제를 일으킬 수 있습니다.

const palette = { primary: "blu" }; // typo, no error
console.log(palette.primary); // "blu"

satisfies 연산자 도입

satisfies 연산자는 표현식을 타입에 맞춰 검증하면서도 정확하게 추론된 타입을 보존합니다. 두 장점을 모두 얻을 수 있습니다.

type Config = { color: string; retries: number };
const cfg = { color: "red", retries: 3 } satisfies Config;
console.log(cfg.color); // type is "red", value validated

satisfies는 리터럴을 유지함

satisfies를 사용한 후에도 cfg.color는 넓은 string이 아니라 여전히 리터럴 "red"입니다. 추론이 보존됩니다.

type Config = { color: string };
const cfg = { color: "red" } satisfies Config;
const exact: "red" = cfg.color; // OK
console.log(exact);

satisfies도 여전히 검증함

객체가 타입과 일치하지 않으면 주석을 사용했을 때와 마찬가지로 satisfies가 오류를 보고합니다.

type Config = { retries: number };
// const bad = { retries: "three" } satisfies Config; // Error
const good = { retries: 3 } satisfies Config;
console.log(good.retries);

동기를 부여하는 예제

키는 알려진 경로여야 하고 값은 처리기 이름인 경로 맵을 생각해 보겠습니다. 키에 대한 자동 완성과 검증된 값을 모두 원하며, satisfies가 이를 제공합니다.

type Routes = Record<string, { method: "GET" | "POST" }>;
const routes = {
  home: { method: "GET" },
  submit: { method: "POST" }
} satisfies Routes;
console.log(routes.home.method); // "GET" literal

세 가지 접근 방식 비교

타입 주석: 검증하지만 확장합니다. 타입 주석 없음: 정확하지만 검증하지 않습니다. satisfies: 검증하면서 정확성을 유지합니다. config에는 세 번째 방식이 가장 좋습니다.

type C = { color: string };
const a: C = { color: "red" };          // widened
const b = { color: "red" };             // unvalidated
const c = { color: "red" } satisfies C; // validated + precise
console.log(a.color, b.color, c.color);

satisfies를 사용할 때

타입에 맞아야 하는 상수 값을 정의하면서 나중에 그 정확한 내용을 사용하려는 경우에는 언제든 satisfies를 사용하십시오.

type Sizes = Record<string, number>;
const sizes = { sm: 8, md: 16, lg: 24 } satisfies Sizes;
// keys "sm" | "md" | "lg" stay known for autocomplete
console.log(sizes.md);

빠른 확인: satisfies가 필요한 이유

satisfies가 존재하는 이유를 얼마나 이해했는지 확인해 보십시오.

복습: satisfies가 존재하는 이유

타입 주석은 검증하지만 확장하고, 타입 주석이 없으면 보존하지만 검증하지 않으며, satisfies는 검증과 정확한 추론을 모두 제공하므로 config 객체에 이상적이라는 것을 배웠습니다.

type C = { color: string };
const c = { color: "blue" } satisfies C;
const exact: "blue" = c.color;
console.log(exact);

자주 묻는 질문

“satisfies가 존재하는 이유” 강의는 무료인가요?

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

“satisfies가 존재하는 이유”에서 뭘 배우나요?

satisfies가 채워 주는 주석과 추론 사이의 간극을 알아봅니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

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

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

“satisfies가 존재하는 이유” 강의는 얼마나 걸리나요?

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

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

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

이 강의의 모든 강의

  1. satisfies가 존재하는 이유
  2. satisfies와 타입 주석 비교
  3. satisfies와 as 단언 비교
  4. 실용적인 satisfies 패턴
← TypeScript Academy(으)로 돌아가기