Какво е типът 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, на места, където се очаква всеки друг тип.