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 ответов

14 просмотров

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

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

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

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

30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
в JclConsole объявлено так: function CtrlHandler(CtrlType: DWORD): BOOL; stdcall; - где ваше объявление с stdcall? у вас на картинке нет stdcall
Karagy
8
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
~ 2m21s  nix shell github:nixos/nixpkgs#stack ~  stack ghc -- --version error: … while calling the 'derivationStrict' builtin at /builtin/derivation.nix:...
Rebuild your mind.
6
Карта сайта