Τι κάνει ο τελεστής `satisfies`;

Question

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`. ## Ένα άλλο κλασικό: ένας πληκτρολογημένος lookup του οποίου τα κλειδιά θέλετε να είναι ακόμα ακριβή ```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`. Είναι ιδανικό για αντικείμενα ρυθμίσεων, χάρτες διαδρομών, παλέτες θεμάτων και σταθερά lookups όπου θέλετε και ορθότητα *και* ακριβή συμπερασμάτων.

Το πρόβλημα που λύνει

Ένα άλλο κλασικό: ένας πληκτρολογημένος lookup του οποίου τα κλειδιά θέλετε να είναι ακόμα ακριβή

satisfies vs as vs σχολιασμός

Γιατί σημαίνει

`satisfies` vs `as` vs σχολιασμός