satisfies (TS 4.9+) bir değerin bir türe uygun olduğunu kontrol ederken değerin çıkarılan türünü genişletmeden kontrol eder. Daha sonraki kullanım için kesin, hazır türü korurken bir kısıtlamaya karşı doğrulama yapar — ek açıklama ve çıkarımın en iyi kısımları.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Ek açıklamayla b, geniş Config olarak yazılabilir. satisfies ile b tam şeklini { host: string; port: number } ve geçerli bir Config olarak koruyor.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs ek açıklama: T — kontrol eder, ama T'ye genişletir (özellikleri kaybeder).as T — türü zorlar, gerçek kontrol yok (güvenli değil).satisfies T — T'ye karşı kontrol eder, dar çıkarılan türü korur (güvenli + kesin).satisfies bir nesnenin bir arabirim/kısıtlamaya uyduğunu doğrulayabilmenizi sağlar ve aynı zamanda otomatik tamamlama, daraltma ve keyof için tam hazır türler elde edersiniz.
Bu, yapılandırma nesneleri, rota haritaları, tema paleteleri ve hem doğruluk hem de kesin çıkarımı istediğiniz sabit aramaları için idealdir.