Дженерики, как и обычные функции, могут иметь несколько параметров типа. В этом уроке мы разберем такие дженерики.

Принцип работы дженериков от количества параметров не меняется. Единственное, за чем нужно следить, это имена:

type Double<T, U> = {
  first: T;
  second: U;
};

const value: Double<string, number> = {
  first: "code-basics",
  second: 1,
};

Вывод типа из аргументов функции

Представим, что нам нужно вызвать функцию с несколькими параметрами. Аргументы представлены дженериками. Например, функцию join() можно описать так:

function join<T, U>(coll1: (T | U)[], coll2: U[]): (T | U)[] {
  return coll1.concat(coll2);
}

join<number, string>([1, 2], ["one", "two"]); // [1, 2, 'one', 'two']

join<string, string>(["first", "second"], ["one", "two"]); // ['first', 'second', 'one', 'two']

Но TypeScript упрощает задачу и позволяет не указывать типы для всех параметров:

join([1, 2], ["one", "two"]); // [1, 2, 'one', 'two']

TypeScript сам выведет типы для параметров функции. Это называется выводом типа из аргументов функции. В этом случае TypeScript выведет типы number и string для параметров T и U соответственно.

В следующих уроках мы познакомимся со встроенными в TypeScript дженериками, у которых два параметра. В реальном же программировании такие дженерики часто встречаются в прикладном коде, например, в React.

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

const map: MyMap<string, number> = ...;
map.set('one', 1);
map.set('two', 2);

map.get('one'); // 1
map.get('two'); // 2
map.get('three'); // undefined

const tags: MyMap<number, string[]> = ...;
tags.set(1, ['one']);
tags.get(1); // ['one']

Тип включает в себя два метода. Метод set() принимает ключ и значение и ничего не возвращает. Метод get() принимает ключ и возвращает значение либо undefined, если значения с таким ключом нет. Значения хранятся внутри объекта в свойстве values в виде встроенного в JavaScript класса Map().