typescript:types:undefined []

Эта страница только для чтения. Вы можете посмотреть её исходный текст, но не можете его изменить. Сообщите администратору, если считаете, что это неправильно.
====Undefined примитивный неопределенный тип====
Примитивный тип undefined указывает на то, что значение не определено. Тип данных undefined указывается с помощью ключевого слова undefined (не путать со свойством глобального объекта undefined, которое представляет единственное значение типа Undefined).

<code javascript>
let identifier: undefined = undefined; // undefined, указанный после оператора двоеточия, это имеющийся только в TypeScript псевдоним (alias) для глобального типа Undefined. 
</code>

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

Тип undefined является подтипом всех типов, что делает его совместимым со всеми остальными типами.
<code javascript>
class TypeSystem {
  static any: any = undefined; // Ok
  static number: number = undefined; // Ok
  static string: string = undefined; // Ok
  static boolean: boolean = undefined; // Ok
  static null: null = undefined; // Ok
  static undefined: undefined = undefined; // Ok
}
</code>
Может возникнуть вопрос, почему тип null, который не имеет непосредственного отношения к типу undefined, совместим с ним? На данный момент, этот вопрос так и остается неразгаданным.

В то время как тип данных undefined совместим со всеми типами, помимо него самого, с ним совместимы лишь null и any.

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

Тогда, когда тип данных undefined указывается не явно, компилятор устанавливает тип any.
<code javascript>
let identifier = undefined; // identifier: any
</code>
При активном флаге --strictNullChecks, тип undefined является подтипом только одного типа any. Поэтому ему в качестве значения, помимо самого себя, можно присвоить только тип any.

<code javascript>
class TypeSystem {
  static any: any = undefined; // Ok
  static number: number = undefined; // Error
  static string: string = undefined; // Error
  static boolean: boolean = undefined; // Error
  static null: null = undefined; // Error
  static undefined: undefined = undefined; // Ok
}

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

При активном флаге **--strictNullChecks**, при условии, что в качестве значения выступает значение undefined, вывод типов определяет принадлежность к типу undefined.

<code javascript>
let identifier = undefined; // identifier: undefined
</code>

Тип undefined идентичен по своей работе с одноимённым типом из JavaScript.
Инструменты пользователя

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

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