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

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

function getFirstElement<T>(arr: T[]): T {
  return arr[0];
}
const numbers = [1, 2, 3, 4, 5];
const firstNumber = getFirstElement(numbers); // Returns 1
const strings = ["apple", "banana", "cherry"];
const firstString = getFirstElement(strings); // Returns "apple"

В этом примере синтаксис <T>обозначает параметр универсального типа, который может быть любого типа. Функция getFirstElementпринимает массив типа Tи возвращает элемент типа T. Прелесть дженериков в том, что они позволяют нам писать многократно используемый код, работающий с разными типами.

Метод 2: несколько параметров универсального типа
Обобщенные типы также поддерживают несколько параметров типа. Допустим, мы хотим создать функцию, которая меняет местами два элемента массива. Мы можем добиться этого, используя несколько параметров типа следующим образом:

function swapElements<T, U>(arr: T[], index1: number, index2: number): void {
  const temp: T = arr[index1];
  arr[index1] = arr[index2];
  arr[index2] = temp;
}
const numbers = [1, 2, 3, 4, 5];
swapElements(numbers, 1, 3); // Swaps the second and fourth elements
const strings = ["apple", "banana", "cherry"];
swapElements(strings, 0, 2); // Swaps the first and third elements

В этом примере функция swapElementsпринимает массив типа Tвместе с двумя индексами для замены. Мы используем два параметра общего типа, Tи U, чтобы обозначить типы заменяемых элементов. Это позволяет нам менять местами элементы в массивах разных типов.

Метод 3: ограничение дженериков с помощью интерфейсов
Иногда нам может потребоваться ограничить типы, которые можно использовать с дженериками. Мы можем добиться этого, ограничив параметр универсального типа интерфейсом. Давайте рассмотрим пример, в котором мы хотим создать функцию, возвращающую длину массива. Мы можем ограничить параметр универсального типа интерфейсом, имеющим свойство length, например:

interface Lengthable {
  length: number;
}
function getArrayLength<T extends Lengthable>(arr: T): number {
  return arr.length;
}
const numbers = [1, 2, 3, 4, 5];
const numbersLength = getArrayLength(numbers); // Returns 5
const invalidData = { name: "John Doe" };
const invalidDataLength = getArrayLength(invalidData); // Error: Property 'length' is missing

В этом примере функция getArrayLengthпринимает аргумент типа T, который должен расширять интерфейс Lengthable. Интерфейс Lengthableгарантирует, что параметр универсального типа имеет свойство length. Таким образом, мы можем безопасно получить доступ к свойству length, не беспокоясь об ошибках во время выполнения.

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