联合类型的所有可能键

Question

我想获取联合类型的所有可用键。

interface Foo {
  foo: string;
}

interface Bar {
   bar: string;
}

type Batz = Foo | Bar;

type AvailableKeys = keyof Batz;

我想要'foo' | 'bar' 作为AvailableKeys 的结果，但它是never（作为替代我可以做keyof (Foo & Bar)，它会产生确切所需的类型，但我想避免重复这些类型）。

我已经在 github 上找到了问题 keyof union type should produce union of keys。我理解答案，keyof UnionType 不应该产生所有可能的密钥。

所以我的问题是：是否有其他方法可以获取所有可能键的列表（如果需要 tsc 的 2.8 版本也可以）？

Answer 1

你需要一个交集类型，而不是联合类型：

type Batz = Foo & Bar;

我同意它们的命名有时会令人困惑。

Answer 2

这可以在 typescript 2.8 及更高版本中使用条件类型来完成。条件类型迭代联合中的类型，合并结果：

type Batz = Foo | Bar;

type KeysOfUnion<T> = T extends T ? keyof T: never;
// AvailableKeys will basically be keyof Foo | keyof Bar 
// so it will be  "foo" | "bar"
type AvailableKeys = KeysOfUnion<Batz>; 

一个简单的keyof Union 不起作用的原因是keyof 总是返回一个类型的可访问键，在联合的情况下，它只会是公共键。 KeysOfUnion 中的条件类型实际上会获取联合中的每个成员并获取其键，因此结果将是 keyof 的联合应用于联合中的每个成员。