satisfies (TS 4.9+) ამოწმებს, რომ მნიშვნელობა შეესაბამება ტიპს გაფართოების გარეშე მნიშვნელობის გამოყვანილი ტიპი. ის ამოწმებს შეზღუდვის წინააღმდეგ ხოლო რჩება ზუსტი, ფაქტობრივი ტიპი შემდგომი გამოყენებისთვის — ანოტაციის და გამოცნობის საუკეთესო კომბინაცია.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
ანოტაციის შემთხვევაში, b ტიპირებული იქნებოდა როგორც ფართო Config. satisfies-ით, b შეინარჩუნებს თავის ზუსტ ფორმას { host: string; port: number } და ამოწმებულია, რომ ის სამართლიანი Config-ია.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs ანოტაცია: T — ამოწმებს, მაგრამ ფართოვდება T-ზე (დანაკარგი დეტალი).as T — აიძულებს ტიპს, რეალური ამოწმება არ ხდება (არ უსაფრთხო).satisfies T — ამოწმებს T-ის წინააღმდეგ, ინარჩუნებს ვიწრო გამოყვანილი ტიპი (უსაფრთხო + ზუსტი).satisfies აძლევთ საშუალებას დაამტკიცოთ, რომ ობიექტი შეესაბამება ინტერფეისს/შეზღუდვას ხოლო მაინც მიიღოთ ზუსტი ფაქტობრივი ტიპი autocomplete, narrowing და keyof-ისთვის.
ეს იდეალურია კონფიგურაციის ობიექტებისთვის, მარშრუტების რუკებისთვის, თემის პალიტრებისთვის და მუდმივი ძებნებისთვის, სადაც გსურთ მართებულობა და ზუსტი გამოცნობა.