以下是代表我的问题的一段代码:
class Parent<T = unknown> {
constructor(private prop: T) {}
getProp(): T {
return this.prop;
}
}
class Child extends Parent {
constructor() {
super({
baba: 10,
bobo: 20
});
}
}
const instance = new Child();
const prop = instance.getProp();
// |
// '-> prop is of type `unknown`
我想让TypeScrip理解父类的类型，只是使用对象值，而不是显式地给它类型.
在这种情况下，我们应该有Parent<{baba: number, bobo: number}>
这有可能吗？
不，目前没有办法在TypeScript中实现这一点. 当你写class Child extends Parent {⋯}的时候，就相当于写class Child extends Parent<unknown> {⋯}，因为unknown是Parent<T>声明中的default type argument. 省略T不会导致编译器返回infer T，它只是返回到默认值.
事实上，无法要求编译器推断T；generic类型参数推理仅在调用泛型函数(或new泛型构造函数)时发生.泛型类型、接口或类不存在这样的功能.即使这样的功能确实存在，它也可能不会基于对super()的呼叫而自动发生.
在microsoft/TypeScript#36456有一个长期的功能请求，要求这样的功能.如果这一点得到实现，那么你就能够做到.但它只有几个积极的方面，即使你和一大群志同道合的人go 那里给它一个👍，它仍然不能保证它会发生.现在，您只能通过class Child extends Parent<{baba: number, bobo: number}> {⋯}手动指定类型参数来解决这个问题.是的，它是多余的，但至少它是有效的.