基于同级枚举值的属性类型

Question

假设我有一个枚举和一个接口

enum A {
   X, Y, Z
}

interface Test {
   a: A
   b: ???
}

b的类型应取决于a的值，并根据B1是否为{{}映射到B2，B3，a 1}}，X或Y。

我想要实现的是，如果我这样定义一个对象，打字稿会抱怨：

Z

Answer 1

您可以使用工会...

 type Test = { a: A.X, b: B1 } |
      { a: A.Y, b: B2 } |
      { a: A.Z, b: B3 }