Ce este tipul Never în limbajul Dart?

Tipul Never este un indicator că o expresie nu se va încheia niciodată cu succes. Este utilizat pentru funcții și metode care fie aruncă o excepție, fie intră într-un ciclu infinit.

Exemple de utilizare:

• Funcție care aruncă o excepție:

  Never _throwError(String message) {
    // Aruncă o excepție, funcția nu returnează niciodată o valoare
    throw StateError(message);
  }
  

• Funcție cu un ciclu infinit:

  Never _infiniteLoop() {
    // Intră într-un ciclu infinit, funcția nu se încheie niciodată
    while (true) {
      // Fă ceva
    }
  }
  

Principalul avantaj al Never este că ajută compilatorul să înțeleagă că codul după apelul unei astfel de funcții sau metode nu este accesibil, ceea ce permite analiza statică pentru detectarea erorilor potențiale, cum ar fi codul inaccesibil și gestionarea incorectă a erorilor.

Spre deosebire de void, care indică faptul că funcția nu returnează valoare (dar se încheie cu succes), Never indică faptul că funcția nu se va încheia niciodată în principiu.

// Funcție care returnează void (se încheie cu succes, dar fără valoare)
void doSomething() {
  print('Fac ceva');
}

// Funcție care returnează Never (nu se încheie niciodată cu succes)
Never crashAndBurn() {
  throw 'O, nu!';
}

Tipul Never este un tip inferior (bottom type), adică este un subtip al oricărui alt tip. Acest lucru permite utilizarea unei funcții care returnează Never în locuri unde se așteaptă orice alt tip.