Привет кто может подсказать по чему есть разница в определении

Question

Привет кто может подсказать по чему есть разница в определении

типа ? в первом случае получаю never во втором bolean при втором условии он начинает как-то разделять union тип?
type test = boolean | null | string extends string ? boolean : never; //never
type testG<T> = T extends string ? T extends string ? boolean :never : never;
type test1 = testG<boolean | null | string>; //boolean

#programming #russian #typescript

0

28.05.2020

3 ответов

11 просмотров

Ivan 🧑‍🚀

boolean | null | string extends string всегда будет false

0

28.05.2020

uid

Эта особенность описана в документации: Distributive conditional types. В отличие от "обычных" условных типов (первый случай) условный тип от типа-параметра (соответственно, внутри дженерика) является дистрибутивным относительно операции объединения. Дистрибутивность здесь означает, что такой условный тип от объединения нескольких частей вычисляется как объединение условных типов по этим частям: (A | B) extends U ? X : Y = (A extends U ? X : Y) | (B extends U ? X : Y). Поэтому во втором и третьем случаях результат будет равен never | never | boolean = boolean. Пример: play.

0

06.06.2020

Firstname Lastname · Accepted Answer

Firstname Lastname

union шире чем строка. в этом случае string extends string | boolean

0

28.05.2020

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

Привет кто может подсказать по чему есть разница в определении

3 ответов

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