Основы TypeScript: Неявные и Явные типы, Утверждения типов

Источник: «TypeScript Basics (4/10): Implicit and Explicit Types, Assertions»
Добро пожаловать в четвёртую часть цикла статей о TypeScript! В этой части мы рассмотрим концепции неявных и явных типов, а также утверждения типов.

Понимание того, когда и как использовать эти техники, имеет решающее значение для освоения гибкости типов в TypeScript. Присоединяйтесь к нам, чтобы найти баланс между статической типизацией TypeScript и необходимой гибкостью в различных сценариях программирования.

В TypeScript вы можете работать с типами двумя основными способами: неявная типизация и явная типизация. Кроме того, вы можете использовать утверждения типов, чтобы более явно информировать компилятор TypeScript о типе значения.

  1. Неявные типы
  2. Явные типы
  3. Утверждения типа

1. Неявные типы

Определение: TypeScript может определить тип переменной на основе её инициализирующего значения.

Пример:

let myString = "Hello, TypeScript!"; // TypeScript определяет тип как string

2. Явные типы

Определение: Вы можете явно указать тип переменной с помощью аннотации типа.

Пример:

let myNumber: number = 42; // Явное указание на то, что myNumber имеет тип number

3. Утверждения типа

Определение: Утверждения типа позволяют сообщить компилятору TypeScript, что вы знаете о типе значения больше, чем он сам.

Примеры:

let myValue: any = "This is a string.";
let strLength: number = (myValue as string).length; // Использование 'as' для утверждения типа
let myValue: any = "This is a string.";
let strLength: number = (<string>myValue).length; // Использование угловых скобок для утверждения типа

В этих примерах as string или <string> используется для утверждения, что myValue действительно является строкой, что позволяет компилятору рассматривать его как таковое.

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

Примечание: Важно использовать утверждения типов осторожно, особенно когда речь идёт о безопасности типов. Если утверждаемый тип неверен, это может привести к ошибкам во время исполнения. В целом лучше использовать аннотации типов, когда у вас есть контроль над типами, и утверждения типов, когда вы уверены в типе.

Понимание того, когда использовать неявные, явные типы или утверждения типов, зависит от контекста вашего кода и ваших конкретных требований к безопасности типов и ясности кода.

Основы TypeScript

  1. Основы TypeScript: компилятор TypeScript (tsc) и tsconfig.json
  2. Основы TypeScript: JavaScript в сравнении с TypeScript
  3. Основы TypeScript: Примитивы и базовые типы
  4. Основы TypeScript: Неявные и Явные типы, Утверждения типов
  5. Основы TypeScript: Создание типов, перечислений и интерфейсов
  6. Основы TypeScript: Объединение, Литеральные и Размеченные типы
  7. Основы TypeScript: Типизация функций и сигнатур
  8. Основы TypeScript: Any, Void, Never, Null, Строгие проверки Null
  9. Основы TypeScript: ООП практика, классы и наследование

Дополнительные материалы

Предыдущая Статья

Знакомство с утилитарным классом Laravel Number

Следующая Статья

Семь советов по добавлению второго сервера приложения