Мой исходный код выглядит следующим образом. Он позволяет мне определять тип данных на основе типа при переключении на действие:ActionType.

enum Actions {
  GET_MESSAGES,
  GET_MESSAGES_LOADED
}

//@ts-ignore
const AppActions = {
  getMessages() {
    return {
      type: Actions.GET_MESSAGES,
      data:{id: 1}
    };
  },
  getMessagesLoaded() {
    return {
      type: Actions.GET_MESSAGES_LOADED,
      data:{messages: ['asdf']}
    };
  }
};

type ActionType = ReturnType<typeof AppActions[keyof typeof AppActions]>;


const func = (action:ActionType) => {
  // @ts-ignore
  switch (action.type) {
      case Actions.GET_MESSAGES:
          console.log(action.data.id) //Should pass
          break
      case Actions.GET_MESSAGES_LOADED:
        console.log(action.data.messages) //Should pass
          break;
      case Actions.GET_MESSAGES_ERROR: // Should throw typescript error
      // default:
      //   break;
  }
};

Я хотел бы знать, могу ли я создать объединение ActionType динамически, сопоставляя ключи AppActions?

Самый близкий ответ

Ответ @Elias на данный момент type ActionType = ReturnType<typeof AppActions[keyof typeof AppActions]>; вырезает здесь большую часть наворотов.

Вышеприведенное работает отлично, пока каждая функция в AppActions имеет указанный тип возвращаемого значения, без этого тип данных не может быть обнаружен, однако он правильно определяет Actions.GET_MESSAGES_ERROR является недопустимым действием.type.