Τι είναι ο τύπος Never στη γλώσσα Dart;

Never τύπος είναι ένας δείκτης ότι μια έκφραση δεν θα ολοκληρωθεί ποτέ με επιτυχία. Χρησιμοποιείται για συναρτήσεις και μεθόδους που είτε ρίχνουν εξαίρεση είτε εισέρχονται σε άπειρο βρόχο.

Παραδείγματα χρήσης:

• Συνάρτηση που ρίχνει εξαίρεση:

  Never _throwError(String message) {
    // Ρίχνει εξαίρεση, η συνάρτηση ποτέ δεν επιστρέφει τιμή
    throw StateError(message);
  }
  

• Συνάρτηση με άπειρο βρόχο:

  Never _infiniteLoop() {
    // Εισέρχεται σε άπειρο βρόχο, η συνάρτηση ποτέ δεν τερματίζει
    while (true) {
      // Κάτι κάνουμε
    }
  }
  

Το κύριο πλεονέκτημα του Never είναι ότι βοηθά τον μεταγλωττιστή να καταλάβει ότι ο κώδικας μετά την κλήση τέτοιας συνάρτησης ή μεθόδου είναι μη προσβάσιμος, επιτρέποντας στατική ανάλυση για την ανίχνευση πιθανών σφαλμάτων, όπως μη προσβάσιμος κώδικας και λανθασμένη διαχείριση σφαλμάτων.

Σε αντίθεση με το void, που σημαίνει ότι η συνάρτηση δεν επιστρέφει τιμή (αλλά ολοκληρώνεται με επιτυχία), το Never σημαίνει ότι η συνάρτηση ποτέ δεν θα ολοκληρωθεί.

// Συνάρτηση που επιστρέφει void (ολοκληρώνεται με επιτυχία, αλλά χωρίς τιμή)
void doSomething() {
  print('Κάνοντας κάτι');
}

// Συνάρτηση που επιστρέφει Never (ποτέ δεν ολοκληρώνεται με επιτυχία)
Never crashAndBurn() {
  throw 'Ωχ!';
}

Ο τύπος Never είναι χαμηλότερος τύπος (bottom type), δηλαδή είναι υποτύπος οποιουδήποτε άλλου τύπου. Αυτό επιτρέπει τη χρήση μιας συνάρτησης που επιστρέφει Never σε σημεία όπου αναμένεται οποιοσδήποτε άλλος τύπος.