TypeScript隐含通用

如何解决TypeScript隐含通用

我有这个课，我想知道我是否可以简化一下：

export class A<TB extends B<TC>,TC> implements TD<TB,TC> {
  make(): TC {}
}

由于现在，我每次要创建A时都需要设置TC类型，如下所示：

class CTest {}
class BTest extends B<CTest> {}

const a = new A<BTest,CTest>();
a.make() // -> CTest

该TC类型已经是B tho的泛型类型参数。有没有办法减少这种情况，所以最终看起来像这样：

export class A<TB extends B<TC>> implements TD<TB,TC> {
  make(): TC {}
}

class CTest {}
class BTest extends B<CTest> {}

const a = new A<BTest>();
a.make() // -> CTest

解决方法

好的。提取通用参数的一般方法是这样的。

对于包含通用类型的给定接口，如下所示：

type C = {c:number}

interface B<TC> {x:TC}

您可以使用带推断条件的条件类型来提取泛型：

type ExtractC<T> = T extends B<infer TC> ? TC : never

对于具有泛型的类型也是如此：

type BX = B<C>

您可以提取通用参数：

type Y = ExtractC<BX> // type Y inferred as {c:number}

游乐场here。

infer TC在上面的表达式中的含义基本上是“ TC是在此处找到的任何类型”。换句话说，您可以将infer TC视为创建一个新变量，然后将其用于条件赋值中。这就是为什么很多时候您会看到它写为infer X的原因，这暗示了通过infer语句推断出的类型的“类似变量”的性质。

我认为使用此信息，您应该可以轻松简化类型。但是，如果您想发布自己的代码，我很乐意提供进一步的指导。