Всем привет, такой вопрос, у меня есть фильтр который убирет

Question

Всем привет, такой вопрос, у меня есть фильтр который убирет

из массива объекты поля в котором имеют undefined, вот так работает
const data: Array<{ id: number, value?: string }> = []
const q = data.filter((v): v is { [P in keyof typeof v]-?: (typeof v)[P] } => !v.value)

а вот так нет
const data: Array<{ id: number, value?: string }> = []
const q = data.filter((v): v is Required<typeof v>=> !v.value)

хотя вроде одно и тоже
Playground

#programming #russian #typescript

0

17.12.2020

8 ответов

20 просмотров

Dmitriy Pikulin Автор вопроса

вроде как проперти не удаляется, удаляется признак опцианальности, или я что-то нее так понял

0

17.12.2020

Сергей К

А что значит - не работает? Алгоритм один и тот же, типизация только отличается. Оба варианта компилятся

0

17.12.2020

Dmitriy Pikulin Автор вопроса

да меня интересует именно типизация, к рантайму вопросов нет

0

17.12.2020

Сергей К

у меня оба варианта компилятся const data: { id: number, value?: string }[] = []; const q = data.filter((v): v is { [P in keyof typeof v]-?: (typeof v)[P] } => !v.value); const data2: { id: number, value?: string }[] = [] const q2 = data2.filter((v): v is Required<typeof v>=> !v.value)

0

17.12.2020

Dmitriy Pikulin Автор вопроса

типы после фильтров разные

0

17.12.2020

Сергей К

и?

0

17.12.2020

Dmitriy Pikulin Автор вопроса

вопрос почему, в первом варианте я делаю то-же самое что и Required и все ок, а когда я напрямую использую Required то он оставляет undefined