Для чего используется оператор satisfies в TypeScript?

Что такое satisfies?

Оператор satisfies появился в TypeScript 4.9 и предназначен для проверки соответствия значения некоторому типу без изменения его выведенного типа. В отличие от аннотации типа (const x: MyType = ...), которая расширяет тип до указанного, satisfies сохраняет более точный тип, выведенный из значения.

Зачем это нужно?

Часто возникает ситуация, когда нужно убедиться, что объект соответствует определённой структуре (например, интерфейсу), но при этом сохранить конкретные литеральные типы для свойств. Без satisfies пришлось бы использовать аннотацию типа, что привело бы к потере точности. Например, если у вас есть конфигурация с цветами, вы хотите, чтобы TypeScript проверял, что все ключи существуют, но при этом сохранял точные строки для автодополнения.

Пример использования

type Colors = 'red' | 'green' | 'blue';

const palette = {
    primary: 'red',
    secondary: 'blue',
    accent: 'green'
} satisfies Record<string, Colors>;

// Тип palette остаётся { primary: string; secondary: string; accent: string }
// но проверка гарантирует, что все значения являются допустимыми цветами

// Без satisfies пришлось бы писать:
// const palette: Record<string, Colors> = { ... };
// что расширило бы тип до Record<string, Colors>, потеряв конкретные ключи

В этом примере satisfies проверяет, что все значения соответствуют типу Colors, но при этом тип переменной palette остаётся точным: { primary: string; secondary: string; accent: string }. Это позволяет использовать автодополнение и проверку ключей.

Когда применять?

Оператор satisfies полезен в ситуациях, когда вы хотите проверить соответствие структуре, но не хотите терять точность типов. Это особенно актуально при работе с конфигурациями, маппингами, словарями и другими объектами, где важны конкретные ключи и литеральные значения.

Вывод

Используйте satisfies, когда нужно проверить, что значение соответствует определённому типу, но при этом сохранить его более точный выведенный тип. Это улучшает типобезопасность и удобство разработки, особенно в больших проектах с сложными структурами данных.