Co robi operator `satisfies`?

Question

IT Interview Practice · Accepted Answer

`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. ## Dlaczego to ważne Problem, który rozwiązuje: ```ts type Config = Record; // annotation widens — you lose the specific keys/values const a: Config = { host: "localhost", port: 3000 }; a.port.toFixed(2); // ❌ port is string | number, .toFixed may not exist // satisfies — validates AND keeps the narrow inferred type const b = { host: "localhost", port: 3000 } satisfies Config; b.port.toFixed(2); // ✅ port is known to be number b.host.toUpperCase(); // ✅ host is known to be string // b.hsot; // ✅ compile error — only real keys exist ``` 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`. ## Kolejny klasyk: wpisane wyszukiwanie, którego klucze nadal chcesz mieć dokładne ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies vs `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). ## Dlaczego to ważne `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.

Dlaczego to ważne

Kolejny klasyk: wpisane wyszukiwanie, którego klucze nadal chcesz mieć dokładne

satisfies vs as vs adnotacja

Dlaczego to ważne

Powiązane pytania

satisfies vs `as` vs adnotacja