satisfies (TS 4.9+) tarkistaa, että arvo noudattaa tyyppiä ilman arvotyyppin päättelyä leventämättä. Se vahvistaa rajoitusta vastaan säilyttäen samalla tarkan, literaalin tyypin myöhempää käyttöä varten — sekä annotaation että päättelyyn perustuvan tyyppimäärityksen parhaat puolet.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Annotaatiolla b olisi tyypitetty laajaksi Config-tyypiksi. satisfies-operaattorilla b säilyttää tarkan muotonsa { host: string; port: number } ja tarkistetaan, että se on kelvollinen Config.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs annotaatio: T — tarkistaa, mutta levittää tyypiksi T (häviää yksityiskohdat).as T — pakottaa tyypin, ei todellista tarkistusta (epäturvallista).satisfies T — tarkistaa T:tä vastaan, säilyttää kapean päätellyn tyypin (turvallista + tarkkaa).satisfies antaa sinulle mahdollisuuden vahvistaa, että objekti vastaa rajapintaa tai rajoitusta ja samalla saada tarkat literaalin tyypit automaattiselle täydennykselle, kapeammalle tyypille ja keyof-operaattorille.
Se on ihanteellinen konfiguraatio-objekteille, reittikartoille, teemapaleteille ja vakio-hauille, joissa haluat sekä oikeellisuuden että tarkan päättelyn.