不允许将Typescript条件类型的有效解析类型映射回条件类型[duplicate]

Question

在报告bug之前，我想知道是否有办法做到这一点。以下是有关该问题的闪电战：https://stackblitz.com/edit/rxjs-wdvejf?file=index.ts

在下面的假设示例中，基于传入的枚举值（在本例中为映射键和函数参数），条件类型为Business或Person。Typescript正确地强制转换了AddressBookEntryType的使用。Business到Business的实例，但即使Business是AddressBookEntry的一种类型，如果没有hack（强制转换），也无法从函数返回Business值。

以下是条件类型：

type AddressBookEntry<T> = T extends AddressBookEntryType.Business
  ? Business
  : T extends AddressBookEntryType.Person
  ? Person
  : never;

和功能：

const addressBookMap: Map<
  AddressBookEntryType,
  Map<string, AddressBookEntry<any>>
> = new Map();

const getFromMap = <T extends AddressBookEntryType>(
  key: string,
  entryType: T
): AddressBookEntry<T> => {
  const byTypeMap = addressBookMap.get(entryType);
  if (byTypeMap !== null) {
    return byTypeMap.get(key); // <-- compiler error
  } else {
    return null;
  }
};

错误：

Type 'Business | Person' is not assignable to type 'AddressBookEntry<T>'.
  Type 'Business' is not assignable to type 'AddressBookEntry<T>'.(2322)

其余的代码：

interface Business {
  name: string;
}

interface Person {
  firstName: string;
  lastName: string;
}

// Now define an enumeration for what types may be stored in the address book:

enum AddressBookEntryType {
  Person,
  Business
}

解决方法/hack 1是将条件类型定义为any：

type AddressBookEntry<T> = T extends AddressBookEntryType.Business
  ? Business
  : T extends AddressBookEntryType.Person
  ? Person
  : any; // <-- should be never here as there are no other valid options instead of any

这并不理想，因为这使得除了2个有效类型之外，似乎还有其他选项。

解决方案/黑客2将铸造结果：

const getFromMap = <T extends AddressBookEntryType>(
  key: string,
  entryType: T
): AddressBookEntry<T> => {
  const byTypeMap = addressBookMap.get(entryType);
  if (byTypeMap !== null) {
    return byTypeMap.get(key) as AddressBookEntry<T>;
  } else {
    return null;
  }
};

有没有一种方法可以做到这一点，而不需要演员阵容，工作环境或黑客，并保持它的“纯净”？

Answer 1

这个问题似乎抓住了我所看到的。

谢谢@jcalz

https://github.com/microsoft/TypeScript/issues/33912