Typescript：如何实现具有条件返回类型的可调用类型？

Question

接口Foo有条件类型作为返回类型时如何实现？

interface Foo {
    <A, B>(a: A, b: B): A extends B ? string : number
}

const foo: Foo = (a, b) => a === b ? 'str' : 123

编译器产生这个错误：

Type '"str" | 123' is not assignable to type 'A extends B ? string : number'. Type '"str"' is not assignable to type 'A extends B ? string : number'.

Playground

我已经看到this 的问题，但我不知道如何将其翻译为我的示例。另外，我想知道与解决方法相比，官方/正确的方法是什么。

UPD：我在提到的问题中解决了它，但 Unional 的回答确实帮助我理解了这个问题。我是这样解决的：

interface Foo {
    <A, B>(a: A, b: B): A extends B ? string : number
    <A, B>(a: A, b: B): string | number
}

Answer 1

你的类型定义很好。

问题是您似乎过于依赖类型系统来指导您的开发。

由于您将类型定义和实现分开，编译器自然会以不同的方式看待它们。

在这种情况下，请随时将您的实现转换为 any。

您看到的错误是因为类型推断为您的实现创建了类型 (a: any, b: any) => "str" | 123。

因此编译器抱怨该类型不能满足您在Foo 中定义的类型。

没有额外的信息，这是编译器能做的最好的事情。

当然，当您实现代码时，编译器推断的类型很可能最终会满足您定义的类型。

但请记住，使用 TypeScript 的主要目的是提供信息以使用您编写的代码。使用类型来帮助实现是不错的，但这应该被视为一种奖励。

编译器并不完美，只有你真正知道你的意图。

这就是为什么有时如果您需要使用 any 来让事情顺利进行，请使用它（当然，始终要小心）。

这表明你的类型正在工作：

interface B { x: string }

interface A extends B { }

let a: A
let b: B
let c: string
const y = foo(a, b)  // y is string
const x = foo(c, b)  // x is number

记得编写单元测试来证明你的实现。 类型可以帮助你避免一类错误，但不是所有的错误。

更新：从 TypeScript 3.2 开始，我认为控制流分析（类型推断）不能推断条件类型。