Μπορείτε να εξηγήσετε τι είναι η έλεγχος τύπου (Type Guard) και πώς χρησιμοποιείται στο TypeScript;

Ο Έλεγχος Τύπου (Type Guard) σε TypeScript είναι ένας τρόπος για να διευκρινίσετε τον τύπο μιας μεταβλητής κατά την εκτέλεση, ώστε ο μεταγλωττιστής να μπορεί να εργάζεται με αυτή με ασφάλεια. Ο Έλεγχος Τύπου βοηθά στην αποφυγή σφαλμάτων που σχετίζονται με λανθασμένη χρήση τύπων.

Για παράδειγμα, αν έχετε μια μεταβλητή που μπορεί να είναι είτε μια συμβολοσειρά είτε ένας αριθμός, μπορείτε να χρησιμοποιήσετε έναν Έλεγχο Τύπου για να ελέγξετε τον τύπο της και να εκτελέσετε τις αντίστοιχες ενέργειες:

function παράδειγμα(τιμή: string | number) {
  if (typeof τιμή === 'string') {
    // Εδώ, το TypeScript γνωρίζει ότι η τιμή είναι μια συμβολοσειρά
    console.log(τιμή.toUpperCase());
  } else {
    // Εδώ, η τιμή είναι ένας αριθμός
    console.log(τιμή.toFixed(2));
  }
}

Ο Έλεγχος Τύπου μπορεί να υλοποιηθεί με τη χρήση των τελεστών typeof, instanceof ή προσαρμοσμένων συναρτήσεων που επιστρέφουν έναν έλεγχο τύπου.