V akých prípadoch je možné použiť typ Never v Dart?

Typ Never v Dart je použitý na označenie toho, že funkcia alebo výraz sa nikdy normálne nedokončí. To sa môže stať z nasledujúcich dôvodov:

• Funkcia vždy vyvolá výnimku.
• Funkcia obsahuje nekonečný cyklus.

Never je podtypom akéhokoľvek iného typu, vrátane null. To znamená, že hodnota typu Never môže byť priradená premennej akéhokoľvek typu.

Príklady použitia:

1. Funkcie, ktoré vyvolávajú výnimku:

   Never throwError(String message) {
     throw Exception(message); // Funkcia vždy vyvolá výnimku
   }
   

2. Funkcie s nekonečným cyklom:

   Never infiniteLoop() {
     while (true) {
       // Nekonečné vykonávanie
     }
   }
   

Použitie Never pomáha prekladaču a statickému analyzátoru lepšie pochopiť toky vykonávania programu a odhaliť potenciálne problémy. Napríklad, ak je funkcia označená ako vracajúca Never, prekladač môže pochopiť, že kód po takomto volaní nikdy nebude dosiahnutý.