Посоны, почему в данном случае не выводится ключ? https://www.typescriptlang.org/play/#code/C4TwDgpgBA0hIGcDyAzAPAFQDRQwBQCcB7MDcCAPigF4oBvKAbTygEsA7KAa3iJVwC6ALlzMBUCAA9gEdgBMEuQiTKQoAfigsR7CADcIBKAF9GPEH0EBuALAAoeygCu7AMbBWRTgHMIwAGoAhgA2ThAImBQAFEQARgBWIthQAHRp5ggicIiomDgIwAQc3hSMAgCU9PZQNVCuXghEwRApwUTeURkpALaBYFGSNFRx8YySFeW2dsb29hwyBCiBrtAAYkREVXa1UIE6Tt2xhlM7sSIFRezeJ7Wu54XFUzMOdq7BgQiKAMJergR+EAAShAwEQCAstjt-qDwTEEiJ1kRKnRqjtar4AiEwgg4fEcAByWL4gmufGTVE1Z7PexvD6KACCsQuy2AwJhC0wEmksgUUERVBR21q0LBwFxSWRFLRGKCoXCuIJRJJZJulPsxiAA

Question

TypeScript

Andrei Kurosh

Посоны, почему в данном случае не выводится ключ? https://www.typescriptlang.org/play/#code/C4TwDgpgBA0hIGcDyAzAPAFQDRQwBQCcB7MDcCAPigF4oBvKAbTygEsA7KAa3iJVwC6ALlzMBUCAA9gEdgBMEuQiTKQoAfigsR7CADcIBKAF9GPEH0EBuALAAoeygCu7AMbBWRTgHMIwAGoAhgA2ThAImBQAFEQARgBWIthQAHRp5ggicIiomDgIwAQc3hSMAgCU9PZQNVCuXghEwRApwUTeURkpALaBYFGSNFRx8YySFeW2dsb29hwyBCiBrtAAYkREVXa1UIE6Tt2xhlM7sSIFRezeJ7Wu54XFUzMOdq7BgQiKAMJergR+EAAShAwEQCAstjt-qDwTEEiJ1kRKnRqjtar4AiEwgg4fEcAByWL4gmufGTVE1Z7PexvD6KACCsQuy2AwJhC0wEmksgUUERVBR21q0LBwFxSWRFLRGKCoXCuIJRJJZJulPsxiAA

#programming #russian #typescript

0

28.07.2020

2 ответов

4 просмотра

uid

Да, так происходит, потому что, не имея конкретного типа T, TS не может вычислить условный тип в KeysOf и получить массив допустимых ключей (технически из условия T extends Foo можно получить, что ключи b и c всегда допустимы, но авторы TS ограничивают глубину анализа, чтобы вычисление типов оставалось относительно быстрым). В качестве решения, как уже писали, можно "встроить" базовый тип Foo в getValues: play.

0

28.07.2020

˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪ · Accepted Answer

˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪

Потому что T[P] - это string | number (то есть, не экстендит string). В результате - всегда кондишенал будет never type Test1<T extends Foo> = keyof T type Test2<T extends Foo> = T[Test1<T>] type Test3<T extends Foo> = T[Test1<T>] extends string ? Test1<T> : never let x: Test2<Foo> //string | number let y: Test3<Foo> // never

0

28.07.2020

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

2 ответов

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