Можно ли назвать тип string или number по-другому?

Переименование типов string и number в TypeScript

В TypeScript, базовые типы string и number являются примитивными типами (primitive types), которые представляют фундаментальные элементы системы типов языка. Эти типы нельзя "переименовать" напрямую в смысле создания абсолютно новых имен для этих же концепций, но существует несколько подходов для создания альтернативных обозначений или абстракций, которые могут служить той же цели.

1. Создание пользовательского типа (type alias) с помощью type

Самый распространенный и простой способ — использовать ключевое слово type для создания псевдонима типа (type alias). Это позволяет дать типу другое имя, но при этом он остается тем же базовым типом.

// Создание псевдонимов для базовых типов
type Text = string;
type NumericValue = number;

// Использование новых имен
let greeting: Text = "Hello, World!";
let age: NumericValue = 30;

// Типы полностью эквивалентны оригинальным
function process(input: Text): NumericValue {
    return input.length; // Возвращает number
}

В этом примере Text и NumericValue — это не новые типы, а просто другие названия для string и number. TypeScript рассматривает их как полностью идентичные оригинальным типам. Это полезно для:

• Улучшения читаемости кода — когда имя типа лучше отражает его смысл в конкретном контексте.
• Создания доменной модели — например, EmailAddress вместо string.
• Обеспечения согласованности в больших проектах.

2. Определение типов через интерфейсы (interface)

Для примитивных типов использование интерфейсов менее распространено, но технически возможно через механизм расширения (extension) или объединения (union).

// Интерфейс, который требует значение типа string
interface StringRepresentation {
    value: string;
}

// Использование
const obj: StringRepresentation = { value: "example" };

Однако интерфейс не может "переименовать" примитивный тип напрямую — он создает структуру объекта, которая содержит свойство такого типа. Для прямого переименования примитивов интерфейсы не предназначены.

3. Использование дженериков (generics) для абстракции

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

type GenericContainer<T extends string | number> = {
    id: T;
    data: string;
};

// Использование с конкретными типами
const stringContainer: GenericContainer<string> = { id: "abc", data: "test" };
const numberContainer: GenericContainer<number> = { id: 123, data: "test" };

4. Создание номинальных типов через branded types

Иногда требуется создать тип, который технически является string или number, но логически представляет что-то уникальное. Для этого используют технику "брендированных типов" (branded types или tagged types).

// Создание брендированного типа для email
type Email = string & { readonly __brand: 'Email' };

// Функция для создания Email (валидация)
function createEmail(input: string): Email {
    if (!input.includes('@')) throw new Error('Invalid email');
    return input as Email; // Приведение типа
}

// Использование
const email: Email = createEmail('user@example.com');

Здесь Email — это все еще string, но с дополнительной "меткой", которая позволяет TypeScript отличать его от обычной строки на уровне типов. Это помогает избежать ошибок, например, случайного использования обычной строки вместо email.

5. Ограничения и практические соображения

• Совместимость типов: Псевдонимы типов полностью совместимы с оригиналами. Если вы объявите type MyString = string, то значение типа MyString можно присвоить переменной типа string без каких-либо преобразований.
• Отсутствие реальной новой типологии: Эти подходы не создают новых типов в runtime — они существуют только на уровне TypeScript и служат для статического анализа.
• Цель переименования: Основные причины для "переименования":
  • Доменная специфика (UserId вместо number).
  • Улучшение документации кода.
  • Ограничение значений через union types (type StatusCode = 200 | 404 | 500).
  • Поддержка рефакторинга — изменение одного типа-псевдонима влияет на все его использования.

Вывод

Таким образом, напрямую переименовать string и number нельзя, но можно создать псевдонимы (aliases) или абстракции, которые позволяют использовать другие названия для этих типов. Это мощный механизм TypeScript для повышения читаемости, надёжности и выразительности кода, позволяя разработчикам создавать более точные и предметно-ориентированные системы типов. Наиболее практичным и часто используемым способом является объявление type для создания альтернативного имени.