169 похожих чатов

Ребят, подскажите по infer когда и как правильно его использовать?

Я пытался в доке TS найти инфу, но что-то понятного описания так и не нашёл.... Хотя часто в коде вижу его. Общее представление сложилось, что он извлекает тип из генерика. Но вот как правильно это использовать не вьеду.

Вот например этот код вроде работет, но написал его методом научного тыка

myFn<T extends MyType<any>, S = T extends MyType<infer S> ? S : never>(t: T): S {}

но не понимаю, почему именно так нужно писать
S = T extends MyType<infer S> ? S : never

В этом месте смущает T extends MyType<infer S>, когда мы перед этим указали что T extends MyType<any>

Можете разъяснить как это работает?

2 ответов

5 просмотров

Дока хлам, в release notes к версии где infer появилось будет получше описание

Когда вы пишете X extends Y ? T : F, тайпскрипт пытается натянуть сову (X) на глобус (Y), считая, что все места в Y, где вы указали infer, являются пропусками, которые надо заполнить. Если у вас одно имя в infer встречается в нескольких местах, тайпскрипт попробует вывести общий тип для этого имени на основе всех субтипов с левой стороны (в X), которые находятся на том же месте, что и субтип с infer в Y

Похожие вопросы

Обсуждают сегодня

И к какой архитектуре привязана Java?
Dmitry Olshansky
17
@Aiwan что такое база образца?
Alexey
27
Не многие знают, а кто знает, тот уже успел забыть, что в далёком 2004 году эта игра произвела настоящий фурор, настолько революционной была технология, применяемая для её соз...
ICCID
4
коллеги, добрый вечер! А никто не знает как модальная форма может себя закрыть? Ну допустим модальная форма определила, что смысла ей работать нет и хочет вернуть modalResult...
Михаил
83
Короче я тут узнал полный пиздец Что кучу постов которые я создавал через posted Спустя время не могу редактировать и менять Мол телега возвращае ошибку Это реально так ...
inc.
13
Хотя у меня сейчас есть более сложная задача, вот её думаю: как объяснить челу переходного возраста противоположного полу, обучающегося в польском колледже (а-ля наш техникум)...
Вячеслав Кузьменко
15
Добрый день Хочу начать обучение языку, не являюсь представителем it, буду благодарна за помощь, совсем пока не понимаю ничего) Подскажите, пожалуйста, где можно начать первы...
Sara Lala
30
а сколько всего в IT умерло? Где флеш-игры, их было туча, где они все? Сегодня технология есть, а завтра вжух и мёртвая. Этот wasm сильно напоминает джавовские апплеты, silver...
Constantin F.
5
а вы в курсе, что Initialize() не работает? var arr123: array[0..123] of Byte; ... Initialize(arr123, SizeOf(arr123));
Iluha Companets
8
верно что я могу удалить эти addq и subq т.к. со стеком никакого взаимодействия нет (исключая call)?
Michael
16
Карта сайта