泛型类型扩展联合不会被类型保护缩小

Question

我尝试复制 Anders 在 Build 2018 (36:45) 上展示的条件类型和泛型示例。他使用条件类型作为返回类型来替代更传统的函数重载。

幻灯片有以下内容：

type Name = { name: string };
type Id = { id: number };
type Check = { enabled: boolean };

type LabelForType<T> =
  T extends string ? Name :
  T extends number ? Id :
  T extends boolean ? Check :
  never;

declare function createLabel<T extends string | number | boolean>(value: T): LabelForType<T>

我试图简化这一点，并提出了以下示例。条件类型在给定string 时返回number，反之亦然，而函数将此条件类型实现为返回类型。

type Return<T> = T extends string ? number : T extends number ? string : never;

function typeSwitch<T extends string | number>(x: T):  Return<T>{
  if (typeof x == "string") {
    return 42;
  } else if (typeof x == "number") {
    return "Hello World!";
  }
  throw new Error("Invalid input"); // needed because TS return analysis doesn't currently factor in complete control flow analysis
}

const x = typeSwitch("qwerty"); // number

但是两个返回语句都显示相同的错误：

Type '42' is not assignable to type 'Return<T>'.(2322)
Type '"Hello World!"' is not assignable to type 'Return<T>'.(2322)

我在这里错过了什么？

Answer 1

这就是它不起作用的原因：Typescript 对常规变量执行 control-flow type narrowing，但不像您的 T 那样对 类型变量 执行。类型保护typeof x === "string"可用于将变量x缩小为string，但不能将T缩小为string，因此不尝试。

这是有道理的，因为T 可能是联合类型string | number，即使x 是一个字符串，所以缩小T 本身或缩小T 的上限是不合理的.从理论上讲，将T 缩小到类似 “一种扩展 string | number 但与string 的交集不是never 的类型是合理的”，但这会增加很多类型系统的复杂性相对较小。除了使用类型断言之外，没有完全通用的方法。例如，在您的代码中，return 42 as Return<T>;。

也就是说，在您的用例中，您根本不需要通用函数；你可以写两个overload signatures:

// overload signatures
function typeSwitch(x: string): number;
function typeSwitch(x: number): string;
// implementation
function typeSwitch(x: string | number): string | number {
  if (typeof x === "string") {
    return 42;
  } else {
    // typeof x === "number" here
    return "Hello World!";
  }
}

Playground Link