typescript - 如何在 TypeScript 中使一种泛型类型紧密依赖于另一种泛型类型？

Question

我正在寻找一种方法来使我的代码更安全，并希望在将某些类型传递给泛型函数时定义它们之间的密切关系。

例如，对于给定的一组类型:

interface FooParam {}
interface FooReturn {}

interface BarParam {}
interface BarReturn {}

和以下功能:

function action<T, R>(foo: T): R

我要紧密绑定(bind)FooParam与 FooReturn , 和 BarParam与 BarReturn ，因此编译器仅在一对关联类型作为 T 传递时才允许调用和 R否则返回错误。

action<FooParam, FooReturn>(...) // bound types, OK
action<BarParam, BarReturn>(...) // bound types, OK

action<FooParam, BarReturn>(...) // types are not bound, ERROR
action<FooParam, string>(...) // types are not bound, ERROR

实际上，我已经通过定义两个基本接口(interface)来实现上述目标，这些基本接口(interface)稍后将用作泛型类型的约束:

interface Param {}
interface Return<T extends Param>{
    _typeGuard?: keyof T
}

interface FooParam extends Param {}
interface FooReturn extends Return<FooParam> {}

interface BarParam extends Param {}
interface BarReturn extends Return<BarParam> {}

function action<T extends Param, R extends Return<T>>(foo: T): R

然而，这似乎更像是一种解决方法，而不是一个干净的解决方案，尤其是考虑到 _typeGuard?: keyof T字段，仅存在于 T实际上很重要并且被检查，而不是被忽略。另一个缺点是每种类型都必须扩展我的一个自定义接口(interface)，这有时是不可能的。

是否有更好、更通用的方法来获得所描述的功能？

Answer 1

您可以使用泛型类型和推理。如果您的要求允许这样做，它可能比从基本接口(interface)扩展每种类型更容易。此解决方案将您的所有链接放在一个地方，因此它有其自身的缺点，但如果您不能更改原始类型，我似乎可以:

type Return<T> =
  T extends BarParam ? BarReturn :
  T extends FooParam ? FooReturn :
  never;

你可以看到它在行动Playground