TypeScript 4.9 버전에 추가된 satisfies 연산자.

“satisfies” 키워드: literal (값) 이나 변수를 안전하게 upcast 하는 기능을 수행

• “satisfies” 키워드는 안전한 type 제한도, object key-value 의 type 제한도 할 수 있다.
• satisfies 는 as 키워드와 같이 expression 에 사용이 가능하기 때문에 object key-value 의 type 을 제한하는 경우에도 사용이 가능
  • as 키워드와 달리 안전한 type 제한을 지원.

• “type 정의“ 방법은 안전한 type 제한을 할 수 있지만, object key-value 의 type 제한은 할 수 없고, 하기 위해서는 전체 object 의 type 을 정의해야 한다.
• as 키워드는 object key-value 의 type 제한은 할 수 있지만, 안전한 type 제한을 할 수 있다.
• satisfies 키워드는 2개 모두 만족

const palette = {
  red: [255, 0, 0],
  green: "#00ff00",
  blue: [0, 0, 255], // blue 오타
}

// const palette: {
//   red: number[];
//   green: string;
//   blue: number[];
// }

const palette = {
  red: [255, 0, 0],
  green: "#00ff00",
  blue: [0, 0, 255], // blue 오타
} satisfies Record<'red' | 'green' | 'blue', [number, number, number] | string>;

// 타입 결과
// const palette: {
//   red: [number, number, number];
//   green: string;
//   blue: [number, number, number];
// }

• palette의 타입은 타입 추론된 const 객체가 되면서 각각의 요소들은 Record 타입 선언한 것으로 다시 한 번 더 검사 → 개별적으로 적용

How to Use the TypeScript satisfies Operator

satisfies 연산자란 무엇인가?

• TypeScript satisfies연산자는 주어진 유형이 특정 조건이나 인터페이스를 충족하는지 확인.
• TypeScript에서 유형 안전성을 보장하는 새롭고 효과적인 방법
• satisfies모든 변수가 정의에 적합하고 특정 유형 또는 인터페이스의 필수 속성을 모두 갖고 있는지 확인
• 코드를 실행하기 전에 해당 Person유형의 모든 값을 확인하기 때문