satisfies 연산자는 무엇을 하나요?

Question

Accepted Answer

`satisfies`(TS 4.9+)는 값의 추론된 타입을 **넓히지 않고** 값이 어떤 타입에 **부합하는지** 검사합니다. 제약에 대해 검증하면서도 이후 사용을 위해 정밀한 리터럴 타입을 유지합니다 — 어노테이션과 추론의 장점을 모두 취합니다. ## 해결하는 문제 ```ts type Config = Record; // 어노테이션은 넓힘 — 구체적인 키/값을 잃음 const a: Config = { host: "localhost", port: 3000 }; a.port.toFixed(2); // ❌ port는 string | number, .toFixed가 없을 수 있음 // satisfies — 검증하면서 좁은 추론 타입을 유지 const b = { host: "localhost", port: 3000 } satisfies Config; b.port.toFixed(2); // ✅ port가 number임을 앎 b.host.toUpperCase(); // ✅ host가 string임을 앎 // b.hsot; // ✅ 컴파일 오류 — 실제 키만 존재 ``` 어노테이션을 쓰면 `b`는 넓은 `Config`로 타이핑됩니다. `satisfies`를 쓰면 `b`는 정확한 shape `{ host: string; port: number }`를 유지하면서도 유효한 `Config`인지 검사됩니다. ## 또 다른 고전: 키를 정확히 유지하고 싶은 타입 지정 룩업 ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — 정확한 키 보존 ``` ## satisfies vs `as` vs 어노테이션 - **`: T`** — 검사하지만 `T`로 넓힘(구체성 상실). - **`as T`** — 타입을 강제, *실제* 검사 없음(안전하지 않음). - **`satisfies T`** — `T`에 대해 검사하고 좁은 추론 타입을 유지(안전 + 정밀). ## 왜 중요한가 `satisfies`는 객체가 interface/제약과 일치하는지 검증하면서도 자동완성, narrowing, `keyof`를 위한 정확한 리터럴 타입을 얻게 해줍니다. 정확성 *과* 정밀한 추론을 동시에 원하는 config 객체, 라우트 맵, 테마 팔레트, 상수 룩업에 이상적입니다.

해결하는 문제

또 다른 고전: 키를 정확히 유지하고 싶은 타입 지정 룩업

satisfies vs as vs 어노테이션

왜 중요한가

satisfies vs `as` vs 어노테이션