类型推断如何与 TypeScript 中的联合类型（+条件类型和泛型）一起使用？

Question

我正在用 Angular 开发一个游戏，并试图将演示与游戏逻辑分离。 为了实现这一点，我构建了一个单独的UiController服务来处理用户交互和演示。 每当需要显示某些内容或需要用户操作时，与游戏逻辑相关的服务都会向UiController发出请求。

为了尽可能巧妙地实现这一点，我试图抽象出接口以与UiController交互。 一种常见的交互是选择，当玩家必须在同一类别的不同选项中选择一个时使用。 该交互由UiController的requestChoice()方法处理，该方法需要ChoiceRequest类型的参数。 由于有许多不同的类别可供选择，因此该类型必须包含所有这些类别，并且该方法必须知道如何处理所有这些类别。

例如，用户可能需要选择怪物或英雄。 我使用文字类型来指代选择中的选项：

type HeroType = 'warrior' | 'rogue' | 'mage';
type MonsterType = 'goblin' | 'demon' | 'dragon';

我ChoiceRequest的第一种构建ChoiceRequest是使用泛型和条件类型：

type ChoiceType = 'hero' | 'monster';

type OptionsSet<T extends ChoiceType> = T extends 'hero'
  ? HeroType[]
  : T extends 'monster'
  ? MonsterType[]
  : never;

interface ChoiceRequest<T extends ChoiceType> {
  player: Player;
  type: T;
  options: OptionsSet<T>;
}

这在构建这样的选择请求时被证明是有用的，因为options中type和项目的值被正确预测或拒绝：

const request: ChoiceRequest<'monster'> = {
  player: player2,
  type: 'monster',              // OK, any other value wrong
  options: ['demon', 'goblin']  // OK, any value not included in MonsterType wrong.
}

但是，当我尝试使requestChoice()方法处理不同情况时，类型推断无法按预期工作：

public requestChoice<T extends ChoiceType>(request: ChoiceRequest<T>) {
  switch (request.type) {
    case 'a':             // OK, but should complain since values can only be 'hero' or 'monster'
      ...
    case 1:               // Here it complains, see below (*)
      ...
    ...
  }
}

(*) 类型 'number' 不能与类型 'T' 进行比较。 'T' 可以用与 'number' 无关的任意类型实例化。

我以前反复遇到过这个问题，但我不完全明白为什么会发生这种情况。 我认为它与条件类型有关，所以我尝试了一种不太优雅的第二种方法：

interface ChoiceMap {
  hero: HeroType[];
  monster: MonsterType[];
}

type ChoiceType = keyof ChoiceMap;

interface ChoiceRequest<T extends ChoiceType> {
  player: Player;
  type: T;
  options: ChoiceMap[T];
}

但是，这种方法与第一种方法完全一样。

使这项工作按预期进行的唯一方法是第三种方法，将ChoiceRequest显式构建为标记联合，没有泛型或条件类型：

interface MonsterRequest {
  player: Player;
  type: 'monster';
  options: MonsterType[];
}

interface HeroRequest {
  player: Player;
  type: 'hero';
  options: HeroType[];
}

type ChoiceRequest = MonsterRequest | HeroRequest;

问题：为什么第三种方法有效而前两种方法无效？ 关于类型推断的工作原理，我缺少什么？ 在这样的场景中，是否还有其他模式可以实现我所需要的？

Answer 1

如果您不需要返回类型中的 T 一个非常简单的解决方法可能是：

function requestChoice(request: ChoiceRequest<ChoiceType>) {
  switch (request.type) {
    case 'a':             // Type '"a"' is not comparable to type ChoiceType
    case 1:               // Type '1' is not comparable to type ChoiceType
    case "hero": // fine
  }
}