satisfies (TS 4.9+) sprawdza, że wartość jest zgodna z typem bez rozszerzania wnioskowanego typu wartości. Waliduje względem ograniczenia, zachowując precyzyjny, dosłowny typ do późniejszego użytku — połączenie adnotacji i wnioskowania.
Problem, który rozwiązuje:
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Z adnotacją b byłoby wpisane jako szeroki Config. Z satisfies, b zachowuje swoją dokładną postać { host: string; port: number } i jest sprawdzane, czy jest ważnym Config.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs adnotacja: T — sprawdza, ale rozszerza do T (traci szczegóły).as T — wymusza typ, bez rzeczywistego sprawdzenia (niebezpieczne).satisfies T — sprawdza względem T, zachowuje wąski wnioskowany typ (bezpieczne + precyzyjne).satisfies pozwala zweryfikować, że obiekt pasuje do interfejsu/ograniczenia, jednocześnie uzyskując dokładne typy dosłowne do autouzupełniania, zawężania i keyof.
Jest idealny dla obiektów konfiguracyjnych, map tras, palet tematycznych i stałych wyszukiwań, gdzie chcesz zarówno poprawności i precyzyjnego wnioskowania.