never.md

Never

Youtube: Видеоурок о типе never

Egghead: Видеоурок о типе never

При разработке языка программирования используется понятие bottom типа, который является естественным результатом анализа потока кода. TypeScript выполняет анализ потока кода (😎), поэтому он должен достоверно представлять то, что никогда не произойдёт.

Тип never используется в TypeScript для обозначения этого типа bottom. Случаи, когда это происходит естественным путем:

• Функция никогда ничего не вернёт (например, если в теле функции есть while(true){})
• Функция всегда выбрасывает ошибку (например, в function foo () {throw new Error ('Не реализована')} тип возвращаемого значения функции foo - never)

Конечно, вы можете использовать это описание и сами:

let foo: never; // Okay

Тем не менее, never может быть присвоено только другое never. Например:

let foo: never = 123; // Ошибка: Тип number нельзя присвоить типу never

// Okay, так как тип возвращаемого значения функции - `never`
let bar: never = (() => { throw new Error('Поднимаю руки вверх, будто мне все равно') })();

Отлично. Теперь давайте перейдем к основному варианту использования :)

Пример использования: тщательные проверки

Вы можете вызывать функции never в never-обстоятельствах.

function foo(x: string | number): boolean {
  if (typeof x === "string") {
    return true;
  } else if (typeof x === "number") {
    return false;
  }

  // Без типа never мы бы ошиблись:
  // - Не все пути кода возвращают значение (строгие проверки на null)
  // - Или обнаружен недостижимый код
  // Но поскольку TypeScript понимает, что функция `fail` возвращает `never`
  // Он может позволить вам вызвать её, поскольку вы могли бы использовать её для безопасности выполнения / тщательных проверок.
  return fail("Нетщательный!");
}

function fail(message: string): never { throw new Error(message); }

А поскольку never назначается только другому never, вы также можете использовать его для тщательных проверок во время компиляции. Это описано в разделе размеченные объединения.

Путаница с void

Как только кто-то говорит вам, что возвращается never, когда функция никогда не завершается корректно и ничего не будет возвращено, вы интуитивно хотите думать об этом как о void. Однако void - это значение. "Never" - ложное утверждение в логике.

Функция, которая ничего не возвращает, возвращает значение void. Однако функция которая никогда ничего не возвращает (или всегда выбрасывает ошибку), возвращает never. void - это то, что может быть присвоено (без strictNullChecking), но never никогда не может быть присвоено чему-либо, кроме never.

Логический вывод типа в функциях, которые никогда ничего не возвращают

Для объявлений функций TypeScript по умолчанию подразумевает void, как показано ниже:

// Предполагаемый тип возвращаемого значения: void
function failDeclaration(message: string) {
  throw new Error(message);
}
// Предполагаемый тип возвращаемого значения: never
const failExpression = function(message: string) {
  throw new Error(message);
};

Конечно, вы можете исправить это подробным описанием:

function failDeclaration(message: string): never {
  throw new Error(message);
}

Основная причина - обратная совместимость с реальным кодом JavaScript:

class Base {
    overrideMe() {
        throw new Error("Ты забыл переопределить меня!");
    }
}
class Derived extends Base {
    overrideMe() {
        // Код, который на самом деле возвращается сюда
    }
}

Если Base.overrideMe .

Реальный TypeScript может преодолеть это с помощью abstract функций, но этот логический вывод поддерживается для совместимости.