Typescript 基于参数的 TS 返回类型

通过缩小设置为该泛型类型的变量的类型，TypeScrip无法缩小泛型类型.当使用具有引用其泛型类型的多个参数的泛型函数时，这不可能严格执行的原因变得更加清楚.例如:

type OptionMode = 'A' | 'B' | 'C';

declare const Foo: <Mode extends OptionMode>(
  first: Mode,
  second: Mode
) => Mode extends 'A' ? string : number;

const stringResult = Foo('A', 'A'); // <- `Mode` is inferred as 'A'
const numberResult = Foo('A', 'B'); // <- `Mode` is inferred as 'A' | 'B'

TypeScript Playground个

正如本例所示，由于您的泛型类型可以是包含多个OptionMode成员的联合，因此TypeScrip无法根据其参数之一的运行时类型来缩小它的范围.

在类型脚本5.3中可能会有一个变化，通过缩小参数范围将达到allow some narrowing of generic types，但这种缩小将以将泛型类型设置为lower limit的形式出现.例如，如果mode参数的值为'A'，那么Mode肯定是'A'类型，但它仍然可以是包含该类型的并集.

当函数参数需要一起缩小范围时，可以通过使用带有元组类型的扩展语法来定义它们来解决这一问题，其中该元组是有区别的联合.这样，当只缩小了多个参数中的一个参数的类型时，Type脚本就可以缩小这些参数的类型.但在这种情况下，需要更改的是函数的返回类型，这是不可能的.

这就是重载工作的原因，正如您发布的答案所示.但值得一提的是，超载可能很难维护.TypeScrip不会判断您的实现是否与所有重载匹配，如果您有很多重载，则需要手动写出它们.

您可以使用的另一种方法包括定义一个类型，该类型根据每个OptionMode指定一个返回类型，然后从泛型函数索引到该类型，而不是使用条件类型.这仍然不是一个完美的解决方案-例如，它具有与联合类型相同的潜在问题，并且在我提到的更新可能在类型脚本5.3中出现之前，它需要类型断言--但在某些情况下，它可能比基于重载的解决方案更容易维护.

type OptionMode = 'A' | 'B' | 'C';

type ModeData = {
  A: string;
  B: number;
  C: number;
};

const Foo = <Mode extends OptionMode>(
  mode: Mode
): ModeData[Mode] {
  if (mode === 'A') {
    return 'This is a string' as ModeData[Mode];
  } else {
    return 1 as ModeData[Mode];
  }
}

const stringResult = Foo('A'); // <- string
const numberResult = Foo('A'); // <- number

TypeScript Playground个

如您所见，在本例中返回值时，我必须使用as ModeData[Mode].但是，在我提到的"下限"更改发布之后，应该能够删除这些类型断言.