რა აკეთებს satisfies ოპერატორი?

Question

IT Interview Practice · Accepted Answer

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

პრობლემა, რომელსაც ის ხსნის

კიდევ ერთი კლასიკა: ტიპირებული ძებნა, რომლის გასაღებებთან თქვენ მაინც გსურთ ზუსტი ღირებულება

satisfies vs as vs ანოტაცია

რატომ ეს მნიშვნელოვანია

დაკავშირებული კითხვები

satisfies vs `as` vs ანოტაცია