Почему добавление объединения типов делает его назначаемым AnyAction

При написании кода redux я наткнулся на поведение типа, которого я не понимаю.

В приведенном ниже коде вы не можете назначить anyaction на iaction. Но почему-то назначение anyaction на iaction2 нормально. Я пытаюсь применить здесь часть спецификации «Совместимость назначений», но не могу объяснить эту разницу.

Что происходит? Очевидно, существуют значения типа AnyAction, которые нельзя присвоить IAction2.

export interface ILoadUserBegin {
    type: "LOAD_USER_BEGIN";
}

export interface ILoadUserSuccess {
    type: "LOAD_USER_SUCCESS";
    response: number;
}

type IAction = ILoadUserSuccess;
type IAction2 = ILoadUserBegin | ILoadUserSuccess;

// these are redux types

interface Action {
  type: any;
}

interface AnyAction extends Action {
  [extraProps: string]: any;
}

// tests

let iaction: IAction = { type: "LOAD_USER_SUCCESS", response: 2 };
let iaction2: IAction2 = { type: "LOAD_USER_BEGIN" };
let anyaction: AnyAction = { type: "foo" };

// ERROR
// Type 'AnyAction' is not assignable to type 'ILoadUserSuccess'.
// Property 'response' is missing in type 'AnyAction'.
iaction = anyaction;  

// But this is OK!
iaction2 = anyaction;
Зод: сила проверки и преобразования данных
Зод: сила проверки и преобразования данных
Сегодня я хочу познакомить вас с библиотекой 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
118
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

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

Прежде всего, Action можно отнести к ILoadUserBegin.

let iaction1: ILoadUserBegin = anyaction;  // ok

Поэтому неудивительно, что его можно присвоить типу объединения, который содержит ILoadUserBegin в качестве одного из его членов.

Следующий вопрос: почему переменная типа Action может быть присвоена ILoadUserBegin?

Поскольку Action имеет свойство type, объявлено, что оно имеет тип any.

any - это особый тип, который совместим со всем, он подавляет проверку типов, поэтому тип {type: any} совместим с типом {type: "LOAD_USER_BEGIN"}.

Спасибо, type: any действительно виноват. Если я заменю его на type: string, то все пойдет как положено.

mikea 05.04.2018 16:54

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