使用条件返回类型实现泛型函数

Question

我正在尝试一个非常基本（人为）的条件类型函数，但遇到了意外错误：

function test<
  T
>(
  maybeNumber: T
): T extends number ? number : string {
  if (typeof maybeNumber === 'number') {
    return maybeNumber // Type 'T & number' is not assignable to type 'T extends number ? number : string'.
  }

  return 'Not a number' // Type '"Not a number"' is not assignable to type 'T extends number ? number : string'.
}

我认为这是一个非常简单的条件类型用法，所以不确定发生了什么。有什么想法吗？

Answer 1

我认为您在错误的位置定义了返回类型：

function test<T extends number | String>(maybeNumber: T) {
if (typeof maybeNumber === 'number') {
  return maybeNumber
}
return 'Not a number'

}

Answer 2

正确答案和当前的变通方法（在写作时）：

type MaybeNumberType<T extends number | string> = T extends number
  ? number
  : string;

function test<T extends number | string>(
  maybeNumber: T,
): MaybeNumberType<T> {
  if (typeof maybeNumber === 'number') {
    return <MaybeNumberType<T>>(<unknown>maybeNumber);
  }

  return <MaybeNumberType<T>>(<unknown>'Not a number');
}

test(3); // 3
test('s'); // Not a number

Answer 3

潜在的问题是TypeScript的编译器没有通过控制流分析缩小泛型类型变量的类型。当您检查（typeof maybeNumber==="数字"）时，编译器可以将值maybeNumber缩小到数字，但它不会将类型参数T缩小到数字。因此，它不能验证将数字值分配给返回类型T扩展数字是否安全？数字：字符串。编译器将不得不执行一些它目前不做的分析，例如“好吧，如果typeof maybeNumber==="数字"，我们仅从maybeNumber的类型推断T，那么在这个块内我们可以将T缩小为number，因此我们应该返回类型为number的值扩展数字？数字：字符串，又名数字。但这并没有发生。

对于具有条件返回类型的泛型函数来说，这是一个相当棘手的问题。关于这一点的规范性开放GitHub问题可能是microsoft/TypeScript#33912，但还有许多其他GitHub问题，这是主要问题。

这就是“为什么这行不通”的答案？

如果您对重构不感兴趣，那么可以忽略其余部分，但是知道在这种情况下应该做什么，而不是等待语言的更改，这可能仍然是有益的。

这里维护调用签名的最直接的解决方法是使函数成为单个签名重载，而实现签名不是泛型的。这实质上放松了实现内部的类型安全保证：

type MyConditional<T> = T extends number ? number : string;
type Unknown = string | number | boolean | {} | null | undefined;

function test<T>(maybeNumber: T): MyConditional<T>;
function test(maybeNumber: Unknown): MyConditional<Unknown> {
  if (typeof maybeNumber === 'number') {
    const ret: MyConditional<typeof maybeNumber> = maybeNumber;
    return ret;
  }
  const ret: MyConditional<typeof maybeNumber> = "Not a number";
  return ret;
}

在这里，我已经尽我所能，通过使用一个临时ret变量（注释为MyConditional）来保证类型安全

function test2<T>(maybeNumber: T): MyConditional<T>;
function test2(maybeNumber: any): string | number {
  if (typeof maybeNumber === 'number') {
    return maybeNumber;
  }
  return "Not a number";
}

好吧，希望这会有帮助；祝你好运

操场连结至守则