Τι είναι ένας user-defined type guard;

Question

Accepted Answer

Ένας **user-defined type guard** είναι μια συνάρτηση του οποίου ο τύπος επιστροφής είναι ένας **type predicate** (`x is T`). Όταν επιστρέφει `true`, ο compiler περιορίζει το όρισμα σε `T` στον κώδικα που καλεί — σας επιτρέπει να ενθυλακώσετε προσαρμοσμένα ελέγχους runtime.

```ts
interface Cat { meow(): void; }
interface Dog { bark(): void; }

// the magic is the return type `pet is Cat`, not just `boolean`
function isCat(pet: Cat | Dog): pet is Cat {
  return "meow" in pet;
}

function speak(pet: Cat | Dog) {
  if (isCat(pet)) {
    pet.meow(); // ✅ narrowed to Cat
  } else {
    pet.bark(); // ✅ narrowed to Dog
  }
}
```

Χωρίς το κατηγόρημα `pet is Cat`, η `isCat` που επιστρέφει `boolean` δεν θα περιόριζε το `pet` — ο compiler θα εξακολουθούσε να βλέπει `Cat | Dog` μέσα στο `if`. Το κατηγόρημα είναι αυτό που το διδάσκει.

## Επικύρωση άγνωστων εξωτερικών δεδομένων

```ts
interface User { id: number; name: string; }

function isUser(x: unknown): x is User {
  return (
    typeof x === "object" && x !== null &&
    typeof (x as any).id === "number" &&
    typeof (x as any).name === "string"
  );
}

const data: unknown = await res.json();
if (isUser(data)) data.name; // ✅ safely typed as User
```

## Προειδοποίηση

Ο compiler **εμπιστεύεται** το κατηγόρημά σας — αν η λογική στο σώμα είναι λάθος, θα λάβετε μη ασφαλή περιορισμό. Για σύνθετα σχήματα, ένας schema validator (zod) δημιουργεί σωστά guards για σας.

## Γιατί έχει σημασία

Oι type guards σας επιτρέπουν να μετατρέψετε αυθαίρετους ελέγχους runtime σε επαναχρησιμοποιήσιμες συναρτήσεις περιορισμού — απαραίτητες για την επικύρωση δεδομένων `unknown` σε όρια API και για τη διάκριση μελών ενός union όταν ένας απλός έλεγχος `typeof`/`in` δεν είναι αρκετός.