Используйте свойство для фильтрации данных при фильтрации типа объединения свойства

Я пытаюсь отфильтровать данные по свойству code, значение которого не равно 'd'. JS-код в порядке. Я ожидаю, что свойство code в отфильтрованном типе данных будет 'a' | 'b' | 'c'.

type Code = 'a' | 'b' | 'c' | 'd';
interface Data {
  code: Code;
}

const data: Data[] = [{ code: 'a' }, { code: 'b' }, { code: 'c' }, { code: 'd' }]

interface Filtered {
  code: Exclude<Code, 'd'>;
}
const filtered: Filtered[] = data.filter(v => v.code !== 'd')

Получил ошибку:

Type 'Data[]' is not assignable to type 'Filtered[]'.
  Type 'Data' is not assignable to type 'Filtered'.
    Types of property 'code' are incompatible.
      Type 'Code' is not assignable to type '"a" | "b" | "c"'.
        Type '"d"' is not assignable to type '"a" | "b" | "c"'.(2322)

Площадка для TypeScript

Зод: сила проверки и преобразования данных
Зод: сила проверки и преобразования данных
Сегодня я хочу познакомить вас с библиотекой Zod и раскрыть некоторые ее особенности, например, возможности валидации и трансформации данных, а также...
Как заставить Remix работать с Mantine и Cloudflare Pages/Workers
Как заставить Remix работать с Mantine и Cloudflare Pages/Workers
Мне нравится библиотека Mantine Component , но заставить ее работать без проблем с Remix бывает непросто.
Угловой продивер
Угловой продивер
Оригинал этой статьи на турецком языке. ChatGPT используется только для перевода на английский язык.
TypeScript против JavaScript
TypeScript против JavaScript
TypeScript vs JavaScript - в чем различия и какой из них выбрать?
Синхронизация localStorage в масштабах всего приложения с помощью пользовательского реактивного хука useLocalStorage
Синхронизация localStorage в масштабах всего приложения с помощью пользовательского реактивного хука useLocalStorage
Не все нужно хранить на стороне сервера. Иногда все, что вам нужно, это постоянное хранилище на стороне клиента для хранения уникальных для клиента...
Что такое ленивая загрузка в Angular и как ее применять
Что такое ленивая загрузка в Angular и как ее применять
Ленивая загрузка - это техника, используемая в Angular для повышения производительности приложения путем загрузки модулей только тогда, когда они...
0
0
12
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Typescript не будет использовать v.code !== 'd' для изменения типа элемента в массиве.

Вы можете создать пользовательскую защиту типа, чтобы сузить тип элемента, но в основном вы берете на себя управление и сообщаете компилятору, что выполняемая вами проверка сужает тип элемента, на самом деле не обеспечивается, чтобы ваша проверка сужала тип правильно.

const filtered: Filtered[] = data.filter((v): v is Filtered => v.code !== 'd')

// v is Filtered is not checked
const filteredBad: Filtered[] = data.filter((v): v is Filtered => v.code !== 'a')

Ссылка на игровую площадку

Есть ли способ позволить TSC сузить тип вместо предиката типа разработчиком?

slideshowp2 16.03.2022 11:12

@slideshowp2 Нет

Titian Cernicova-Dragomir 16.03.2022 11:15

Другие вопросы по теме