Typescript: Дженерики с несколькими параметрами

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

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

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']

Но 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

Тип включает в себя два метода set() и get(). Первый метод принимает два дженерик-параметра: ключ и значение. Второй метод принимает ключ и возвращает значение. Значения хранятся внутри объекта в виде встроенного в JavaScript класса Map().