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

Метод 1: утверждение типа

Утверждения типа позволяют переопределить предполагаемый тип значения и явно указать другой подтип. Рассмотрим следующий пример:

let variable: string | number;
variable = "Hello, World!";
let length: number = (variable as string).length;

В этом случае мы утверждаем, что variableимеет тип stringдля доступа к свойству length. Этот метод полезен, когда вам нужно временно рассматривать значение как другой подтип в ограниченной области действия.

Метод 2. Приведение типов

Приведение типов — это еще один подход к созданию экземпляра TypeScript с другим подтипом. Он предполагает использование ключевого слова asдля явного приведения значения к определенному подтипу. Вот пример:

let value: unknown = "42";
let parsedValue: number = (value as string).length;

В данном случае мы приводим тип unknownк string, чтобы получить доступ к свойству length. Приведение типов полезно, когда вам нужно преобразовать значение в определенный подтип.

Метод 3: Типовое пересечение

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

type Person = {
  name: string;
};
type Employee = {
  id: number;
};
type EmployeePerson = Person & Employee;
const employee: EmployeePerson = {
  name: "John Doe",
  id: 12345,
};

В этом примере мы определяем два типа: Personи Employee, а затем создаем новый тип EmployeePersonпутем пересечения этих двух типов. Это позволяет нам создать экземпляр employeeсо свойствами как из Person, так и из Employee.

Метод 4: объединение типов

Объединение типов позволяет создать экземпляр TypeScript с другим подтипом, определив тип, который может содержать несколько подтипов. Это особенно полезно, когда у вас есть значение, которое может иметь разные типы. Вот пример:

type Status = "success" | "error";
function getMessage(status: Status): string {
  if (status === "success") {
    return "Operation successful!";
  } else if (status === "error") {
    return "An error occurred.";
  }
}
const successMessage: string = getMessage("success");

В данном случае тип Statusпредставляет собой объединение строковых литералов «success» и «error». Функция getMessageпринимает параметр Statusи возвращает соответствующее сообщение. Передавая разные подтипы Status, мы можем создавать экземпляры TypeScript с разными типами сообщений.

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