如何获取另一个联合的特定字段的联合

Question

我试图在我的 Redux 应用程序上尽可能多地保证类型安全，但我遇到了这个问题。基本上我有这些类型：

type ActionA = { type: 'A' }
type ActionB = { type: 'B' }

type Actions = A | B

我想要一个类型ActionType，它是我所有可能的行为types 的联合。即：

type ActionType = 'A' | 'B' // <-- How to get this from `Actions` ?

换句话说，我想在一个联合 (A | B) 中获取一个字段 (type) 的所有可能值的联合。

这甚至可以通过流量实现吗？

用例是当我需要直接编写动作类型时能够避免拼写错误的动作类型。例如，使用redux-saga，我可以编写take 的定义（示例过于简化）：

define function take(action: ActionType, saga: Function)

那么我肯定只能用有效的操作类型调用take。

Answer 1

你可以这样建模：

type ActionType = 'A' | 'B'
type Action = { type: ActionType }

type ActionA = { type: 'A' } & Action
type ActionB = { type: 'B' } & Action

文字有些重复，但我认为这是不可避免的。此外，使用这种结构，您不会出错，因为每个操作都被限制为只有一种有效类型。

像这样声明一个未知类型的动作本身并不是错误：

type ActionC = { type: 'C' } & Action

但它是一种不适合居住的类型，因为'C' 不是有效的ActionType，所以当你尝试使用它时会出现编译错误：

let c: ActionC = { type: 'C' }; // ERROR!

Answer 2

另一种解决方案使用泛型：

type ActionType = 'A' | 'B'

type Action<T: ActionType> = { type: T }

// actually you may not want to bother defining these aliases
type ActionA = Action<'A'>
type ActionB = Action<'B'>

如果你想抽象出type的不同值，那么使用*：

function doAction(action: Action<*>){
    ....
}

注意，* 与 any 不同，并且（与 any 不同）Flow 将能够推断其值，因此您可以执行以下操作：

function getType(action: Action<*>): * {
    return action.type
}

let type1:'B' = getType({type: 'B'});   // OK
let type2:'A' = getType({type: 'B'});   // ERROR