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

Метод 1: вывод типа
Система вывода типа TypeScript может автоматически определять тип возвращаемого значения функции на основе возвращаемых ею значений. Например:

function add(a: number, b: number) {
  return a + b;
}
type AddResult = ReturnType<typeof add>;
// AddResult is inferred as number

Метод 2: оператор typeof
Оператор typeofв TypeScript можно использовать для получения типа значения или выражения во время выполнения. При применении к функции он возвращает сигнатуру типа функции, включая тип возвращаемого значения. Вот пример:

function multiply(a: number, b: number): number {
  return a * b;
}
type MultiplyResult = ReturnType<typeof multiply>;
// MultiplyResult is inferred as number

Метод 3: Тип служебной программы ReturnType
TypeScript предоставляет встроенный тип служебной программы под названием ReturnType, который извлекает тип возвращаемого значения функции. Этот подход удобен и понятен. Рассмотрим следующий пример:

function greet(name: string): string {
  return `Hello, ${name}!`;
}
type GreetResult = ReturnType<typeof greet>;
// GreetResult is inferred as string

Метод 4: условные типы
Другой подход к извлечению типа возвращаемого значения функции — использование условных типов. Этот метод позволяет выполнять более сложные манипуляции с типами в зависимости от конкретных условий. Вот пример:

type ExtractReturnType<T> = T extends (...args: any[]) => infer R ? R : never;
function subtract(a: number, b: number): number {
  return a - b;
}
type SubtractResult = ExtractReturnType<typeof subtract>;
// SubtractResult is inferred as number

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