TypeScript выводит ключевое слово с примерами

Посмотрите эту и многие другие статьи на lucaspaganini.com

В этой статье я покажу вам, как мы можем использовать ключевое слово infer для извлечения типов из дженериков. Давайте использовать Promise в качестве примера.

Если P является подмножеством Promise из T, мы хотим вернуть T. В противном случае мы возвращаем never, что означает то, что никогда не должно происходить.

Но это не работает, потому что T еще не существует.

Давайте сравним это с функцией, и вы поймете, что я имею в виду.

P это аргумент, а T откуда?

В обычной функции вы бы решили эту проблему, создав переменную с именем T. Что-то вроде этого:

И здесь в игру вступает ключевое слово infer. Это работает как объявление переменной типа.

Если P является подмножеством Promise, мы говорим TypeScript вывести внутренний тип этого Promise и сохранить его в типе с именем T. Затем мы возвращаем T.

Заключение

Ссылки ниже.

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

Ставь лайк, хорошего дня и до скорой встречи.

Рекомендации

  1. Вывод условных типов Документация по TypeScript
  2. Тип never Документация по TypeScript