Typescript 中奇怪的类型推断行为

Question

假设这段代码：

// base class:
class Pin<Output, Input=Output> {
  to<Out>(pin: Pin<Out, Output>): Pin<Out, Output> {
    return pin;
  }

  from<In>(pin: Pin<Input, In>): Pin<Input, In> {
    return pin;
  }
}

//some type aliasing for convenience:
type SyncFunc<I, O> = (i: I) => O;
type Resolve<T> = SyncFunc<T, void>;
type AsyncFunc<I, O> = (i: I, cb: Resolve<O>) => void;
type Func<I, O> = SyncFunc<I, O> | AsyncFunc<I, O>;

function src<Type>(): Pin<Type> { return new Pin<Type>(); }

function map<I, O>(m: SyncFunc<I, O>): Pin<O, I>;
function map<I, O>(m: AsyncFunc<I, O>): Pin<O, I>;
function map<I, O>(m: SyncFunc<I, O> | AsyncFunc<I, O>): Pin<O, I> {
  return new Pin<O, I>();
}

使用此设置，以下代码将出现错误：

src<number>().to(map((i, c: Resolve<number>) => c(i * 2))).to(map(x => x + 1));

由于i 的类型未正确推断。

我可以像这样改变重载的签名排列：

function map<I, O>(m: AsyncFunc<I, O>): Pin<O, I>;
function map<I, O>(m: SyncFunc<I, O>): Pin<O, I>;
function map<I, O>(m: SyncFunc<I, O> | AsyncFunc<I, O>): Pin<O, I> {
  return new Pin<O, I>();
}

这解决了上一个示例的问题，但导致了这个问题：

src<number>().to(map(i => i * 2)).to(map(x => x + 1));

因为传递给map() 的函数现在假定为AsyncFunc 类型，返回类型未解析，因此x 假定为unknown 类型，这会导致另一个错误。

想在 Typescript 的 GitHub 上打开一个问题，但想到先在这里询问以确保我没有遗漏任何内容。这是预期的行为吗？即它是 Typescript 类型推断的错误，还是它当前缺少的功能，或者我错过了什么？

Answer 1

您遇到的主要问题是x => x + 1 和i => i * 2 与SyncFunc<number, number> 和AsyncFunc<number, number> 之类的值的类型兼容性可能令人惊讶：

const sf: SyncFunc<number, number> = x => x + 1; // okay
const af: AsyncFunc<number, number> = x => x + 1; // also okay... what?!

这按预期工作，但让足够多的人感到困惑，它是TypeScript FAQ 的一部分。我会根据这个问题调整那里的信息：

问：当x => x + 1 接受一个参数而后者需要两个参数时，如何将x => x + 1 分配给AsyncFunc？ How could a function of one parameter be assignable to a function of two parameters?

答：x => x + 1 是 AsyncFunc 的有效赋值，因为它可以安全地忽略额外参数。在运行时，(x => x + 1)(10, "randomExtraParam") 有效。在编译时将其作为错误最终会使许多常规使用方法无效，例如Array.forEach() 或Array.map()，其实现将多个参数传递给回调，但通常与单个参数的回调一起使用。您可以阅读上面链接的常见问题解答条目，了解他们认为这是最佳行为的原因。

问：当前者返回number（假设x 被推断为number）而后者返回void 时，x => x + 1 怎么能分配给AsyncFunc？ How could a function returning a value be assignable to one that doesn't?

A：void 返回类型意味着调用者不能期望返回值，但这并不意味着绝对不会有返回值。它只是意味着调用者应该忽略任何返回的值。如果你忽略了我给你的任何返回值，那么我 return 1 而不是 return undefined 应该没关系。将其作为错误最终会使许多不参考回调返回值的回调接受函数的常规使用无效，例如Array.forEach()。一些像a => arr.push(a) 这样的回调既有副作用又有返回值，而禁止返回值会使以传统方式使用它们变得更加困难。

---

有鉴于此，这种行为是可以理解的；编译器无法可靠地区分AsyncFunc<number, number> 和SyncFunc<number, number>。要做到这一点，您可能应该将类型更改为不兼容。一种方法是使AsyncFunc 的返回类型不同于void，例如undefined：

type Resolve<T> = SyncFunc<T, undefined>;
type AsyncFunc<I, O> = (i: I, cb: Resolve<O>) => undefined;

它们是相似的，因为没有return someValue 语句的函数最终将返回undefined，但是如果您在AsyncFunc 中返回1 而不是undefined，编译器现在会不高兴。

这仍然没有解决按参数数量区分函数的问题。如果您只是将map() 的调用签名写为<I, O>(m: Func<I, O>): Pin<O, I>，那么从技术上讲，编译器有足够的信息来判断x => x + 1 必须是SyncFunc，但它显然无法立即推断出太多信息：它需要推断类型参数I 和x 的类型，但它们相互依赖，它放弃了。有时你可以让它工作，但并不总是值得付出努力。请参阅microsoft/TypeScript#30134，了解有关当前类型推理算法的局限性以及改进它的可能性的问题和讨论。

不过，现在，您已经找到了一种可以按照您想要的方式运行的解决方法：使用overloads 来引导编译器首先认真努力将x => x + 1 解释为AsyncFunc，让它失败（因为不兼容的返回类型）然后尝试SyncFunc 并成功。这与之前关于I 和x 的问题相同，但SyncFunc 类型显然足够简单，可以正常工作（与Func 相比）。

这意味着以下内容适合您：

function map<I, O>(m: AsyncFunc<I, O>): Pin<O, I>;
function map<I, O>(m: SyncFunc<I, O>): Pin<O, I>;
function map<I, O>(m: Func<I, O>): Pin<O, I> {
    return new Pin<O, I>();
}

src<number>().to(map((i, c: Resolve<number>) => c(i * 2))).to(map(x => x + 1));
src<number>().to(map(i => i * 2)).to(map(x => x + 1));

---

好的，希望对您有所帮助；祝你好运！

Playground link to code