Тип объединения для аналогичной структуры интерфейсов

Question

Как реализовать объединение типа с включенным флагом typeof для переменных в конфигурации типов

TS площадка есть

Удаление определения типа в первой строке работает нормально, но tslint генерирует для него ошибку. Примеры в http://www.typescriptlang.org/docs/handbook/advanced-types.html с (entity) не помогли.

const TYPE_A: string = 'TYPE_A'; // <- type difinition here breaks line 19
interface Action_A {
    type: typeof TYPE_A;
    payload: {
        entities: [];
    }
}

const TYPE_B = 'TYPE_B';
interface Action_B {
    type: typeof TYPE_B;
    payload: {
        id: number
    }
} 

const shouldBeReducer = (action: Action_A | Action_B) => {
    if (action.type === TYPE_A) {
        return action.payload.entites // <- entities field is not defined
    }
}

определение типа в редукторе должно работать корректно, но отображается исключение

Answer 1

Используйте класс вместо интерфейса и instanceof типа охранник.

const TYPEA: number = 1; // type difinition here breaks line 19
class ActionA {
    type: typeof TYPEA;
    payload: {
        entities: [];
    }
}

const TYPEB = 2;
class ActionB {
    type: typeof TYPEB;
    payload: {
        id: number
    }
} 

const reducer = (action: ActionA | ActionB) => {
    if (action instanceof ActionB) {
        action.payload.id // OK
    }
}

Детская площадка

Однако, если вы хотите сохранить интерфейсы, вы должны изменить свой код на это:

const TYPEA = 1 as 1; // type difinition here breaks line 19
interface ActionA {
    type: 1;
    payload: {
        entities: [];
    }
}

const TYPEB = 2 as 2;
interface ActionB {
    type: typeof TYPEB;
    payload: {
        id: number
    }
} 

const reducer = (action: ActionA | ActionB) => {
    if (action.type === TYPEB) {
        action.payload.id // OK
    }
}

Детская площадка

Проблема заключалась в том, что TYPEA а также TYPEB был сделан вывод как number а не числовые литералы (1, 2).