通用类型的类型推断

Question

我试图做这样的事情。 关键是我有一些Interface ，然后是一个Goo类，该类具有扩展该接口的通用类型。

interface Interface { a: string; }
class Goo<T extends Interface> { props: T }
class Foo<T extends Goo<T["props"]>> {}

我想创建一个Foo类，该类采用扩展此通用Goo通用类型。 问题是Goo需要一个通用参数，该参数我曾尝试使用T["props"] ，但是语法检查器显示该类型不满足接口的错误。

所述类的用法如下所示：

class Impl implements Interface { a: string; }
type Boo = Foo<Goo<Impl>>;

Answer 1

你可以这样做

class Foo<T extends Goo<Interface>> {}