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

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

type Color = "red" | "green" | "blue";
function printColor(color: Color) {
  console.log(color);
}
const myColor: Color = "red";
printColor(myColor); // Output: red
printColor("green"); // Output: green

В этом примере мы определяем тип объединения Colorс тремя возможными значениями строковых литералов. Функция printColorпринимает аргументы только типа Color, что обеспечивает безопасность типов.

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

let username = "John" as const;
let age = 25 as const;
type Username = typeof username;
type Age = typeof age;
function printUserData(username: Username, age: Age) {
  console.log(`Username: ${username}, Age: ${age}`);
}
printUserData(username, age); // Output: Username: John, Age: 25

В этом примере мы используем as const, чтобы утверждать, что переменные usernameи ageдолжны иметь точные типы строковых литералов. Функция printUserDataпринимает аргументы типа Usernameи Age, обеспечивая безопасность типов.

Метод 3: использование строковых литералов с шаблонными литеральными типами
В TypeScript 4.1 представлены типы шаблонных литералов, которые предоставляют мощные возможности манипулирования строками. Мы можем комбинировать типы шаблонных литералов со строковыми литералами для преобразования обычных строк в строковые литералы. Давайте посмотрим пример:

type CapitalizeString<S extends string> = S extends `${infer First}${infer Rest}`
  ? `${Uppercase<First>}${Rest}`
  : S;
type Literalize<S extends string> = CapitalizeString<S> as S;
function greet(name: Literalize<"john">) {
  console.log(`Hello, ${name}!`);
}
greet("john"); // Output: Hello, john!

В этом примере мы определяем служебный тип под названием Literalize, который преобразует обычную строку в тип строкового литерала, написанного с заглавной буквы. Функция greetпринимает в качестве аргумента только литерал "john", что обеспечивает безопасность типов.

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