А почему это так работает без дженериков? is не просто

Question

А почему это так работает без дженериков? is не просто

приводит тип ровно к тому, к чему ты написал, но и какую-то особенную логику выведения типа имеет?

в доке что-то не особо много про is написано, не смог найти такого

playground

#programming #russian #typescript

0

15.07.2023

6 ответов

31 просмотр

Veli Автор вопроса

я имею ввиду, почему тип obj после проверки не стал Record<string, unknown>, а точно вычислился из изначального типа

0

15.07.2023

Veli Автор вопроса

olkivan
поищи в доке где narrowing, using type predicates ...

ну я сам раздел нашел, но там совсем мало инфы и конкретно про способ выведения типа ничего нет и он, кажется, вообще отличается от того, как тайпскрипт обычно работает в других конструкциях

0

15.07.2023

Iurii Mamaev

У меня есть предположение как оно работает, накидал пример, вроде все корректно мэтчится. https://tsplay.dev/wO1grm

0

16.07.2023

Veli Автор вопроса

Iurii Mamaev
У меня есть предположение как оно работает, накида...

надо майкам в доку занести, мб они сами разобраться не смогли и решили не описывать 😄

0

16.07.2023

Евгений