typescript:types:never []

Эта страница только для чтения. Вы можете посмотреть её исходный текст, но не можете его изменить. Сообщите администратору, если считаете, что это неправильно.

Never примитивный тип¶ Примитивный типа данных Never служит для указания того, что какие-либо операции никогда не будут выполнены.

Never обозначается ключевым словом never и так же, как и void, не имеет явных значений.

Тип данных never является подтипом всех типов, что делает его совместимым со всеми остальными типами.

<code javascript>
function action(): never {
  throw new Error();
}

class TypeSystem {
  static any: any = action(); // Ok
  static number: number = action(); // Ok
  static string: string = action(); // Ok
  static boolean: boolean = action(); // Ok
  static null: null = action(); // Ok
  static undefined: undefined = action(); // Ok
  static void: void = action(); // Ok
  static never: never = action(); // Ok
}

TypeSystem.never = TypeSystem.any; // Error
TypeSystem.never = TypeSystem.number; // Error
TypeSystem.never = TypeSystem.string; // Error
TypeSystem.never = TypeSystem.boolean; // Error
TypeSystem.never = TypeSystem.null; // Error
TypeSystem.never = TypeSystem.undefined; // Error
TypeSystem.never = TypeSystem.void; // Error
TypeSystem.never = TypeSystem.never; // Ok
</code>

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

Такой сценарий может выражаться в виде функции, вызов которой приведет к однозначному исключению или тело функции будет включать бесконечный цикл.

<code javascript>
function error(message: string): never {
  throw new Error(message);
}

function loop(): never {
  while (true) {}
}
</code>

Вывод типов определит принадлежность возвращаемого функцией значения к типу never, только если он указан в аннотации возвращаемого типа явно.

<code javascript>
function error(message: string): never {
  throw new Error(message);
}

function action() {
  // function action(): never
  return error('All very, very bad.');
}

let identifier = error(); // let identifier: never
let identifier = action(); // let identifier: never

</code>

Стоит заметить, что без явного указания типа never вывод типов определит принадлежность возвращаемого значения к типу void.

<code javascript>
function error(message: string) {
  // function error(): void
  throw new Error(message);
}

function loop() {
  // function loop(): void
  while (true) {}
}
</code>

Тип never является уникальным для TypeScript. В JavaScript подобного типа не существует.

Инструменты пользователя

Инструменты сайта

Инструменты страницы